| 2023 | SEFM | Refinements for Open Automata. | Raba Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine |
| 2021 | SMC | New Symbolic Model and Equivalences Checking for Open Automata. | Biyang Wang, Eric Madelaine, Min Zhang |
| 2020 | PEPM | Symbolic bisimulation for open and parameterized systems. | Zechen Hou, Eric Madelaine |
| 2019 | Coordination | Verification of Concurrent Design Patterns with Data. | Simon Bliudze, Ludovic Henrio, Eric Madelaine |
| 2016 | FASE | Integrated Environment for Verifying and Running Distributed Components. | Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine |
| 2016 | FORTE | A Theory for the Composition of Concurrent Processes. | Ludovic Henrio, Eric Madelaine, Min Zhang |
| 2015 | PDP | pNets: An Expressive Model for Parameterised Networks of Processes. | Ludovic Henrio, Eric Madelaine, Min Madelaine |
| 2015 | UCC | Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations. | Vincent Kherbache, Eric Madelaine, Fabien Hermenier |
| 2014 | EuroPar | Planning Live-Migrations to Prepare Servers for Maintenance. | Vincent Kherbache, Eric Madelaine, Fabien Hermenier |
| 2004 | FORTE | Parameterized Models for Distributed Java Objects. | Toms Barros, Raba Boulifa, Eric Madelaine |
| 1995 | TACAS | A Front-End Generator for Verification Tools. | Rance Cleaveland, Eric Madelaine, Steve Sims |
| 1992 | STACS | Verification of Communicating Processes by Means of Automata Reduction and Abstraction. | Eric Madelaine, Didier Vergamini |
| 1991 | FORTE | Tool Demonstration: Tools for Process Algebras. | Eric Madelaine, Didier Vergamini |
| 1991 | FORTE | Specification and Verification of a Sliding Window Protocol in LOTOS. | Eric Madelaine, Didier Vergamini |
| 1990 | CAV | Finiteness Conditions and Structural Construction of Automata for All Process Algebras. | Eric Madelaine, Didier Vergamini |
| 1989 | FORTE | AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. | Eric Madelaine, Didier Vergamini |