Eric Madelaine

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 17

Top Topics

Denotational Semantics

Concurrent Processes

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine
Refinements for Open Automata. SEFM (2023)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Compositional equivalences based on open pNets. J. Log. Algebraic Methods Program. 131 (2023)
Biyang Wang, Eric Madelaine, Min Zhang
New Symbolic Model and Equivalences Checking for Open Automata. SMC (2021)
Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
SMT-based generation of symbolic automata. Acta Informatica 57 (3-5) (2020)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Compositional equivalences based on Open pNets. CoRR (2020)
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
Scheduling Live Migration of Virtual Machines. IEEE Trans. Cloud Comput. 8 (1) (2020)
Zechen Hou, Eric Madelaine
Symbolic bisimulation for open and parameterized systems. PEPM@POPL (2020)
Simon Bliudze, Ludovic Henrio, Eric Madelaine
Verification of Concurrent Design Patterns with Data. COORDINATION (2019)
Olga Kouchnarenko, Eric Madelaine
Selected and extended papers from FACS 2016. Sci. Comput. Program. 178 (2019)
Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu
Behavioural semantics for asynchronous components. J. Log. Algebraic Methods Program. 89 (2017)
Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noemie Simoni
Monitoring as-a-service to drive more efficient future system design. EAI Endorsed Trans. Cloud Syst. 3 (9) (2017)
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
Integrated Environment for Verifying and Running Distributed Components. FASE (2016)
Eric Madelaine, Min Zhang
Towards a bisimulation theory for open synchronized networks of automata. Sci. China Inf. Sci. 59 (5) (2016)
Ludovic Henrio, Eric Madelaine, Min Zhang
A Theory for the Composition of Concurrent Processes. FORTE (2016)
Ivan Lanese, Eric Madelaine
Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software. Sci. Comput. Program. 127 (2016)
Siqi Li, Eric Madelaine
A Denotational Semantics for Parameterised Networks of Synchronised Automata. UTP (2016)
Yanwen Chen, Yixiang Chen, Eric Madelaine
Timed-pNets: a communication behavioural semantic model for distributed systems. Frontiers Comput. Sci. 9 (1) (2015)
Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni
Management of service compositionbased on self-controlled components. J. Internet Serv. Appl. 6 (1) (2015)
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations. UCC (2015)
Ludovic Henrio, Eric Madelaine, Min Madelaine
pNets: An Expressive Model for Parameterised Networks of Processes. PDP (2015)
Nuno Gaspar, Ludovic Henrio, Eric Madelaine
Painless Support for Static and Runtime Verification of Component-Based Applications. FSEN (2015)
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
Planning Live-Migrations to Prepare Servers for Maintenance. Euro-Par Workshops (2) (2014)
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA (2014)
Nuno Gaspar, Ludovic Henrio, Eric Madelaine
Bringing Coq into the World of GCM Distributed Applications. Int. J. Parallel Program. 42 (4) (2014)
Nuno Gaspar, Ludovic Henrio, Eric Madelaine
Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. FACS (2013)
Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
Verifying Safety of Fault-Tolerant Distributed Components. FACS (2011)
Antonio Cansado, Ludovic Henrio, Eric Madelaine
Transparent First-class Futures and Distributed Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Behavioural Models for Group Communications WCSI (2010)
Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela
Unifying Architectural and Behavioural Specifications of Distributed Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
Behavioural models for distributed Fractal components. Ann. des Télécommunications 64 (1-2) (2009)
Antonio Cansado, Eric Madelaine
Specification and Verification for Grid Component-Based Applications: From Models to Tools. FMCO (2008)
Markus Lumpe, Eric Madelaine
Preface. Electron. Notes Theor. Comput. Sci. 215 (2008)
Denis Caromel, Ludovic Henrio, Eric Madelaine
Active Objects and Distributed Components: Theory and Implementation. FMCO (2007)
Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu
A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME (2007)
Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu
Specifying Fractal and GCM Components with UML. SCCC (2007)
Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
Model-checking Distributed Components: The Vercors Platform. Electron. Notes Theor. Comput. Sci. 182 (2007)
Tomás Barros, Ludovic Henrio, Eric Madelaine
Verification of Distributed Hierarchical Components. Electron. Notes Theor. Comput. Sci. 160 (2006)
Tomás Barros, Ludovic Henrio, Eric Madelaine
Behavioural Models for Hierarchical Components. SPIN (2005)
Isabelle Attali, Tomás Barros, Eric Madelaine
Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC (2004)
Tomás Barros, Rabéa Boulifa, Eric Madelaine
Parameterized Models for Distributed Java Objects. FORTE (2004)
Rabéa Boulifa, Eric Madelaine
Model Generation for Distributed Java Programs. FIDJI (2003)
Rance Cleaveland, Eric Madelaine, Steve Sims
A Front-End Generator for Verification Tools. TACAS (1995)
Eric Madelaine, Didier Vergamini
Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS (1992)
Eric Madelaine, Didier Vergamini
Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE (1991)
Eric Madelaine, Didier Vergamini
Tool Demonstration: Tools for Process Algebras. FORTE (1991)
Eric Madelaine, Didier Vergamini
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV (1990)
Eric Madelaine, Didier Vergamini
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV (DIMACS/AMS volume) (1990)
Eric Madelaine, Didier Vergamini
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE (1989)
Eric Madelaine
Un système d'aide à la preuve de compilateurs. Symposium on Programming (1984)