default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEric Madelaine
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j13]Rabéa Ameur-Boulifa, Ludovic Henrio
, Eric Madelaine:
Compositional equivalences based on open pNets. J. Log. Algebraic Methods Program. 131: 100842 (2023)- [c36]Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine:
Refinements for Open Automata. SEFM 2023: 11-29 - 2021
- [c35]Biyang Wang, Eric Madelaine, Min Zhang:
New Symbolic Model and Equivalences Checking for Open Automata. SMC 2021: 2360-2367 - 2020
- [j12]Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang:
SMT-based generation of symbolic automata. Acta Informatica 57(3-5): 627-656 (2020) - [j11]Vincent Kherbache, Eric Madelaine, Fabien Hermenier:
Scheduling Live Migration of Virtual Machines. IEEE Trans. Cloud Comput. 8(1): 282-296 (2020) - [c34]Zechen Hou, Eric Madelaine:
Symbolic bisimulation for open and parameterized systems. PEPM@POPL 2020: 14-26 - [i1]Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine:
Compositional equivalences based on Open pNets. CoRR abs/2007.10770 (2020)
2010 – 2019
- 2019
- [j10]Olga Kouchnarenko, Eric Madelaine:
Selected and extended papers from FACS 2016. Sci. Comput. Program. 178: 43-44 (2019) - [c33]Simon Bliudze, Ludovic Henrio, Eric Madelaine:
Verification of Concurrent Design Patterns with Data. COORDINATION 2019: 161-181 - 2018
- [j9]Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze:
Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - 2017
- [j8]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): e2 (2017) - [j7]Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu:
Behavioural semantics for asynchronous components. J. Log. Algebraic Methods Program. 89: 1-40 (2017) - [e4]Frédéric Mallet, Min Zhang, Eric Madelaine:
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1924-7 [contents] - 2016
- [j6]Eric Madelaine, Min Zhang:
Towards a bisimulation theory for open synchronized networks of automata. Sci. China Inf. Sci. 59(5): 050107:1-050107:3 (2016) - [j5]Ivan Lanese, Eric Madelaine:
Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software. Sci. Comput. Program. 127: 1 (2016) - [c32]Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine:
Integrated Environment for Verifying and Running Distributed Components. FASE 2016: 66-83 - [c31]Ludovic Henrio, Eric Madelaine, Min Zhang:
A Theory for the Composition of Concurrent Processes. FORTE 2016: 175-194 - [c30]Siqi Li, Eric Madelaine:
A Denotational Semantics for Parameterised Networks of Synchronised Automata. UTP 2016: 93-113 - 2015
- [j4]Yanwen Chen, Yixiang Chen, Eric Madelaine:
Timed-pNets: a communication behavioural semantic model for distributed systems. Frontiers Comput. Sci. 9(1): 87-110 (2015) - [j3]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): 15:1-15:17 (2015) - [c29]Nuno Gaspar, Ludovic Henrio, Eric Madelaine:
Painless Support for Static and Runtime Verification of Component-Based Applications. FSEN 2015: 259-274 - [c28]Ludovic Henrio, Eric Madelaine, Min Madelaine:
pNets: An Expressive Model for Parameterised Networks of Processes. PDP 2015: 492-496 - [c27]Vincent Kherbache, Eric Madelaine, Fabien Hermenier:
Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations. UCC 2015: 205-216 - [e3]Ivan Lanese, Eric Madelaine:
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8997, Springer 2015, ISBN 978-3-319-15316-2 [contents] - 2014
- [j2]Nuno Gaspar, Ludovic Henrio, Eric Madelaine:
Bringing Coq into the World of GCM Distributed Applications. Int. J. Parallel Program. 42(4): 643-662 (2014) - [c26]Vincent Kherbache, Eric Madelaine, Fabien Hermenier:
Planning Live-Migrations to Prepare Servers for Maintenance. Euro-Par Workshops (2) 2014: 498-507 - [c25]Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine:
Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA 2014: 69-85 - 2013
- [c24]Nuno Gaspar, Ludovic Henrio, Eric Madelaine:
Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. FACS 2013: 137-156 - 2011
- [b1]Eric Madelaine:
Specification, Model Generation, and Verification of Distributed Applications. University of Nice Sophia Antipolis, France, 2011 - [c23]Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine:
Verifying Safety of Fault-Tolerant Distributed Components. FACS 2011: 278-295 - 2010
- [c22]Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine:
Behavioural Models for Group Communications. WCSI 2010: 42-56
2000 – 2009
- 2009
- [j1]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): 25-43 (2009) - [e2]Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine:
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Lecture Notes in Computer Science 5751, Springer 2009, ISBN 978-3-642-04166-2 [contents] - 2008
- [c21]Antonio Cansado, Eric Madelaine:
Specification and Verification for Grid Component-Based Applications: From Models to Tools. FMCO 2008: 180-203 - [c20]Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela:
Unifying Architectural and Behavioural Specifications of Distributed Components. FACS 2008: 25-45 - [c19]Antonio Cansado, Ludovic Henrio, Eric Madelaine:
Transparent First-class Futures and Distributed Components. FACS 2008: 155-171 - [e1]Markus Lumpe, Eric Madelaine:
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007. Electronic Notes in Theoretical Computer Science 215, Elsevier 2008 [contents] - 2007
- [c18]Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu:
A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME 2007: 418-448 - [c17]Denis Caromel, Ludovic Henrio, Eric Madelaine:
Active Objects and Distributed Components: Theory and Implementation. FMCO 2007: 133-152 - [c16]Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu:
Specifying Fractal and GCM Components with UML. SCCC 2007: 53-62 - [c15]Markus Lumpe, Eric Madelaine:
Preface. FACS 2007: 1-3 - 2006
- [c14]Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera:
Model-checking Distributed Components: The Vercors Platform. FACS 2006: 3-16 - 2005
- [c13]Tomás Barros, Ludovic Henrio, Eric Madelaine:
Behavioural Models for Hierarchical Components. SPIN 2005: 154-168 - [c12]Tomás Barros, Ludovic Henrio, Eric Madelaine:
Verification of Distributed Hierarchical Components. FACS 2005: 41-55 - 2004
- [c11]Tomás Barros, Rabéa Boulifa, Eric Madelaine:
Parameterized Models for Distributed Java Objects. FORTE 2004: 43-60 - [c10]Isabelle Attali, Tomás Barros, Eric Madelaine:
Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC 2004: 14-25 - 2003
- [c9]Rabéa Boulifa, Eric Madelaine:
Model Generation for Distributed Java Programs. FIDJI 2003: 139-152
1990 – 1999
- 1995
- [c8]Rance Cleaveland, Eric Madelaine, Steve Sims:
A Front-End Generator for Verification Tools. TACAS 1995: 153-173 - 1992
- [c7]Eric Madelaine, Didier Vergamini:
Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS 1992: 613-614 - 1991
- [c6]Eric Madelaine, Didier Vergamini:
Tool Demonstration: Tools for Process Algebras. FORTE 1991: 463-466 - [c5]Eric Madelaine, Didier Vergamini:
Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE 1991: 495-510 - 1990
- [c4]Eric Madelaine, Didier Vergamini:
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV 1990: 353-363 - [c3]Eric Madelaine, Didier Vergamini:
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV (DIMACS/AMS volume) 1990: 275-292
1980 – 1989
- 1989
- [c2]Eric Madelaine, Didier Vergamini:
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE 1989: 61-66 - 1984
- [c1]Eric Madelaine:
Un système d'aide à la preuve de compilateurs. Symposium on Programming 1984: 191-205
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-19 20:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
