Eric Madelaine

According to our database1, Eric Madelaine authored at least 48 papers between 1984 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



New Symbolic Model and Equivalences Checking for Open Automata.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Scheduling Live Migration of Virtual Machines.
IEEE Trans. Cloud Comput., 2020

Compositional equivalences based on Open pNets.
CoRR, 2020

SMT-based generation of symbolic automata.
Acta Informatica, 2020

Symbolic bisimulation for open and parameterized systems.
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020

Selected and extended papers from FACS 2016.
Sci. Comput. Program., 2019

Verification of Concurrent Design Patterns with Data.
Proceedings of the Coordination Models and Languages, 2019

Using SMT Engine to Generate Symbolic Automata.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Behavioural semantics for asynchronous components.
J. Log. Algebraic Methods Program., 2017

Monitoring as-a-service to drive more efficient future system design.
EAI Endorsed Trans. Cloud Syst., 2017

Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software.
Sci. Comput. Program., 2016

Towards a bisimulation theory for open synchronized networks of automata.
Sci. China Inf. Sci., 2016

A Denotational Semantics for Parameterised Networks of Synchronised Automata.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

A Theory for the Composition of Concurrent Processes.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Integrated Environment for Verifying and Running Distributed Components.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Management of service compositionbased on self-controlled components.
J. Internet Serv. Appl., 2015

Timed-pNets: a communication behavioural semantic model for distributed systems.
Frontiers Comput. Sci., 2015

Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

pNets: An Expressive Model for Parameterised Networks of Processes.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Painless Support for Static and Runtime Verification of Component-Based Applications.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Bringing Coq into the World of GCM Distributed Applications.
Int. J. Parallel Program., 2014

Verifying the correct composition of distributed components: Formalisation and Tool.
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.
Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Verifying Safety of Fault-Tolerant Distributed Components.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Specification, Model Generation, and Verification of Distributed Applications.
, 2011

Unifying Architectural and Behavioural Specifications of Distributed Components.
Electron. Notes Theor. Comput. Sci., 2010

Transparent First-class Futures and Distributed Components.
Electron. Notes Theor. Comput. Sci., 2010

Behavioural Models for Group Communications
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Behavioural models for distributed Fractal components.
Ann. des Télécommunications, 2009

Electron. Notes Theor. Comput. Sci., 2008

Specification and Verification for Grid Component-Based Applications: From Models to Tools.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Model-checking Distributed Components: The Vercors Platform.
Electron. Notes Theor. Comput. Sci., 2007

Specifying Fractal and GCM Components with UML.
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Active Objects and Distributed Components: Theory and Implementation.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Specification Language for Distributed Components Implemented in GCM/ProActive.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Verification of Distributed Hierarchical Components.
Electron. Notes Theor. Comput. Sci., 2006

Behavioural Models for Hierarchical Components.
Proceedings of the Model Checking Software, 2005

Parameterized Specification and Verification of the Chilean Electronic Invoices System.
Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

Parameterized Models for Distributed Java Objects.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Model Generation for Distributed Java Programs.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

A Front-End Generator for Verification Tools.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Verification of Communicating Processes by Means of Automata Reduction and Abstraction.
Proceedings of the STACS 92, 1992

Specification and Verification of a Sliding Window Protocol in LOTOS.
Proceedings of the Formal Description Techniques, 1991

Tool Demonstration: Tools for Process Algebras.
Proceedings of the Formal Description Techniques, 1991

Finiteness Conditions and Structural Construction of Automata for All Process Algebras.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks.
Proceedings of the Formal Description Techniques, 1989

Un système d'aide à la preuve de compilateurs.
Proceedings of the International Symposium on Programming, 1984