Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Eric Madelaine
2010 – today
- 2011
[c16]Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine: Verifying Safety of Fault-Tolerant Distributed Components. FACS 2011: 278-295- 2010
- [j6]Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela: Unifying Architectural and Behavioural Specifications of Distributed Components. Electr. Notes Theor. Comput. Sci. 260: 25-45 (2010)
- [j5]Antonio Cansado, Ludovic Henrio, Eric Madelaine: Transparent First-class Futures and Distributed Components. Electr. Notes Theor. Comput. Sci. 260: 155-171 (2010)
- [c15]Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine: Behavioural Models for Group Communications. WCSI 2010: 42-56
2000 – 2009
- 2009
- [j4]Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine: Behavioural models for distributed Fractal components. Annales des Télécommunications 64(1-2): 25-43 (2009)
- 2008
- [j3]
- [c14]Antonio Cansado, Eric Madelaine: Specification and Verification for Grid Component-Based Applications: From Models to Tools. FMCO 2008: 180-203
- 2007
- [j2]Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera: Model-checking Distributed Components: The Vercors Platform. Electr. Notes Theor. Comput. Sci. 182: 3-16 (2007)
- [c13]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
- [c12]Denis Caromel, Ludovic Henrio, Eric Madelaine: Active Objects and Distributed Components: Theory and Implementation. FMCO 2007: 133-152
- [c11]Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu: Specifying Fractal and GCM Components with UML. SCCC 2007: 53-62
- 2006
- [j1]Tomás Barros, Ludovic Henrio, Eric Madelaine: Verification of Distributed Hierarchical Components. Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006)
- 2005
- [c10]Tomás Barros, Ludovic Henrio, Eric Madelaine: Behavioural Models for Hierarchical Components. SPIN 2005: 154-168
- 2004
- [c9]Tomás Barros, Rabéa Boulifa, Eric Madelaine: Parameterized Models for Distributed Java Objects. FORTE 2004: 43-60
- [c8]Isabelle Attali, Tomás Barros, Eric Madelaine: Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC 2004: 14-25
- 2003
- [c7]
1990 – 1999
- 1995
- [c6]Rance Cleaveland, Eric Madelaine, Steve Sims: A Front-End Generator for Verification Tools. TACAS 1995: 153-173
- 1992
- [c5]Eric Madelaine, Didier Vergamini: Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS 1992: 613-614
- 1991
- [c4]Eric Madelaine, Didier Vergamini: Tool Demonstration: Tools for Process Algebras. FORTE 1991: 463-466
- [c3]Eric Madelaine, Didier Vergamini: Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE 1991: 495-510
- 1990
- [c2]Eric Madelaine, Didier Vergamini: Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV 1990: 353-363
1980 – 1989
- 1989
- [c1]Eric Madelaine, Didier Vergamini: AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE 1989: 61-66
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-01 22:59 CET by the dblp team