Didier Buchs

97 papers A 2B 10C 12Misc 5Journal 26Unranked 40
YearRankTypeTitle / Venue / Authors
2026 J jnl
Revisiting Borrow Checking with Abstract Interpretation.
J. Object Technol.
Aurélien Coet, Didier Buchs
2026 J jnl
Symbolic Model Checking using Intervals of Vectors.
CoRR
Damien Morard, Lucas Donati, Didier Buchs
2024 — conf
Pragmatic Reuse for DSML Development.
Modellierung
Stefan Klikovits, Didier Buchs
2024 B conf
Symbolic Model Checking Using Intervals of Vectors.
Petri Nets
Damien Morard, Lucas Donati, Didier Buchs
2023 J jnl
Handling Wikidata Qualifiers in Reasoning.
CoRR
Sahar Aljalbout, Gilles Falquet, Didier Buchs
2022 J jnl
Preface.
Fundam. Informaticae
Didier Buchs, Josep Carmona, Jetty Kleijn
2022 J jnl
Toward a Lingua Franca for Memory Safety.
J. Object Technol.
Dimitri Racordon, Aurélien Coet, Didier Buchs
2021 B ed.
Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings
Petri Nets
Didier Buchs, Josep Carmona
2021 J jnl
Fuel: A Compiler Framework for Safe Memory Management.
CoRR
Dimitri Racordon, Aurélien Coet, Didier Buchs
2021 J jnl
Pragmatic reuse for DSML development.
Softw. Syst. Model.
Stefan Klikovits, Didier Buchs
2020 B conf
Featherweight Swift: a Core calculus for Swift's type system.
SLE
Dimitri Racordon, Didier Buchs
2020 — conf
LogicKit: bringing logic programming to swift.
Programming
Dimitri Racordon, Didier Buchs
2020 B conf
Solving Schedulability as a Search Space Problem with Decision Diagrams.
SSBSE
Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs
2019 J jnl
Explicit and Controllable Assignment Semantics.
CoRR
Dimitri Racordon, Didier Buchs
2019 — conf
Implementing a language with explicit assignment semantics.
VMIL@SPLASH
Dimitri Racordon, Didier Buchs
2019 Misc conf
Introducing Contextual Reasoning to the Semantic Web with OWL ^C.
ICCS
Sahar Aljalbout, Didier Buchs, Gilles Falquet
2019 C conf
OWL
LDK
Sahar Aljalbout, Didier Buchs, Gilles Falquet
2018 B conf
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.
Petri Nets
Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon
2018 C conf
A Practical Implementation of Contextual Reasoning on the Semantic Web.
KEOD
Sahar Aljalbout, Gilles Falquet, Didier Buchs
2018 B conf
A practical type system for safe aliasing.
SLE
Dimitri Racordon, Didier Buchs
2018 — conf
CREST - A DSL for Reactive Cyber-Physical Systems.
SAM
Stefan Klikovits, Alban Linard, Didier Buchs
2018 — conf
ML4CREST: Machine Learning for CPS Models.
MoDELS (Workshops)
Stefan Klikovits, Aurélien Coet, Didier Buchs
2018 — conf
Petri Sport: A Sport for Petri Netters.
PNSE@Petri Nets/ACSD
Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs
2018 J jnl
Semantic languages for developing correct language translations.
Softw. Qual. J.
Bruno Barroca, Vasco Amaral, Didier Buchs
2017 — conf
Ardoises: Collaborative & Interactive Editing Using Layered Data.
ACSD
Alban Linard, Didier Buchs
2017 — conf
CREST - A Continuous, REactive SysTems DSL.
MoDELS (Satellite Events)
Stefan Klikovits, Alban Linard, Didier Buchs
2017 A conf
CTL formula evaluation by term rewriting inversion.
ECAI
Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs
2017 J jnl
Extracting Formal Specifications to Strenghten Type Behaviour Testing.
CoRR
Dimitri Racordon, Didier Buchs
2016 — conf
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.
SERENE
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
2016 — conf
Coupling petri nets with deterministic formalisms using co-simulation.
SpringSim (TMS-DEVS)
David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs
2016 — conf
Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting.
COMM
Mihai Lica Pura, Luciana Morogan, Didier Buchs
2016 — conf
Layered Data: A Modular Formal Definition without Formalisms.
PNSE @ Petri Nets
Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin
2016 — conf
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies.
COMMitMDE@MoDELS
István Dávid, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, Antonio Cicchetti, Ken Vanherpen
2016 — conf
Verifying Multi-core Schedulability with Data Decision Diagrams.
SERENE
Dimitri Racordon, Didier Buchs
2015 J jnl
A CEGAR-like Approach for Cost LTL Bounds.
CoRR
Maximilien Colange, Dimitri Racordon, Didier Buchs
2015 — conf
Building a Symbolic Model Checker from Formal Language Description.
ACSD
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
2015 J jnl
Computing Bounds for Counter Automata.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Maximilien Colange, Dimitri Racordon, Didier Buchs
2015 — conf
Considering Execution Environment Resilience: A White-Box Approach.
SERENE
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
2015 J jnl
Generalizing the Compositions of Petri Nets Modules.
Fundam. Informaticae
Alexis Marechal, Didier Buchs
2015 J jnl
Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies.
Trans. Petri Nets Other Model. Concurr.
Mihai-Lica Pura, Didier Buchs
2014 — conf
A self-organized key management scheme for ad hoc networks based on identity-based cryptography.
COMM
Mihai Lica Pura, Didier Buchs
2014 — conf
Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets.
COMM
Mihai-Lica Pura, Didier Buchs
2014 B conf
StrataGEM: A Generic Petri Net Verification Framework.
Petri Nets
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
2014 — conf
Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.
ICST Workshops
Mihai-Lica Pura, Didier Buchs
2014 — conf
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems.
SERENE
David P. Y. Lawrence, Didier Buchs, Armin Wellig
2014 — conf
Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks.
PNSE @ Petri Nets
Mihai-Lica Pura, Didier Buchs
2013 J jnl
Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR
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
2013 B conf
Unifying the Semantics of Modular Extensions of Petri Nets.
Petri Nets
Alexis Marechal, Didier Buchs
2012 J jnl
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.
Trans. Petri Nets Other Model. Concurr.
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
2012 J jnl
Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR
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
2012 J jnl
Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr.
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2011 — conf
Experience-Based Model Refinement.
SERENE
Didier Buchs, Steve Hostettler, Alexis Marechal
2011 J jnl
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
2011 J jnl
Modelling of Genetic Regulatory Mechanisms with GReg
CoRR
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
2010 B conf
AlPiNA: A Symbolic Model Checker.
Petri Nets
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
2010 A conf
AlPiNA: An Algebraic Petri Net Analyzer.
TACAS
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
2010 — conf
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.
DSM@SPLASH
Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral
2010 — conf
Introduction.
ACSD/Petri Nets Workshops
Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
2010 — conf
polyDD: Towards a Framework Generalizing Decision Diagrams.
ACSD
Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron
2009 — ch.
A Language and a Methodology for Prototyping User Interfaces for Control Systems.
Human Machine Interaction
Matteo Risoldi, Vasco Amaral, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss
2009 — conf
Composing Visual Syntax for Domain Specific Languages.
HCI (2)
Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral
2009 J jnl
DSL Composition for model-based test generation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro
2009 Misc conf
Model Checking Techniques for Test Generation from Business Process Models.
Ada-Europe
Didier Buchs, Levi Lucio, Ang Chen
2009 J jnl
Rapid systems prototyping at RSP'06.
Microelectron. J.
Gabriela Nicolescu, Didier Buchs
2007 B conf
A domain specific language and methodology for control systems GUI specification, verification and prototyping.
VL/HCC
Matteo Risoldi, Didier Buchs
2007 — ed.
Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
RISE
Nicolas Guelfi, Didier Buchs
2007 J jnl
System Prototype and Verification Using Metamodel-Based Transformations.
IEEE Distributed Syst. Online
Luis Pedro, Levi Lucio, Didier Buchs
2006 — conf
Formal Test Generation from UML Models.
Research Results of the DICS Program
Didier Buchs, Luis Pedro, Levi Lucio
2006 C conf
Generative Business Process Prototyping Framework.
IEEE International Workshop on Rapid System Prototyping
Ang Chen, Didier Buchs
2006 C conf
Principles for System Prototype and Verification Using Metamodel Based Transformations.
IEEE International Workshop on Rapid System Prototyping
Luis Pedro, Levi Lucio, Didier Buchs
2005 C conf
A Test Language for CO-OPN Specifications.
IEEE International Workshop on Rapid System Prototyping
Levi Lucio, Luis Pedro, Didier Buchs
2005 — conf
Prototyping Domain Specific Languages with COOPN.
RISE
Luis Pedro, Levi Lucio, Didier Buchs
2005 — conf
Towards Service-Based Business Process Modeling, Prototyping and Integration.
RISE
Ang Chen, Didier Buchs
2004 — conf
A Methodology and a Framework for Model-Based Testing.
RISE
Levi Lucio, Luis Pedro, Didier Buchs
2004 — conf
Concurrent object oriented approach in morm simulation.
IASTED Conf. on Software Engineering
Adel Besrour, David Hurzeler, Didier Buchs
2003 J jnl
Interfacing Software Libraries from Nondeterministic Prototypes.
Des. Autom. Embed. Syst.
Stanislav Chachkov, Didier Buchs
2003 — conf
Modelling a Secure, Mobile, and Transactional System with CO-OPN.
ACSD
Didier Buchs, Stanislav Chachkov, David Hurzeler
2003 — conf
Prototyping Object Oriented Specifications.
ICATPN
Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler
2002 C conf
Interfacing Software Libraries from Non-deterministic Prototypes.
IEEE International Workshop on Rapid System Prototyping
Stanislav Chachkov, Didier Buchs
2002 — conf
Real-Time Synchronised Petri Nets.
ICATPN
Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
2001 — conf
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.
ACSD
Stanislav Chachkov, Didier Buchs
2001 C conf
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller.
IEEE International Workshop on Rapid System Prototyping
Stanislav Chachkov, Didier Buchs
2001 — conf
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.
Concurrent Object-Oriented Programming and Petri Nets
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
2000 J jnl
A Formal Specification Framework for Object-Oriented Distributed Systems.
IEEE Trans. Software Eng.
Didier Buchs, Nicolas Guelfi
1999 C conf
A Distributed Semantics for a IWIM-Based Coordination Language.
COORDINATION
Mathieu Buffo, Didier Buchs
1999 C conf
Rapid Prototyping of Formally Modelled Distributed Systems.
IEEE International Workshop on Rapid System Prototyping
Didier Buchs, Mathieu Buffo
1998 — conf
Test selection for object-oriented software based on formal specifications.
PROCOMET
Cécile Péraire, Stéphane Barbey, Didier Buchs
1998 C conf
Testing Prototypes Validity to Enhance Code Reuse.
International Workshop on Rapid System Prototyping
Didier Buchs, Alioune Diagne, Fabrice Kordon
1997 C conf
A Coordination Model for Distributed Object Systems.
COORDINATION
Mathieu Buffo, Didier Buchs
1997 J jnl
Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems.
Comput. Artif. Intell.
Mathieu Buffo, Didier Buchs
1997 — conf
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop).
ECOOP Workshops
Rémi Bastide, Didier Buchs
1996 Misc conf
A Theory of Specification-Based Testing for Object-Oriented Software.
EDCC
Stéphane Barbey, Didier Buchs, Cécile Péraire
1996 — conf
Contextual Coordination between Objects.
SBES
Mathieu Buffo, Didier Buchs
1995 Misc conf
Modeling and Validation of Tasks with Algebraic Structured Nets.
Ada-Europe
Didier Buchs, C. Buffard, Pascal Racloz
1994 Misc conf
Testing Ada Abstract Data Types Using Formal Specifications.
Ada-Europe
Stéphane Barbey, Didier Buchs
1993 — conf
Formal Development of Actor Programs Using Structured Algebraic Petri Nets.
PARLE
Didier Buchs, Nicolas Guelfi
1992 C conf
Producing prototypes from CO-OPN specifications.
RSP
Didier Buchs, Jacques Flumet, Pascal Racloz