Didier Buchs

According to our database, Didier Buchs authored at least 92 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symbolic Model Checking Using Intervals of Vectors.

Damien Morard, Lucas Donati, Didier Buchs

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

Handling Wikidata Qualifiers in Reasoning.

Sahar Aljalbout, Gilles Falquet, Didier Buchs

CoRR, 2023

2022

Toward a Lingua Franca for Memory Safety.

Dimitri Racordon, Aurélien Coet, Didier Buchs

J. Object Technol., 2022

Preface.

Didier Buchs, Josep Carmona, Jetty Kleijn

Fundam. Informaticae, 2022

2021

Pragmatic reuse for DSML development.

Stefan Klikovits, Didier Buchs

Softw. Syst. Model., 2021

Fuel: A Compiler Framework for Safe Memory Management.

Dimitri Racordon, Aurélien Coet, Didier Buchs

CoRR, 2021

2020

Solving Schedulability as a Search Space Problem with Decision Diagrams.

Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Featherweight Swift: a Core calculus for Swift's type system.

Dimitri Racordon, Didier Buchs

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

LogicKit: bringing logic programming to swift.

Dimitri Racordon, Didier Buchs

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

2019

Explicit and Controllable Assignment Semantics.

Dimitri Racordon, Didier Buchs

CoRR, 2019

Implementing a language with explicit assignment semantics.

Dimitri Racordon, Didier Buchs

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

OWL^C: A Contextual Two-Dimensional Web Ontology Language.

Sahar Aljalbout, Didier Buchs, Gilles Falquet

Proceedings of the 2nd Conference on Language, Data and Knowledge, 2019

Introducing Contextual Reasoning to the Semantic Web with OWL ^C.

Sahar Aljalbout, Didier Buchs, Gilles Falquet

Proceedings of the Graph-Based Representation and Reasoning, 2019

2018

Semantic languages for developing correct language translations.

Bruno Barroca, Vasco Amaral, Didier Buchs

Softw. Qual. J., 2018

A practical type system for safe aliasing.

Dimitri Racordon, Didier Buchs

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

CREST - A DSL for Reactive Cyber-Physical Systems.

Stefan Klikovits, Alban Linard, Didier Buchs

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

ML4CREST: Machine Learning for CPS Models.

Stefan Klikovits, Aurélien Coet, Didier Buchs

Proceedings of MODELS 2018 Workshops: ModComp, 2018

A Practical Implementation of Contextual Reasoning on the Semantic Web.

Sahar Aljalbout, Gilles Falquet, Didier Buchs

Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Petri Sport: A Sport for Petri Netters.

Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.

Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Extracting Formal Specifications to Strenghten Type Behaviour Testing.

Dimitri Racordon, Didier Buchs

CoRR, 2017

CREST - A Continuous, REactive SysTems DSL.

Stefan Klikovits, Alban Linard, Didier Buchs

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

CTL formula evaluation by term rewriting inversion.

Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs

Proceedings of the 9th International Conference on Electronics, 2017

Ardoises: Collaborative & Interactive Editing Using Layered Data.

Alban Linard, Didier Buchs

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Coupling petri nets with deterministic formalisms using co-simulation.

David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Verifying Multi-core Schedulability with Data Decision Diagrams.

Dimitri Racordon, Didier Buchs

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 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

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 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

Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 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

Proceedings of the International Conference on Communications, 2016

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

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

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

Generalizing the Compositions of Petri Nets Modules.

Alexis Marechal, Didier Buchs

Fundam. Informaticae, 2015

Computing Bounds for Counter Automata.

Maximilien Colange, Dimitri Racordon, Didier Buchs

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A CEGAR-like Approach for Cost LTL Bounds.

Maximilien Colange, Dimitri Racordon, Didier Buchs

CoRR, 2015

Considering Execution Environment Resilience: A White-Box Approach.

Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs

Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

Building a Symbolic Model Checker from Formal Language Description.

Edmundo López Bóbeda, Maximilien Colange, Didier Buchs

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems.

David P. Y. Lawrence, Didier Buchs, Armin Wellig

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.

Mihai-Lica Pura, Didier Buchs

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A self-organized key management scheme for ad hoc networks based on identity-based cryptography.

Mihai Lica Pura, Didier Buchs

Proceedings of the 10th International Conference on Communications, 2014

Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets.

Mihai-Lica Pura, Didier Buchs

Proceedings of the 10th International Conference on Communications, 2014

Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks.

Mihai-Lica Pura, Didier Buchs

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

StrataGEM: A Generic Petri Net Verification Framework.

Edmundo López Bóbeda, Maximilien Colange, Didier Buchs

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

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, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 2013

Unifying the Semantics of Modular Extensions of Petri Nets.

Alexis Marechal, Didier Buchs

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

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

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

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, Harro Wimmel, Karsten Wolf

CoRR, 2012

2011

High-Level Petri Net Model Checking with AlPiNA.

Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs

Fundam. Informaticae, 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

Experience-Based Model Refinement.

Didier Buchs, Steve Hostettler, Alexis Marechal

Proceedings of the Software Engineering for Resilient Systems, 2011

2010

AlPiNA: An Algebraic Petri Net Analyzer.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.

Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral

Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

AlPiNA: A Symbolic Model Checker.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Proceedings of the Applications and Theory of Petri Nets, 2010

polyDD: Towards a Framework Generalizing Decision Diagrams.

Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Introduction.

Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

A Language and a Methodology for Prototyping User Interfaces for Control Systems.

Matteo Risoldi, Vasco Amaral, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss

Proceedings of the Human Machine Interaction, Research Results of the MMI Program, 2009

Rapid systems prototyping at RSP'06.

Gabriela Nicolescu, Didier Buchs

Microelectron. J., 2009

DSL Composition for model-based test generation.

Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Composing Visual Syntax for Domain Specific Languages.

Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral

Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009

Model Checking Techniques for Test Generation from Business Process Models.

Didier Buchs, Levi Lucio, Ang Chen

Proceedings of the Reliable Software Technologies, 2009

2007

System Prototype and Verification Using Metamodel-Based Transformations.

Luis Pedro, Levi Lucio, Didier Buchs

IEEE Distributed Syst. Online, 2007

A domain specific language and methodology for control systems GUI specification, verification and prototyping.

Matteo Risoldi, Didier Buchs

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

2006

Principles for System Prototype and Verification Using Metamodel Based Transformations.

Luis Pedro, Levi Lucio, Didier Buchs

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Generative Business Process Prototyping Framework.

Ang Chen, Didier Buchs

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Formal Test Generation from UML Models.

Didier Buchs, Luis Pedro, Levi Lucio

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005

A Test Language for CO-OPN Specifications.

Levi Lucio, Luis Pedro, Didier Buchs

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

Prototyping Domain Specific Languages with COOPN.

Luis Pedro, Levi Lucio, Didier Buchs

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Towards Service-Based Business Process Modeling, Prototyping and Integration.

Ang Chen, Didier Buchs

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

2004

A Methodology and a Framework for Model-Based Testing.

Levi Lucio, Luis Pedro, Didier Buchs

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Concurrent object oriented approach in morm simulation.

Adel Besrour, David Hurzeler, Didier Buchs

Proceedings of the IASTED International Conference on Software Engineering, 2004

2003

Interfacing Software Libraries from Nondeterministic Prototypes.

Stanislav Chachkov, Didier Buchs

Des. Autom. Embed. Syst., 2003

Prototyping Object Oriented Specifications.

Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Modelling a Secure, Mobile, and Transactional System with CO-OPN.

Didier Buchs, Stanislav Chachkov, David Hurzeler

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Interfacing Software Libraries from Non-deterministic Prototypes.

Stanislav Chachkov, Didier Buchs

Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP 2002), 2002

Real-Time Synchronised Petri Nets.

Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller.

Stanislav Chachkov, Didier Buchs

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.

O. Biberstein, Didier Buchs, Nicolas Guelfi

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.

Stanislav Chachkov, Didier Buchs

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

A Formal Specification Framework for Object-Oriented Distributed Systems.

Didier Buchs, Nicolas Guelfi

IEEE Trans. Software Eng., 2000

1999

Rapid Prototyping of Formally Modelled Distributed Systems.

Didier Buchs, Mathieu Buffo

Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

A Distributed Semantics for a IWIM-Based Coordination Language.

Mathieu Buffo, Didier Buchs

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Testing Prototypes Validity to Enhance Code Reuse.

Didier Buchs, Alioune Diagne, Fabrice Kordon

Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998

Test selection for object-oriented software based on formal specifications.

Cécile Péraire, Stéphane Barbey, Didier Buchs

Proceedings of the Programming Concepts and Methods, 1998

1997

Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems.

Mathieu Buffo, Didier Buchs

Comput. Artif. Intell., 1997

Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop).

Rémi Bastide, Didier Buchs

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

A Coordination Model for Distributed Object Systems.

Mathieu Buffo, Didier Buchs

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Contextual Coordination between Objects.

Mathieu Buffo, Didier Buchs

Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

A Theory of Specification-Based Testing for Object-Oriented Software.

Stéphane Barbey, Didier Buchs, Cécile Péraire

Proceedings of the Dependable Computing, 1996

1995

Modeling and Validation of Tasks with Algebraic Structured Nets.

Didier Buchs, C. Buffard, Pascal Racloz

Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994

Testing Ada Abstract Data Types Using Formal Specifications.

Stéphane Barbey, Didier Buchs

Proceedings of the Ada in Europe, First International Eurospace, 1994

1993

Formal Development of Actor Programs Using Structured Algebraic Petri Nets.

Didier Buchs, Nicolas Guelfi

Proceedings of the PARLE '93, 1993

1992

Producing prototypes from CO-OPN specifications.

Didier Buchs, Jacques Flumet, Pascal Racloz

Proceedings of the Third International Workshop on Rapid System Prototyping, 1992