Didier Buchs
University of Geneva(CH)Département d'Informatique(FR)
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Model-Driven Software Engineering Techniques, Business Process Modeling and Analysis, Service-Oriented Architecture and Web Services
Most-Cited Works
- → Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism(2001)71 cited
- → Perspectives in the use of coloured Petri nets for risk analysis and accident modelling(2003)51 cited
- → A formal specification framework for object-oriented distributed systems(2000)49 cited
- → A theory of specification-based testing for object-oriented software(1996)48 cited
- → High-Level Petri Net Model Checking with AlPiNA(2011)33 cited
- → Report on the Model Checking Contest at Petri Nets 2011(2012)33 cited
- →