Didier Buchs
Didier Buchs
Professor of Computer Science, Geneva University
Verified email at
Cited by
Cited by
CO-OPN: A concurrent object oriented approach
D Buchs
LNCS 524, 432-454, 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
A formal specification framework for object-oriented distributed systems
D Buchs, N Guelfi
IEEE Transactions on Software Engineering 26 (7), 635-652, 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
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
Structured algebraic nets with object-orientation
O Biberstein, D Buchs
Workshop on Object-Oriented Programming and Models of Concurrency 95, 131-145, 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
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
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
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010
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
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
Génie logiciel: principes, méthodes et techniques
A Strohmeier
Presses polytechniques et universitaires romandes, 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
Sigma decision diagrams
D Buchs, S Hostettler
TERMGRAPH, 18-32, 2009
Testing Ada abstract data types using formal specifications
S Barbey, D Buchs
Ada in Europe: First International Eurospace-Ada-Europe Symposium Copenhagen …, 1994
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
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
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
MORM—A Petri net based model for assessing OH&S risks in industrial processes: Modeling qualitative aspects
D Vernez, DR Buchs, GE Pierrehumbert, A Besrour
Risk Analysis: An International Journal 24 (6), 1719-1735, 2004
The system can't perform the operation now. Try again later.
Articles 1–20