| 2020 | SLE | Featherweight Swift: a Core calculus for Swift's type system. | Dimitri Racordon, Didier Buchs |
| 2020 | SSBSE | Solving Schedulability as a Search Space Problem with Decision Diagrams. | Dimitri Racordon, Aurlien Coet, Emmanouela Stachtiari, Didier Buchs |
| 2019 | ICCS | Introducing Contextual Reasoning to the Semantic Web with OWL ^C. | Sahar Aljalbout, Didier Buchs, Gilles Falquet |
| 2019 | LDK | OWL | Sahar Aljalbout, Didier Buchs, Gilles Falquet |
| 2019 | OOPSLA | Implementing a language with explicit assignment semantics. | Dimitri Racordon, Didier Buchs |
| 2018 | IC3K | A Practical Implementation of Contextual Reasoning on the Semantic Web. | Sahar Aljalbout, Gilles Falquet, Didier Buchs |
| 2018 | MODELS | ML4CREST: Machine Learning for CPS Models. | Stefan Klikovits, Aurlien Coet, Didier Buchs |
| 2018 | SLE | A practical type system for safe aliasing. | Dimitri Racordon, Didier Buchs |
| 2017 | MODELS | CREST - A Continuous, REactive SysTems DSL. | Stefan Klikovits, Alban Linard, Didier Buchs |
| 2016 | MODELS | Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies. | Istvn Dvid, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, Antonio Cicchetti, Ken Vanherpen |
| 2014 | ICST | Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. | Mihai-Lica Pura, Didier Buchs |
| 2010 | OOPSLA | Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study. | Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral |
| 2010 | TACAS | AlPiNA: An Algebraic Petri Net Analyzer. | Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi |
| 2009 | HCI | Composing Visual Syntax for Domain Specific Languages. | Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral |
| 2006 | RSP | Generative Business Process Prototyping Framework. | Ang Chen, Didier Buchs |
| 2006 | RSP | Principles for System Prototype and Verification Using Metamodel Based Transformations. | Luis Pedro, Levi Lucio, Didier Buchs |
| 2005 | RSP | A Test Language for CO-OPN Specifications. | Levi Lucio, Luis Pedro, Didier Buchs |
| 2002 | RSP | Interfacing Software Libraries from Non-deterministic Prototypes. | Stanislav Chachkov, Didier Buchs |
| 2001 | RSP | From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. | Stanislav Chachkov, Didier Buchs |
| 1999 | Coordination | A Distributed Semantics for a IWIM-Based Coordination Language. | Mathieu Buffo, Didier Buchs |
| 1999 | RSP | Rapid Prototyping of Formally Modelled Distributed Systems. | Didier Buchs, Mathieu Buffo |
| 1998 | RSP | Testing Prototypes Validity to Enhance Code Reuse. | Didier Buchs, Alioune Diagne, Fabrice Kordon |
| 1997 | Coordination | A Coordination Model for Distributed Object Systems. | Mathieu Buffo, Didier Buchs |
| 1996 | EDCC | A Theory of Specification-Based Testing for Object-Oriented Software. | Stphane Barbey, Didier Buchs, Ccile Praire |
| 1992 | RSP | Producing prototypes from CO-OPN specifications. | Didier Buchs, Jacques Flumet, Pascal Racloz |