Didier Buchs

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal: A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. T. Petri Nets and Other Models of Concurrency 6: 123-145 (2012)

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel: Report on the Model Checking Contest at Petri Nets 2011. T. Petri Nets and Other Models of Concurrency 6: 169-196 (2012)

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, N. Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, C. Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf: Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012)

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)

Didier Buchs, Steve Hostettler, Alexis Marechal: Experience-Based Model Refinement. SERENE 2011: 40-47

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal: Modelling of Genetic Regulatory Mechanisms with GReg. CoRR abs/1108.3436 (2011)

Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron: polyDD: Towards a Framework Generalizing Decision Diagrams. ACSD 2010: 124-133

Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg: Introduction. ACSD/Petri Nets Workshops 2010: 371

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi: AlPiNA: A Symbolic Model Checker. Petri Nets 2010: 287-296

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi: AlPiNA: An Algebraic Petri Net Analyzer. TACAS 2010: 349-352

Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro: DSL Composition for model-based test generation. ECEASST 21 (2009)

Gabriela Nicolescu, Didier Buchs: Rapid systems prototyping at RSP'06. Microelectronics Journal 40(7): 1081 (2009)

Didier Buchs, Levi Lucio, Ang Chen: Model Checking Techniques for Test Generation from Business Process Models. Ada-Europe 2009: 59-74

Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral: Composing Visual Syntax for Domain Specific Languages. HCI (2) 2009: 889-898

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

Luis Pedro, Levi Lucio, Didier Buchs: System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Systems Online 8(4) (2007)

Matteo Risoldi, Didier Buchs: A domain specific language and methodology for control systems GUI specification, verification and prototyping. VL/HCC 2007: 179-182

Nicolas Guelfi, Didier Buchs (Eds.): Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4401, Springer 2007, isbn 978-3-540-71875-8

Didier Buchs, Luis Pedro, Levi Lucio: Formal Test Generation from UML Models. Research Results of the DICS Program 2006: 145-171

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

Ang Chen, Didier Buchs: Generative Business Process Prototyping Framework. IEEE International Workshop on Rapid System Prototyping 2006: 140-148

Luis Pedro, Levi Lucio, Didier Buchs: Prototyping Domain Specific Languages with COOPN. RISE 2005: 174-189

Ang Chen, Didier Buchs: Towards Service-Based Business Process Modeling, Prototyping and Integration. RISE 2005: 218-233

Levi Lucio, Luis Pedro, Didier Buchs: A Test Language for CO-OPN Specifications. IEEE International Workshop on Rapid System Prototyping 2005: 195-201

Adel Besrour, David Hurzeler, Didier Buchs: Concurrent object oriented approach in morm simulation. IASTED Conf. on Software Engineering 2004: 90-94

Levi Lucio, Luis Pedro, Didier Buchs: A Methodology and a Framework for Model-Based Testing. RISE 2004: 57-70

Stanislav Chachkov, Didier Buchs: Interfacing Software Libraries from Nondeterministic Prototypes. Design Autom. for Emb. Sys. 8(4): 327-343 (2003)

Didier Buchs, Stanislav Chachkov, David Hurzeler: Modelling a Secure, Mobile, and Transactional System with CO-OPN. ACSD 2003: 82-91

Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler: Prototyping Object Oriented Specifications. ICATPN 2003: 473-482

Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi: Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162

Stanislav Chachkov, Didier Buchs: Interfacing Software Libraries from Non-deterministic Prototypes. IEEE International Workshop on Rapid System Prototyping 2002: 92-98

Stanislav Chachkov, Didier Buchs: From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. ACSD 2001: 99-

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

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

Didier Buchs, Nicolas Guelfi: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 635-652 (2000)

Mathieu Buffo, Didier Buchs: A Distributed Semantics for a IWIM-Based Coordination Language. COORDINATION 1999: 415

Didier Buchs, Mathieu Buffo: Rapid Prototyping of Formally Modelled Distributed Systems. IEEE International Workshop on Rapid System Prototyping 1999: 4-9

Cécile Péraire, Stéphane Barbey, Didier Buchs: Test selection for object-oriented software based on formal specifications. PROCOMET 1998: 385-403

Didier Buchs, A. Diagne, Fabrice Kordon: Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping 1998: 6-12

Mathieu Buffo, Didier Buchs: Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems. Computers and Artificial Intelligence 16(2) (1997)

Mathieu Buffo, Didier Buchs: A Coordination Model for Distributed Object Systems. COORDINATION 1997: 410-413

Rémi Bastide, Didier Buchs: Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). ECOOP Workshops 1997: 221-255

Stéphane Barbey, Didier Buchs, Cécile Péraire: A Theory of Specification-Based Testing for Object-Oriented Software. EDCC 1996: 303-320

Didier Buchs, C. Buffard, P. Racloz: Modeling and Validation of Tasks with Algebraic Structured Nets. Ada-Europe 1995: 284-297

Stéphane Barbey, Didier Buchs: Testing Ada Abstract Data Types Using Formal Specifications. Ada-Europe 1994: 76-89

Didier Buchs, Nicolas Guelfi: Formal Development of Actor Programs Using Structured Algebraic Petri Nets. PARLE 1993: 353-366