Eric Madelaine

According to our database, Eric Madelaine authored at least 49 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Compositional equivalences based on open pNets.

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine

J. Log. Algebraic Methods Program., February, 2023

Refinements for Open Automata.

Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2021

New Symbolic Model and Equivalences Checking for Open Automata.

Biyang Wang, Eric Madelaine, Min Zhang

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

2020

Scheduling Live Migration of Virtual Machines.

Vincent Kherbache, Eric Madelaine, Fabien Hermenier

IEEE Trans. Cloud Comput., 2020

SMT-based generation of symbolic automata.

Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang

Acta Informatica, 2020

Symbolic bisimulation for open and parameterized systems.

Zechen Hou, Eric Madelaine

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020

2019

Selected and extended papers from FACS 2016.

Olga Kouchnarenko, Eric Madelaine

Sci. Comput. Program., 2019

Verification of Concurrent Design Patterns with Data.

Simon Bliudze, Ludovic Henrio, Eric Madelaine

Proceedings of the Coordination Models and Languages, 2019

2018

Using SMT Engine to Generate Symbolic Automata.

Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze

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

2017

Behavioural semantics for asynchronous components.

Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu

J. Log. Algebraic Methods Program., 2017

Monitoring as-a-service to drive more efficient future system design.

Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noemie Simoni

EAI Endorsed Trans. Cloud Syst., 2017

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

Towards a bisimulation theory for open synchronized networks of automata.

Eric Madelaine, Min Zhang

Sci. China Inf. Sci., 2016

A Denotational Semantics for Parameterised Networks of Synchronised Automata.

Siqi Li, Eric Madelaine

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

A Theory for the Composition of Concurrent Processes.

Ludovic Henrio, Eric Madelaine, Min Zhang

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Integrated Environment for Verifying and Running Distributed Components.

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Management of service compositionbased on self-controlled components.

Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni

J. Internet Serv. Appl., 2015

Timed-pNets: a communication behavioural semantic model for distributed systems.

Yanwen Chen, Yixiang Chen, Eric Madelaine

Frontiers Comput. Sci., 2015

Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations.

Vincent Kherbache, Eric Madelaine, Fabien Hermenier

Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

pNets: An Expressive Model for Parameterised Networks of Processes.

Ludovic Henrio, Eric Madelaine, Min Madelaine

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Painless Support for Static and Runtime Verification of Component-Based Applications.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Bringing Coq into the World of GCM Distributed Applications.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Int. J. Parallel Program., 2014

Verifying the correct composition of distributed components: Formalisation and Tool.

Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine

Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

Planning Live-Migrations to Prepare Servers for Maintenance.

Vincent Kherbache, Eric Madelaine, Fabien Hermenier

Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

2013

Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2011

Verifying Safety of Fault-Tolerant Distributed Components.

Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Specification, Model Generation, and Verification of Distributed Applications.

Eric Madelaine

, 2011

2010

Behavioural Models for Group Communications

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine

Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

2009

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

2008

Unifying Architectural and Behavioural Specifications of Distributed Components.

Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Transparent First-class Futures and Distributed Components.

Antonio Cansado, Ludovic Henrio, Eric Madelaine

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Specification and Verification for Grid Component-Based Applications: From Models to Tools.

Antonio Cansado, Eric Madelaine

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Preface.

Markus Lumpe, Eric Madelaine

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Specifying Fractal and GCM Components with UML.

Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Active Objects and Distributed Components: Theory and Implementation.

Denis Caromel, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Specification Language for Distributed Components Implemented in GCM/ProActive.

Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Model-checking Distributed Components: The Vercors Platform.

Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

2005

Verification of Distributed Hierarchical Components.

Tomás Barros, Ludovic Henrio, Eric Madelaine

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Behavioural Models for Hierarchical Components.

Tomás Barros, Ludovic Henrio, Eric Madelaine

Proceedings of the Model Checking Software, 2005

2004

Parameterized Specification and Verification of the Chilean Electronic Invoices System.

Isabelle Attali, Tomás Barros, Eric Madelaine

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

Parameterized Models for Distributed Java Objects.

Tomás Barros, Rabéa Boulifa, Eric Madelaine

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Model Generation for Distributed Java Programs.

Rabéa Boulifa, Eric Madelaine

Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

1995

A Front-End Generator for Verification Tools.

Rance Cleaveland, Eric Madelaine, Steve Sims

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1992

Verification of Communicating Processes by Means of Automata Reduction and Abstraction.

Eric Madelaine, Didier Vergamini

Proceedings of the STACS 92, 1992

1991

Specification and Verification of a Sliding Window Protocol in LOTOS.

Eric Madelaine, Didier Vergamini

Proceedings of the Formal Description Techniques, 1991

Tool Demonstration: Tools for Process Algebras.

Eric Madelaine, Didier Vergamini

Proceedings of the Formal Description Techniques, 1991

1990

Finiteness Conditions and Structural Construction of Automata for All Process Algebras.

Eric Madelaine, Didier Vergamini

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks.

Eric Madelaine, Didier Vergamini

Proceedings of the Formal Description Techniques, 1989

1984

Un système d'aide à la preuve de compilateurs.

Eric Madelaine

Proceedings of the International Symposium on Programming, 1984