Didier Buchs

	2009
32		Didier Buchs, Levi Lucio, Ang Chen: Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe 2009: 59-74
31		Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral: Composing Visual Syntax for Domain Specific Languages. HCI (2) 2009: 889-898
30		Matteo Risoldi, Vasco Amaral, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss: A Language and a Methodology for Prototyping User Interfaces for Control Systems. Human Machine Interaction 2009: 221-248
	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		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		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		Ang Chen, Didier Buchs: Generative Business Process Prototyping Framework. IEEE International Workshop on Rapid System Prototyping 2006: 140-148
25		Didier Buchs, Luis Pedro, Levi Lucio: Formal Test Generation from UML Models. Research Results of the DICS Program 2006: 145-171
	2005
24		Levi Lucio, Luis Pedro, Didier Buchs: A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping 2005: 195-201
23		Luis Pedro, Levi Lucio, Didier Buchs: Prototyping Domain Specific Languages with COOPN. RISE 2005: 174-189
22		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		Levi Lucio, Luis Pedro, Didier Buchs: A Methodology and a Framework for Model-Based Testing. RISE 2004: 57-70
	2003
19		Didier Buchs, Stanislav Chachkov, David Hurzeler: Modelling a Secure, Mobile, and Transactional System with CO-OPN. ACSD 2003: 82-91
18		Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler: Prototyping Object Oriented Specifications. ICATPN 2003: 473-482
	2002
17		Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi: Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162
16		Stanislav Chachkov, Didier Buchs: Interfacing Software Libraries from Non-deterministic Prototypes. IEEE International Workshop on Rapid System Prototyping 2002: 92-98
	2001
15		Stanislav Chachkov, Didier Buchs: From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. ACSD 2001: 99-
14		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		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		Didier Buchs, Nicolas Guelfi: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 635-652 (2000)
	1999
11		Mathieu Buffo, Didier Buchs: A Distributed Semantics for a IWIM-Based Coordination Language. COORDINATION 1999: 415
10		Didier Buchs, Mathieu Buffo: Rapid Prototyping of Formally Modelled Distributed Systems. IEEE International Workshop on Rapid System Prototyping 1999: 4-9
	1998
9		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		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

Coauthor Index

1	Ali Al-Shabibi	[18]
2	Vasco Amaral	[30] [31]
3	Stéphane Barbey	[2] [4] [8]
4	Bruno Barroca	[30] [31]
5	Rémi Bastide	[6]
6	Kaveh Bazargan	[30]
7	Adel Besrour	[21]
8	O. Biberstein	[14]
9	C. Buffard	[3]
10	Mathieu Buffo	[5] [7] [10] [11] [18]
11	Anne Le Calvé	[30]
12	Stanislav Chachkov	[13] [15] [16] [18] [19]
13	Ang Chen	[18] [22] [26] [32]
14	Fabian Cretton	[30]
15	A. Diagne	[9]
16	Gilles Falquet	[30]
17	Nicolas Guelfi	[1] [12] [14] [17] [29]
18	David Hurzeler	[18] [19] [21]
19	Fabrice Kordon	[9]
20	Levi Lucio	[20] [23] [24] [25] [27] [32]
21	Stéphane Malandain	[30]
22	Dino Mandrioli	[17]
23	Luis Pedro	[20] [23] [24] [25] [27] [31]
24	Cécile Péraire	[4] [8]
25	P. Racloz	[3]
26	Matteo Risoldi	[28] [30] [31]
27	Giovanna Di Marzo Serugendo	[17]
28	Pierrick Zoss	[30]

Colors in the list of coauthors