CO-OPN: A concurrent object oriented approach D Buchs LNCS 524, 432-454, 1991 | 132 | 1991 |
Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism O Biberstein, D Buchs, N Guelfi Concurrent Object-Oriented Programming and Petri Nets, 73-130, 2001 | 114 | 2001 |
A formal specification framework for object-oriented distributed systems D Buchs, N Guelfi IEEE Transactions on Software Engineering 26 (7), 635-652, 2000 | 82 | 2000 |
A theory of specification-based testing for object-oriented software S Barbey, D Buchs, C Péraire European dependable computing conference, 303-320, 1996 | 69 | 1996 |
Perspectives in the use of coloured Petri nets for risk analysis and accident modelling D Vernez, D Buchs, G Pierrehumbert Safety science 41 (5), 445-463, 2003 | 63 | 2003 |
Structured algebraic nets with object-orientation O Biberstein, D Buchs Workshop on Object-Oriented Programming and Models of Concurrency 95, 131-145, 1995 | 54 | 1995 |
High-level petri net model checking with alpina S Hostettler, A Marechal, A Linard, M Risoldi, D Buchs Fundamenta Informaticae 113 (3-4), 229-264, 2011 | 45 | 2011 |
Report on the model checking contest at Petri nets 2011 F Kordon, A Linard, D Buchs, M Colange, S Evangelista, K Lampka, ... Transactions on Petri Nets and Other Models of Concurrency VI, 169-196, 2012 | 42 | 2012 |
From formal specifications to ready-to-use software components: the concurrent object oriented Petri Net approach S Chachkov, D Buchs Proceedings Second International Conference on Application of Concurrency to …, 2001 | 42 | 2001 |
CO-OPN/2: A concurrent object-oriented formalism O Biberstein, D Buchse, N Guelfi Formal Methods for Open Object-based Distributed Systems, 57-72, 1997 | 37 | 1997 |
Alpina: A symbolic model checker D Buchs, S Hostettler, A Marechal, M Risoldi International Conference on Applications and Theory of Petri Nets, 287-296, 2010 | 32 | 2010 |
Test selection for object-oriented software based on formal specifications C Péraire, S Barbey, D Buchs Programming Concepts and Methods PROCOMET’98, 385-403, 1998 | 30 | 1998 |
Testing Ada abstract data types using formal specifications S Barbey, D Buchs International Eurospace-Ada-Europe Symposium, 76-89, 1994 | 27 | 1994 |
Sigma decision diagrams D Buchs, SP Hostettler TERMGRAPH 2009: Preliminary proceedings of the 5th International Workshop on …, 2009 | 26 | 2009 |
Génie logiciel: principes, méthodes et techniques A Strohmeier Presses polytechniques et universitaires romandes, 1996 | 26 | 1996 |
Composing visual syntax for domain specific languages L Pedro, M Risoldi, D Buchs, B Barroca, V Amaral International Conference on Human-Computer Interaction, 889-898, 2009 | 24 | 2009 |
An object oriented specification language based on hierarchical algebraic petri nets O Biberstein, D Buchs IN IS-CORE WORKSHOP (ESPRIT, 1994 | 24 | 1994 |
Foundations for a domain specific modeling language prototyping environmen: A compositional approach L Pedro In Proc. 8th OOPSLA ACM-SIGPLAN Workshop on Domain-Specific Modeling (DSM …, 2008 | 21 | 2008 |
Coala-a formal language for coordinated atomic actions G Di Marzo Serugendo, J Vachon, D Buchs, M Buffo, B Randell, ... Design for Validation (DeVa)-Third Year Report, Esprit LTR Project 20072 …, 1998 | 21 | 1998 |
Alpina: An algebraic petri net analyzer D Buchs, S Hostettler, A Marechal, M Risoldi International Conference on Tools and Algorithms for the Construction and …, 2010 | 20 | 2010 |