Didier Buchs

	2011
43		Didier Buchs, Steve Hostettler, Alexis Marechal: Experience-Based Model Refinement. SERENE 2011: 40-47
42		Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo Lopez, Alexis Marechal: Modelling of Genetic Regulatory Mechanisms with GReg CoRR abs/1108.3436: (2011)
41		Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs: High-Level Petri Net Model Checking with AlPiNA. Fundam. Inform. 113(3-4): 229-264 (2011)
	2010
40		Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron: polyDD: Towards a Framework Generalizing Decision Diagrams. ACSD 2010: 124-133
39		Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg: Introduction. ACSD/Petri Nets Workshops 2010: 371
38		Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi: AlPiNA: A Symbolic Model Checker. Petri Nets 2010: 287-296
37		Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi: AlPiNA: An Algebraic Petri Net Analyzer. TACAS 2010: 349-352
	2009
36		Didier Buchs, Levi Lucio, Ang Chen: Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe 2009: 59-74
35		Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral: Composing Visual Syntax for Domain Specific Languages. HCI (2) 2009: 889-898
34		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
33		Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro: DSL Composition for model-based test generation. ECEASST 21: (2009)
32		Gabriela Nicolescu, Didier Buchs: Rapid systems prototyping at RSP'06. Microelectronics Journal 40(7): 1081 (2009)
	2007
31		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
30		Matteo Risoldi, Didier Buchs: A domain specific language and methodology for control systems GUI specification, verification and prototyping. VL/HCC 2007: 179-182
29		Luis Pedro, Levi Lucio, Didier Buchs: System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Systems Online 8(4): (2007)
	2006
28		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
27		Ang Chen, Didier Buchs: Generative Business Process Prototyping Framework. IEEE International Workshop on Rapid System Prototyping 2006: 140-148
26		Didier Buchs, Luis Pedro, Levi Lucio: Formal Test Generation from UML Models. Research Results of the DICS Program 2006: 145-171
	2005
25		Levi Lucio, Luis Pedro, Didier Buchs: A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping 2005: 195-201
24		Luis Pedro, Levi Lucio, Didier Buchs: Prototyping Domain Specific Languages with COOPN. RISE 2005: 174-189
23		Ang Chen, Didier Buchs: Towards Service-Based Business Process Modeling, Prototyping and Integration. RISE 2005: 218-233
	2004
22		Adel Besrour, David Hurzeler, Didier Buchs: Concurrent object oriented approach in morm simulation. IASTED Conf. on Software Engineering 2004: 90-94
21		Levi Lucio, Luis Pedro, Didier Buchs: A Methodology and a Framework for Model-Based Testing. RISE 2004: 57-70
	2003
20		Didier Buchs, Stanislav Chachkov, David Hurzeler: Modelling a Secure, Mobile, and Transactional System with CO-OPN. ACSD 2003: 82-91
19		Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler: Prototyping Object Oriented Specifications. ICATPN 2003: 473-482
18		Stanislav Chachkov, Didier Buchs: Interfacing Software Libraries from Nondeterministic Prototypes. Design Autom. for Emb. Sys. 8(4): 327-343 (2003)
	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	[19]
2	Vasco Amaral	[33] [34] [35]
3	Stéphane Barbey	[2] [4] [8]
4	Bruno Barroca	[33] [34] [35]
5	Rémi Bastide	[6]
6	Kaveh Bazargan	[34]
7	Adel Besrour	[22]
8	O. Biberstein	[14]
9	C. Buffard	[3]
10	Mathieu Buffo	[5] [7] [10] [11] [19]
11	Anne Le Calvé	[34]
12	Stanislav Chachkov	[13] [15] [16] [18] [19] [20]
13	Samuel Charron	[40]
14	Ang Chen	[19] [23] [27] [36]
15	Fabian Cretton	[34]
16	A. Diagne	[9]
17	Gilles Falquet	[34]
18	Nicolas Guelfi	[1] [12] [14] [17] [31]
19	Steve Hostettler	[37] [38] [41] [42] [43]
20	David Hurzeler	[19] [20] [22]
21	Fabrice Kordon	[9] [39] [40]
22	Alban Linard	[40] [41] [42]
23	Edmundo Lopez	[42]
24	Levi Lucio	[21] [24] [25] [26] [28] [29] [33] [36]
25	Stéphane Malandain	[34]
26	Dino Mandrioli	[17]
27	Alexis Marechal	[37] [38] [41] [42] [43]
28	Gabriela Nicolescu	[32]
29	Emmanuel Paviot-Adet	[40]
30	Luis Pedro	[21] [24] [25] [26] [28] [29] [33] [35]
31	Cécile Péraire	[4] [8]
32	P. Racloz	[3]
33	Matteo Risoldi	[30] [34] [35] [37] [38] [41]
34	Nicolas Sedlmajer	[42]
35	Alexander Serebrenik	[39]
36	Giovanna Di Marzo Serugendo	[17]
37	Natalia Sidorova	[39]
38	Jeremy Spronston	[39]
39	Yann Thierry-Mieg	[39]
40	Pierrick Zoss	[34]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page