Eric Madelaine

55 papers A* 1A 2B 3C 7Misc 2Journal 14Unranked 22

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