| 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 | 117 | 2001 |
| A formal specification framework for object-oriented distributed systems D Buchs, N Guelfi IEEE Transactions on Software Engineering 26 (7), 635-652, 2000 | 83 | 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 | 70 | 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 | 69 | 2003 |
| Structured algebraic nets with object-orientation O Biberstein, D Buchs Workshop on Object-Oriented Programming and Models of Concurrency 95, 131-145, 1995 | 56 | 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 | 46 | 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 | 45 | 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 | 31 | 1998 |
| Génie logiciel: principes, méthodes et techniques A Strohmeier Presses polytechniques et universitaires romandes, 1996 | 30 | 1996 |
| Testing Ada abstract data types using formal specifications S Barbey, D Buchs International Eurospace-Ada-Europe Symposium, 76-89, 1994 | 28 | 1994 |
| Sigma decision diagrams D Buchs, SP Hostettler TERMGRAPH 2009: Preliminary proceedings of the 5th International Workshop on …, 2009 | 26 | 2009 |
| 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 |
| 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 | 22 | 2016 |
| Comparison of object-oriented formal methods N Guel, O Biberstein, D Buchs, E Canver, MC Gaudel, F Von Henke, ... TechnicalReport, Second Year Report of Esprit Long Term Research Project 20072, 1997 | 21 | 1997 |
| 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 |
Nicolas GuelfiProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
