Producing prototypes from CO-OPN specifications. - Didier Buchs; Jacques Flumet; Pascal Racloz (RSP, 1992)

Formal Development of Actor Programs Using Structured Algebraic Petri Nets. - Didier Buchs; Nicolas Guelfi (PARLE, 1993)

Testing Ada Abstract Data Types Using Formal Specifications. - Stéphane Barbey; Didier Buchs (Ada-Europe, 1994)

Modeling and Validation of Tasks with Algebraic Structured Nets. - Didier Buchs; C. Buffard; Pascal Racloz (Ada-Europe, 1995)

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

Contextual Coordination between Objects. - Mathieu Buffo; Didier Buchs (SBES, 1996)

A Coordination Model for Distributed Object Systems. - Mathieu Buffo; Didier Buchs (COORDINATION, 1997)

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

Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems. - Mathieu Buffo; Didier Buchs (Comput. Artif. Intell., 1997)

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

Testing Prototypes Validity to Enhance Code Reuse. - Didier Buchs; Alioune Diagne; Fabrice Kordon (International Workshop on Rapid System Prototyping, 1998)

A Distributed Semantics for a IWIM-Based Coordination Language. - Mathieu Buffo; Didier Buchs (COORDINATION, 1999)

Rapid Prototyping of Formally Modelled Distributed Systems. - Didier Buchs; Mathieu Buffo (IEEE International Workshop on Rapid System Prototyping, 1999)

A Formal Specification Framework for Object-Oriented Distributed Systems. - Didier Buchs; Nicolas Guelfi (IEEE Trans. Software Eng., 2000)

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

Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. - O. Biberstein; Didier Buchs; Nicolas Guelfi (Concurrent Object-Oriented Programming and Petri Nets, 2001)

From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. - Stanislav Chachkov; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2001)

Real-Time Synchronised Petri Nets. - Giovanna Di Marzo Serugendo; Dino Mandrioli; Didier Buchs; Nicolas Guelfi (ICATPN, 2002)

Interfacing Software Libraries from Non-deterministic Prototypes. - Stanislav Chachkov; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2002)

Modelling a Secure, Mobile, and Transactional System with CO-OPN. - Didier Buchs; Stanislav Chachkov; David Hurzeler (ACSD, 2003)

Prototyping Object Oriented Specifications. - Ali Al-Shabibi; Didier Buchs; Mathieu Buffo; Stanislav Chachkov; Ang Chen; David Hurzeler (ICATPN, 2003)

Interfacing Software Libraries from Nondeterministic Prototypes. - Stanislav Chachkov; Didier Buchs (Des. Autom. Embed. Syst., 2003)

Concurrent object oriented approach in morm simulation. - Adel Besrour; David Hurzeler; Didier Buchs (IASTED Conf. on Software Engineering, 2004)

A Methodology and a Framework for Model-Based Testing. - Levi Lucio; Luis Pedro; Didier Buchs (RISE, 2004)

Towards Service-Based Business Process Modeling, Prototyping and Integration. - Ang Chen; Didier Buchs (RISE, 2005)

Prototyping Domain Specific Languages with COOPN. - Luis Pedro; Levi Lucio; Didier Buchs (RISE, 2005)

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

Formal Test Generation from UML Models. - Didier Buchs; Luis Pedro; Levi Lucio (Research Results of the DICS Program, 2006)

Generative Business Process Prototyping Framework. - Ang Chen; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2006)

Principles for System Prototype and Verification Using Metamodel Based Transformations. - Luis Pedro; Levi Lucio; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2006)

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

System Prototype and Verification Using Metamodel-Based Transformations. - Luis Pedro; Levi Lucio; Didier Buchs (IEEE Distributed Syst. Online, 2007)

Model Checking Techniques for Test Generation from Business Process Models. - Didier Buchs; Levi Lucio; Ang Chen (Ada-Europe, 2009)

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

DSL Composition for model-based test generation. - Bruno Barroca; Levi Lucio; Didier Buchs; Vasco Amaral 001; Luis Pedro (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Rapid systems prototyping at RSP'06. - Gabriela Nicolescu; Didier Buchs (Microelectron. J., 2009)

A Language and a Methodology for Prototyping User Interfaces for Control Systems. - Matteo Risoldi; Vasco Amaral 001; Bruno Barroca; Kaveh Bazargan; Didier Buchs; Fabian Cretton; Gilles Falquet; Anne Le Calvé; Stéphane Malandain; Pierrick Zoss (Human Machine Interaction, 2009)

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

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

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

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study. - Luis Pedro; Matteo Risoldi; Didier Buchs; Vasco Amaral 001 (DSM@SPLASH, 2010)

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

Experience-Based Model Refinement. - Didier Buchs; Steve Hostettler; Alexis Marechal (SERENE, 2011)

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

High-Level Petri Net Model Checking with AlPiNA. - Steve Hostettler; Alexis Marechal; Alban Linard; Matteo Risoldi; Didier Buchs (Fundam. Informaticae, 2011)

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Report on the Model Checking Contest at Petri Nets 2011. - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Kai Lampka; Niels Lohmann; Emmanuel Paviot-Adet; Yann Thierry-Mieg; Harro Wimmel (Trans. Petri Nets Other Model. Concurr., 2012)

A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. - Nicolas Sedlmajer; Didier Buchs; Steve Hostettler; Alban Linard; Edmundo López Bóbeda; Alexis Marechal (Trans. Petri Nets Other Model. Concurr., 2012)

Unifying the Semantics of Modular Extensions of Petri Nets. - Alexis Marechal; Didier Buchs (Petri Nets, 2013)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Fabrice Kordon; Alban Linard; Marco Beccuti; Didier Buchs; Lukasz Fronc; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Legond-Aubry; Niels Lohmann; Alexis Marechal; Emmanuel Paviot-Adet; Franck Pommereau; et al. (CoRR, 2013)

StrataGEM: A Generic Petri Net Verification Framework. - Edmundo López Bóbeda; Maximilien Colange; Didier Buchs (Petri Nets, 2014)

Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks. - Mihai-Lica Pura; Didier Buchs (PNSE @ Petri Nets, 2014)

Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets. - Mihai-Lica Pura; Didier Buchs (COMM, 2014)

A self-organized key management scheme for ad hoc networks based on identity-based cryptography. - Mihai Lica Pura; Didier Buchs (COMM, 2014)

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. - Mihai-Lica Pura; Didier Buchs (ICST Workshops, 2014)

Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. - David P. Y. Lawrence; Didier Buchs; Armin Wellig (SERENE, 2014)

Building a Symbolic Model Checker from Formal Language Description. - Edmundo López Bóbeda; Maximilien Colange; Didier Buchs (ACSD, 2015)

Considering Execution Environment Resilience: A White-Box Approach. - Stefan Klikovits; David P. Y. Lawrence; Manuel Gonzalez-Berges; Didier Buchs (SERENE, 2015)

A CEGAR-like Approach for Cost LTL Bounds. - Maximilien Colange; Dimitri Racordon; Didier Buchs (CoRR, 2015)

Computing Bounds for Counter Automata. - Maximilien Colange; Dimitri Racordon; Didier Buchs (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Generalizing the Compositions of Petri Nets Modules. - Alexis Marechal; Didier Buchs (Fundam. Informaticae, 2015)

Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies. - Mihai-Lica Pura; Didier Buchs (Trans. Petri Nets Other Model. Concurr., 2015)

Layered Data: A Modular Formal Definition without Formalisms. - Alban Linard; Benoît Barbot; Didier Buchs; Maximilien Colange; Clément Démoulins; Lom-Messan Hillah; Alexis Martin (PNSE @ Petri Nets, 2016)

Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting. - Mihai Lica Pura; Luciana Morogan; Didier Buchs (COMM, 2016)

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies. - István Dávid; Eugene Syriani; Clark Verbrugge; Didier Buchs; Dominique Blouin; Antonio Cicchetti; Ken Vanherpen (COMMitMDE@MoDELS, 2016)

Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. - Stefan Klikovits; David P. Y. Lawrence; Manuel Gonzalez-Berges; Didier Buchs (SERENE, 2016)

Verifying Multi-core Schedulability with Data Decision Diagrams. - Dimitri Racordon; Didier Buchs (SERENE, 2016)

Coupling petri nets with deterministic formalisms using co-simulation. - David P. Y. Lawrence; Cláudio Gomes 001; Joachim Denil; Hans Vangheluwe; Didier Buchs (SpringSim (TMS-DEVS), 2016)

Ardoises: Collaborative & Interactive Editing Using Layered Data. - Alban Linard; Didier Buchs (ACSD, 2017)

CTL formula evaluation by term rewriting inversion. - Mihai-Lica Pura; Iulian Aciobanitei; Stefan-Adrian Toma; Didier Buchs (ECAI, 2017)

CREST - A Continuous, REactive SysTems DSL. - Stefan Klikovits; Alban Linard; Didier Buchs (MoDELS (Satellite Events), 2017)

Extracting Formal Specifications to Strenghten Type Behaviour Testing. - Dimitri Racordon; Didier Buchs (CoRR, 2017)

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. - Didier Buchs; Stefan Klikovits; Alban Linard; Romain Mencattini; Dimitri Racordon (Petri Nets, 2018)

Petri Sport: A Sport for Petri Netters. - Stefan Klikovits; Alban Linard; Dimitri Racordon; Didier Buchs (PNSE@Petri Nets/ACSD, 2018)

A Practical Implementation of Contextual Reasoning on the Semantic Web. - Sahar Aljalbout; Gilles Falquet; Didier Buchs (KEOD, 2018)

ML4CREST: Machine Learning for CPS Models. - Stefan Klikovits; Aurélien Coet; Didier Buchs (MoDELS (Workshops), 2018)

CREST - A DSL for Reactive Cyber-Physical Systems. - Stefan Klikovits; Alban Linard; Didier Buchs (SAM, 2018)

A practical type system for safe aliasing. - Dimitri Racordon; Didier Buchs (SLE, 2018)

Semantic languages for developing correct language translations. - Bruno Barroca; Vasco Amaral 001; Didier Buchs (Softw. Qual. J., 2018)

Introducing Contextual Reasoning to the Semantic Web with OWL ^C. - Sahar Aljalbout; Didier Buchs; Gilles Falquet (ICCS, 2019)

OWLC: A Contextual Two-Dimensional Web Ontology Language. - Sahar Aljalbout; Didier Buchs; Gilles Falquet (LDK, 2019)

Implementing a language with explicit assignment semantics. - Dimitri Racordon; Didier Buchs (VMIL@SPLASH, 2019)

Explicit and Controllable Assignment Semantics. - Dimitri Racordon; Didier Buchs (CoRR, 2019)

LogicKit: bringing logic programming to swift. - Dimitri Racordon; Didier Buchs (Programming, 2020)

Featherweight Swift: a Core calculus for Swift's type system. - Dimitri Racordon; Didier Buchs (SLE, 2020)

Solving Schedulability as a Search Space Problem with Decision Diagrams. - Dimitri Racordon; Aurélien Coet; Emmanouela Stachtiari; Didier Buchs (SSBSE, 2020)

Fuel: A Compiler Framework for Safe Memory Management. - Dimitri Racordon; Aurélien Coet; Didier Buchs (CoRR, 2021)

Pragmatic reuse for DSML development. - Stefan Klikovits; Didier Buchs (Softw. Syst. Model., 2021)

Preface. - Didier Buchs; Josep Carmona 001; Jetty Kleijn (Fundam. Informaticae, 2022)

Toward a Lingua Franca for Memory Safety. - Dimitri Racordon; Aurélien Coet; Didier Buchs (J. Object Technol., 2022)

Handling Wikidata Qualifiers in Reasoning. - Sahar Aljalbout; Gilles Falquet; Didier Buchs (CoRR, 2023)

Symbolic Model Checking Using Intervals of Vectors. - Damien Morard; Lucas Donati; Didier Buchs (Petri Nets, 2024)