Didier Buchs
Didier Buchs
Professor of Computer Science, Geneva University
Verified email at unige.ch
TitleCited byYear
CO-OPN: A concurrent object oriented approach
D Buchs
LNCS 524, 432-454, 1991
1251991
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
1082001
A formal specification framework for object-oriented distributed systems
D Buchs, N Guelfi
IEEE Transactions on Software Engineering 26 (7), 635-652, 2000
782000
A theory of specification-based testing for object-oriented software
S Barbey, D Buchs, C Péraire
European dependable computing conference, 303-320, 1996
651996
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
592003
Structured algebraic nets with object-orientation
O Biberstein, D Buchs
Workshop on Object-Oriented Programming and Models of Concurrency 95, 131-145, 1995
501995
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
392011
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
392001
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
351997
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
342012
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
302010
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
301998
Testing Ada abstract data types using formal specifications
S Barbey, D Buchs
International Eurospace-Ada-Europe Symposium, 76-89, 1994
261994
Sigma decision diagrams
D Buchs, SP Hostettler
252009
Génie logiciel: principes, méthodes et techniques
A Strohmeier, D Buchs
Presses polytechniques et universitaires romandes, 1996
251996
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
242009
An object oriented specification language based on hierarchical algebraic petri nets
O Biberstein, D Buchs
IN IS-CORE WORKSHOP (ESPRIT, 1994
231994
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
202008
Coala-a formal language for coordinated atomic actions
J Vachon, D Buchs, M Buffo, GDM Serugendo, B Randell, A Romanovsky, ...
3rd Year Report, ESPRIT Long Term Research Project 20072, 1998
191998
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
182010
The system can't perform the operation now. Try again later.
Articles 1–20