Didier Buchs
Didier Buchs
Professor of Computer Science, Geneva University
Dirección de correo verificada de unige.ch
Título
Citado por
Citado por
Año
CO-OPN: A concurrent object oriented approach
D Buchs
LNCS 524, 432-454, 1991
1301991
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
1112001
A formal specification framework for object-oriented distributed systems
D Buchs, N Guelfi
IEEE Transactions on Software Engineering 26 (7), 635-652, 2000
812000
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
672003
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
Structured algebraic nets with object-orientation
O Biberstein, D Buchs
Workshop on Object-Oriented Programming and Models of Concurrency 95, 131-145, 1995
531995
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
422011
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
402001
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
382012
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
361997
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
322010
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
311998
Génie logiciel: principes, méthodes et techniques
A Strohmeier
Presses polytechniques et universitaires romandes, 1996
271996
Testing Ada abstract data types using formal specifications
S Barbey, D Buchs
International Eurospace-Ada-Europe Symposium, 76-89, 1994
271994
Sigma decision diagrams
D Buchs, SP Hostettler
TERMGRAPH 2009: Preliminary proceedings of the 5th International Workshop on …, 2009
252009
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
241994
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
202010
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
G Di Marzo Serugendo, J Vachon, D Buchs, M Buffo, B Randell, ...
Design for Validation (DeVa)-Third Year Report, Esprit LTR Project 20072 …, 1998
201998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20