| 2009 |
|---|
| 17 | EE | 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 |
|---|
| 16 | EE | Markus Lumpe,
Eric Madelaine:
Preface.
Electr. Notes Theor. Comput. Sci. 215: 1-3 (2008) |
| 2007 |
|---|
| 15 | EE | 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 |
| 14 | EE | Denis Caromel,
Ludovic Henrio,
Eric Madelaine:
Active Objects and Distributed Components: Theory and Implementation.
FMCO 2007: 133-152 |
| 13 | EE | Solange Ahumada,
Ludovic Apvrille,
Tomás Barros,
Antonio Cansado,
Eric Madelaine,
Emil Salageanu:
Specifying Fractal and GCM Components with UML.
SCCC 2007: 53-62 |
| 12 | EE | 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) |
| 2006 |
|---|
| 11 | EE | Tomás Barros,
Ludovic Henrio,
Eric Madelaine:
Verification of Distributed Hierarchical Components.
Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006) |
| 2005 |
|---|
| 10 | EE | Tomás Barros,
Ludovic Henrio,
Eric Madelaine:
Behavioural Models for Hierarchical Components.
SPIN 2005: 154-168 |
| 2004 |
|---|
| 9 | EE | Tomás Barros,
Rabéa Boulifa,
Eric Madelaine:
Parameterized Models for Distributed Java Objects.
FORTE 2004: 43-60 |
| 8 | EE | Isabelle Attali,
Tomás Barros,
Eric Madelaine:
Parameterized Specification and Verification of the Chilean Electronic Invoices System.
SCCC 2004: 14-25 |
| 2003 |
|---|
| 7 | EE | Rabéa Boulifa,
Eric Madelaine:
Model Generation for Distributed Java Programs.
FIDJI 2003: 139-152 |
| 1995 |
|---|
| 6 | | Rance Cleaveland,
Eric Madelaine,
Steve Sims:
A Front-End Generator for Verification Tools.
TACAS 1995: 153-173 |
| 1992 |
|---|
| 5 | | Eric Madelaine,
Didier Vergamini:
Verification of Communicating Processes by Means of Automata Reduction and Abstraction.
STACS 1992: 613-614 |
| 1991 |
|---|
| 4 | | Eric Madelaine,
Didier Vergamini:
Tool Demonstration: Tools for Process Algebras.
FORTE 1991: 463-466 |
| 3 | | Eric Madelaine,
Didier Vergamini:
Specification and Verification of a Sliding Window Protocol in LOTOS.
FORTE 1991: 495-510 |
| 1990 |
|---|
| 2 | | Eric Madelaine,
Didier Vergamini:
Finiteness Conditions and Structural Construction of Automata for All Process Algebras.
CAV 1990: 353-363 |
| 1989 |
|---|
| 1 | | Eric Madelaine,
Didier Vergamini:
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks.
FORTE 1989: 61-66 |
