Un système d'aide à la preuve de compilateurs. - Eric Madelaine (Symposium on Programming, 1984)

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. - Eric Madelaine; Didier Vergamini (FORTE, 1989)

Finiteness Conditions and Structural Construction of Automata for All Process Algebras. - Eric Madelaine; Didier Vergamini (CAV, 1990)

Tool Demonstration: Tools for Process Algebras. - Eric Madelaine; Didier Vergamini (FORTE, 1991)

Specification and Verification of a Sliding Window Protocol in LOTOS. - Eric Madelaine; Didier Vergamini (FORTE, 1991)

Verification of Communicating Processes by Means of Automata Reduction and Abstraction. - Eric Madelaine; Didier Vergamini (STACS, 1992)

A Front-End Generator for Verification Tools. - Rance Cleaveland; Eric Madelaine; Steve Sims (TACAS, 1995)

Model Generation for Distributed Java Programs. - Rabéa Boulifa; Eric Madelaine (FIDJI, 2003)

Parameterized Models for Distributed Java Objects. - Tomás Barros; Rabéa Boulifa; Eric Madelaine (FORTE, 2004)

Parameterized Specification and Verification of the Chilean Electronic Invoices System. - Isabelle Attali; Tomás Barros; Eric Madelaine (SCCC, 2004)

Behavioural Models for Hierarchical Components. - Tomás Barros; Ludovic Henrio; Eric Madelaine (SPIN, 2005)

Verification of Distributed Hierarchical Components. - Tomás Barros; Ludovic Henrio; Eric Madelaine (FACS, 2005)

Model-checking Distributed Components: The Vercors Platform. - Tomás Barros; Antonio Cansado; Eric Madelaine; Marcela Rivera (FACS, 2006)

A Specification Language for Distributed Components Implemented in GCM/ProActive. - Antonio Cansado; Denis Caromel; Ludovic Henrio; Eric Madelaine; Marcela Rivera; Emil Salageanu (CoCoME, 2007)

Active Objects and Distributed Components: Theory and Implementation. - Denis Caromel; Ludovic Henrio; Eric Madelaine (FMCO, 2007)

Specifying Fractal and GCM Components with UML. - Solange Ahumada; Ludovic Apvrille; Tomás Barros; Antonio Cansado; Eric Madelaine; Emil Salageanu (SCCC, 2007)

Preface. - Markus Lumpe; Eric Madelaine (FACS, 2007)

Specification and Verification for Grid Component-Based Applications: From Models to Tools. - Antonio Cansado; Eric Madelaine (FMCO, 2008)

Transparent First-class Futures and Distributed Components. - Antonio Cansado; Ludovic Henrio; Eric Madelaine (FACS, 2008)

Unifying Architectural and Behavioural Specifications of Distributed Components. - Antonio Cansado; Ludovic Henrio; Eric Madelaine; Pablo Valenzuela (FACS, 2008)

Behavioural models for distributed Fractal components. - Tomás Barros; Rabéa Ameur-Boulifa; Antonio Cansado; Ludovic Henrio; Eric Madelaine (Ann. des Télécommunications, 2009)

Behavioural Models for Group Communications - Rabéa Ameur-Boulifa; Ludovic Henrio; Eric Madelaine (WCSI, 2010)

Specification, Model Generation, and Verification of Distributed Applications. - Eric Madelaine (2011)

Verifying Safety of Fault-Tolerant Distributed Components. - Rabéa Ameur-Boulifa; Raluca Halalai; Ludovic Henrio; Eric Madelaine (FACS, 2011)

Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (FACS, 2013)

Planning Live-Migrations to Prepare Servers for Maintenance. - Vincent Kherbache; Eric Madelaine; Fabien Hermenier (Euro-Par Workshops (2), 2014)

Verifying the correct composition of distributed components: Formalisation and Tool. - Ludovic Henrio; Oleksandra Kulankhina; Dongqian Liu; Eric Madelaine (FOCLASA, 2014)

Bringing Coq into the World of GCM Distributed Applications. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (Int. J. Parallel Program., 2014)

Painless Support for Static and Runtime Verification of Component-Based Applications. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (FSEN, 2015)

pNets: An Expressive Model for Parameterised Networks of Processes. - Ludovic Henrio; Eric Madelaine; Min Madelaine (PDP, 2015)

Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations. - Vincent Kherbache; Eric Madelaine; Fabien Hermenier (UCC, 2015)

Timed-pNets: a communication behavioural semantic model for distributed systems. - Yanwen Chen; Yixiang Chen 001; Eric Madelaine (Frontiers Comput. Sci., 2015)

Management of service compositionbased on self-controlled components. - Tatiana Aubonnet; Ludovic Henrio; Soumia Kessal; Oleksandra Kulankhina; Frédéric Lemoine 001; Eric Madelaine; Cristian Ruz; Noëmie Simoni (J. Internet Serv. Appl., 2015)

Integrated Environment for Verifying and Running Distributed Components. - Ludovic Henrio; Oleksandra Kulankhina; Siqi Li; Eric Madelaine (FASE, 2016)

A Theory for the Composition of Concurrent Processes. - Ludovic Henrio; Eric Madelaine; Min Zhang 002 (FORTE, 2016)

A Denotational Semantics for Parameterised Networks of Synchronised Automata. - Siqi Li; Eric Madelaine (UTP, 2016)

Towards a bisimulation theory for open synchronized networks of automata. - Eric Madelaine; Min Zhang 002 (Sci. China Inf. Sci., 2016)

Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software. - Ivan Lanese; Eric Madelaine (Sci. Comput. Program., 2016)

Monitoring as-a-service to drive more efficient future system design. - Frédéric Lemoine 001; Tatiana Aubonnet; Ludovic Henrio; Soumia Kessal; Eric Madelaine; Noemie Simoni (EAI Endorsed Trans. Cloud Syst., 2017)

Behavioural semantics for asynchronous components. - Rabéa Ameur-Boulifa; Ludovic Henrio; Oleksandra Kulankhina; Eric Madelaine; A. Savu (J. Log. Algebraic Methods Program., 2017)

Using SMT Engine to Generate Symbolic Automata. - Eric Madelaine; Xudong Qin; Min Zhang 002; Simon Bliudze (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Verification of Concurrent Design Patterns with Data. - Simon Bliudze; Ludovic Henrio; Eric Madelaine (COORDINATION, 2019)

Selected and extended papers from FACS 2016. - Olga Kouchnarenko; Eric Madelaine (Sci. Comput. Program., 2019)

Symbolic bisimulation for open and parameterized systems. - Zechen Hou; Eric Madelaine (PEPM@POPL, 2020)

SMT-based generation of symbolic automata. - Xudong Qin; Simon Bliudze; Eric Madelaine; Zechen Hou; Yuxin Deng; Min Zhang 002 (Acta Informatica, 2020)

Scheduling Live Migration of Virtual Machines. - Vincent Kherbache; Eric Madelaine; Fabien Hermenier (IEEE Trans. Cloud Comput., 2020)

New Symbolic Model and Equivalences Checking for Open Automata. - Biyang Wang; Eric Madelaine; Min Zhang 007 (SMC, 2021)

Refinements for Open Automata. - Rabéa Ameur-Boulifa; Quentin Corradi; Ludovic Henrio; Eric Madelaine (SEFM, 2023)

Compositional equivalences based on open pNets. - Rabéa Ameur-Boulifa; Ludovic Henrio; Eric Madelaine (J. Log. Algebraic Methods Program., 2023)