Didier Buchs

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 31

Top Topics

Top Venues

Publications

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