| 2025 | QRS | Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. | David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa |
| 2024 | FDL | Improving PSS Test Generation Using Model Checking and Conformance Testing. | Philippe Ledent, Radu Mateescu, Wendelin Serwe |
| 2022 | DATE | Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. | Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe |
| 2020 | Coordination | Combining SLiVER with CADP to Analyze Multi-agent Systems. | Luca Di Stefano, Frdric Lang, Wendelin Serwe |
| 2019 | IFM | Asynchronous Testing of Synchronous Components in GALS Systems. | Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe |
| 2018 | SAFEProcess | Using LNT Formal Descriptions for Model-Based Diagnosis. | Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa |
| 2018 | TACAS | TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. | Lina Marsso, Radu Mateescu, Wendelin Serwe |
| 2015 | TACAS | Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. | Abderahman Kriouile, Wendelin Serwe |
| 2014 | FMICS | Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. | Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers |
| 2013 | FMICS | Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. | Abderahman Kriouile, Wendelin Serwe |
| 2011 | FMICS | Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. | Etienne Lantreibecq, Wendelin Serwe |
| 2011 | TACAS | CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2010 | FMICS | A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. | Radu Mateescu, Wendelin Serwe |
| 2010 | ISoLA | Ten Years of Performance Evaluation for Concurrent Systems Using CADP. | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2009 | CAV | Towards Performance Prediction of Compositional Models in Industrial GALS Designs. | Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe |
| 2009 | MEMOCODE | Verification of an industrial SystemC/TLM model using LOTOS and CADP. | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
| 2008 | FM | A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. | Olivier Ponsini, Wendelin Serwe |
| 2007 | CAV | CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Radu Mateescu, Frdric Lang, Wendelin Serwe |
| 2005 | IFM | Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. | Gwen Salan, Wendelin Serwe |
| 2003 | PPDP | Statically assuring secrecy for dynamic concurrent processes. | Rachid Echahed, Frdric Prost, Wendelin Serwe |