CO-OPN: A concurrent object oriented approach D Buchs LNCS 524, 432-454, 1991 | 146 | 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: Advances in Petri …, 2001 | 121 | 2001 |
A formal specification framework for object-oriented distributed systems D Buchs, N Guelfi IEEE Transactions on Software Engineering 26 (7), 635-652, 2000 | 85 | 2000 |
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 | 78 | 2003 |
A theory of specification-based testing for object-oriented software S Barbey, D Buchs, C Péraire Dependable Computing—EDCC-2: Second European Dependable Computing …, 1996 | 77 | 1996 |
Structured algebraic nets with object-orientation O Biberstein, D Buchs Workshop on Object-Oriented Programming and Models of Concurrency 95, 131-145, 1995 | 61 | 1995 |
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 | 50 | 2012 |
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 | 48 | 2011 |
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 | 44 | 2001 |
CO-OPN/2: A concurrent object-oriented formalism O Biberstein, D Buchse, N Guelfi Formal Methods for Open Object-based Distributed Systems: Volume 2, 57-72, 1997 | 39 | 1997 |
Alpina: A symbolic model checker D Buchs, S Hostettler, A Marechal, M Risoldi Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 38 | 2010 |
Test selection for object-oriented software based on formal specifications C Péraire, S Barbey, D Buchs Programming Concepts and Methods PROCOMET’98: IFIP TC2/WG2. 2, 2.3 …, 1998 | 33 | 1998 |
Génie logiciel: principes, méthodes et techniques A Strohmeier Presses polytechniques et universitaires romandes, 1996 | 31 | 1996 |
TREXMO: a translation tool to support the use of regulatory occupational exposure models N Savic, D Racordon, D Buchs, B Gasic, D Vernez Annals of Occupational Hygiene 60 (8), 991-1008, 2016 | 30 | 2016 |
Testing Ada abstract data types using formal specifications S Barbey, D Buchs Ada in Europe: First International Eurospace-Ada-Europe Symposium Copenhagen …, 1994 | 30 | 1994 |
Sigma decision diagrams D Buchs, S Hostettler TERMGRAPH, 18-32, 2009 | 29 | 2009 |
Composing visual syntax for domain specific languages L Pedro, M Risoldi, D Buchs, B Barroca, V Amaral Human-Computer Interaction. Novel Interaction Methods and Techniques: 13th …, 2009 | 27 | 2009 |
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 | 26 | 2010 |
An object-oriented specification language based on hierarchical algebraic Petri nets O Biberstein, D Buchs Working papers of the international Workshop on Information System …, 1994 | 26 | 1994 |
Towards inconsistency tolerance by quantification of semantic inconsistencies I Dávid, E Syriani, C Verbrugge, D Buchs, D Blouin, A Cicchetti, ... Proceedings of the 1st International Workshop on Collaborative Modelling in …, 2016 | 25 | 2016 |