| 2007 |
|---|
| 29 | | Nicolas Guelfi,
Didier Buchs:
Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
Springer 2007 |
| 28 | EE | Matteo Risoldi,
Didier Buchs:
A domain specific language and methodology for control systems GUI specification, verification and prototyping.
VL/HCC 2007: 179-182 |
| 2006 |
|---|
| 27 | EE | Luis Pedro,
Levi Lucio,
Didier Buchs:
Principles for System Prototype and Verification Using Metamodel Based Transformations.
IEEE International Workshop on Rapid System Prototyping 2006: 10-17 |
| 26 | EE | Ang Chen,
Didier Buchs:
Generative Business Process Prototyping Framework.
IEEE International Workshop on Rapid System Prototyping 2006: 140-148 |
| 25 | EE | Didier Buchs,
Luis Pedro,
Levi Lucio:
Formal Test Generation from UML Models.
Research Results of the DICS Program 2006: 145-171 |
| 2005 |
|---|
| 24 | EE | Levi Lucio,
Luis Pedro,
Didier Buchs:
A Test Language for CO-OPN Specifications.
IEEE International Workshop on Rapid System Prototyping 2005: 195-201 |
| 23 | EE | Luis Pedro,
Levi Lucio,
Didier Buchs:
Prototyping Domain Specific Languages with COOPN.
RISE 2005: 174-189 |
| 22 | EE | Ang Chen,
Didier Buchs:
Towards Service-Based Business Process Modeling, Prototyping and Integration.
RISE 2005: 218-233 |
| 2004 |
|---|
| 21 | | Adel Besrour,
David Hurzeler,
Didier Buchs:
Concurrent object oriented approach in morm simulation.
IASTED Conf. on Software Engineering 2004: 90-94 |
| 20 | EE | Levi Lucio,
Luis Pedro,
Didier Buchs:
A Methodology and a Framework for Model-Based Testing.
RISE 2004: 57-70 |
| 2003 |
|---|
| 19 | EE | Didier Buchs,
Stanislav Chachkov,
David Hurzeler:
Modelling a Secure, Mobile, and Transactional System with CO-OPN.
ACSD 2003: 82-91 |
| 18 | EE | Ali Al-Shabibi,
Didier Buchs,
Mathieu Buffo,
Stanislav Chachkov,
Ang Chen,
David Hurzeler:
Prototyping Object Oriented Specifications.
ICATPN 2003: 473-482 |
| 2002 |
|---|
| 17 | EE | Giovanna Di Marzo Serugendo,
Dino Mandrioli,
Didier Buchs,
Nicolas Guelfi:
Real-Time Synchronised Petri Nets.
ICATPN 2002: 142-162 |
| 16 | EE | Stanislav Chachkov,
Didier Buchs:
Interfacing Software Libraries from Non-deterministic Prototypes.
IEEE International Workshop on Rapid System Prototyping 2002: 92-98 |
| 2001 |
|---|
| 15 | EE | Stanislav Chachkov,
Didier Buchs:
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.
ACSD 2001: 99- |
| 14 | EE | O. Biberstein,
Didier Buchs,
Nicolas Guelfi:
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.
Concurrent Object-Oriented Programming and Petri Nets 2001: 73-130 |
| 13 | EE | Stanislav Chachkov,
Didier Buchs:
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller.
IEEE International Workshop on Rapid System Prototyping 2001: 142-148 |
| 2000 |
|---|
| 12 | EE | Didier Buchs,
Nicolas Guelfi:
A Formal Specification Framework for Object-Oriented Distributed Systems.
IEEE Trans. Software Eng. 26(7): 635-652 (2000) |
| 1999 |
|---|
| 11 | EE | Mathieu Buffo,
Didier Buchs:
A Distributed Semantics for a IWIM-Based Coordination Language.
COORDINATION 1999: 415 |
| 10 | EE | Didier Buchs,
Mathieu Buffo:
Rapid Prototyping of Formally Modelled Distributed Systems.
IEEE International Workshop on Rapid System Prototyping 1999: 4-9 |
| 1998 |
|---|
| 9 | EE | Didier Buchs,
A. Diagne,
Fabrice Kordon:
Testing Prototypes Validity to Enhance Code Reuse.
International Workshop on Rapid System Prototyping 1998: 6-12 |
| 8 | | Cécile Péraire,
Stéphane Barbey,
Didier Buchs:
Test selection for object-oriented software based on formal specifications.
PROCOMET 1998: 385-403 |
| 1997 |
|---|
| 7 | | Mathieu Buffo,
Didier Buchs:
A Coordination Model for Distributed Object Systems.
COORDINATION 1997: 410-413 |
| 6 | EE | Rémi Bastide,
Didier Buchs:
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop).
ECOOP Workshops 1997: 221-255 |
| 5 | | Mathieu Buffo,
Didier Buchs:
Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems.
Computers and Artificial Intelligence 16(2): (1997) |
| 1996 |
|---|
| 4 | | Stéphane Barbey,
Didier Buchs,
Cécile Péraire:
A Theory of Specification-Based Testing for Object-Oriented Software.
EDCC 1996: 303-320 |
| 1995 |
|---|
| 3 | | Didier Buchs,
C. Buffard,
P. Racloz:
Modeling and Validation of Tasks with Algebraic Structured Nets.
Ada-Europe 1995: 284-297 |
| 1994 |
|---|
| 2 | | Stéphane Barbey,
Didier Buchs:
Testing Ada Abstract Data Types Using Formal Specifications.
Ada-Europe 1994: 76-89 |
| 1993 |
|---|
| 1 | | Didier Buchs,
Nicolas Guelfi:
Formal Development of Actor Programs Using Structured Algebraic Petri Nets.
PARLE 1993: 353-366 |
