| 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 |
| 2021 | ICSE | R-MOZART: A Reconfiguration Tool for WebThings Applications. | Francisco Durn, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salan |
| 2021 | SEAMS | Seamless Reconfiguration of Rule-based IoT Applications. | Francisco Durn, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salan |
| 2020 | WWW | MOZART: Design and Deployment of Advanced IoT Applications. | Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salan |
| 2020 | TACAS | Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 2019 | FM | Compositional Verification of Concurrent Systems by Combining Bisimulations. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 2019 | ICSE | Rigorous design and deployment of IoT applications. | Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salan |
| 2019 | ICSE | IoT composer: composition and deployment of IoT applications. | Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salan |
| 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 |
| 2014 | ICFEM | GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. | Fatma Jebali, Frdric Lang, Radu Mateescu |
| 2013 | IFM | Verification of EB | Dimitris Vekris, Frdric Lang, Catalin Dima, Radu Mateescu |
| 2013 | TACAS | PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. | Radu Mateescu, Gwen Salan |
| 2012 | TACAS | Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. | Frdric Lang, Radu Mateescu |
| 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 | IFM | Translating Pi-Calculus into LOTOS NT. | Radu Mateescu, Gwen Salan |
| 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 | AINA | Modeling Multiprocessor Cache Protocol Impact on MPI Performance. | Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu |
| 2009 | FM | Partial Order Reductions Using Compositional Confluence Detection. | Frdric Lang, Radu Mateescu |
| 2009 | TACAS | Hierarchical Adaptive State Space Caching Based on Level Sampling. | Radu Mateescu, Anton Wijs |
| 2008 | ATVA | Computation Tree Regular Logic for Genetic Regulatory Networks. | Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong |
| 2008 | CaiSE | Formal Modeling and Discrete-Time Analysis of BPEL Web Services. | Radu Mateescu, Sylvain Rampacek |
| 2008 | ECAI | Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |
| 2008 | ECCB | Temporal logic patterns for querying dynamic models of cellular interaction networks. | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |
| 2008 | FM | A Model Checking Language for Concurrent Value-Passing Systems. | Radu Mateescu, Damien Thivolle |
| 2008 | ICSOC | Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. | Radu Mateescu, Pascal Poizat, Gwen Salan |
| 2008 | MEMOCODE | Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. | Radu Mateescu, Emilie Oudot |
| 2007 | CAV | CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. | Hubert Garavel, Radu Mateescu, Frdric Lang, Wendelin Serwe |
| 2006 | TACAS | DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. | Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier |
| 2005 | FMICS | On-the-fly state space reductions for weak equivalences. | Radu Mateescu |
| 2005 | IJCAI | Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. | Grgory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
| 2005 | ISMB | Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in | Grgory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
| 2005 | PDP | Distributed Local Resolution of Boolean Equation Systems. | Christophe Joubert, Radu Mateescu |
| 2005 | TACAS | BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. | Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu |
| 2003 | CAV | Calculating-Confluence Compositionally. | Gordon J. Pace, Frdric Lang, Radu Mateescu |
| 2003 | TACAS | A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. | Radu Mateescu |
| 2002 | CC | Compiler Construction Using LOTOS NT. | Hubert Garavel, Frdric Lang, Radu Mateescu |
| 2002 | TACAS | Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. | Radu Mateescu |
| 2001 | DAIS | Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. | Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma |
| 2000 | TACAS | Efficient Diagnostic Generation for Boolean Equation Systems. | Radu Mateescu |
| 1996 | CAV | CADP - A Protocol Validation and Verification Toolbox. | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |