 | 2009 |
|---|
| 7 |       | 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) |
| 2007 |
|---|
| 6 | | Solange Ahumada,
Ludovic Apvrille,
Tomás Barros,
Antonio Cansado,
Eric Madelaine,
Emil Salageanu:
Specifying Fractal and GCM Components with UML.
SCCC 2007: 53-62 |
| 5 | | 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 |
|---|
| 4 | | Tomás Barros,
Ludovic Henrio,
Eric Madelaine:
Verification of Distributed Hierarchical Components.
Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006) |
| 2005 |
|---|
| 3 | | Tomás Barros,
Ludovic Henrio,
Eric Madelaine:
Behavioural Models for Hierarchical Components.
SPIN 2005: 154-168 |
| 2004 |
|---|
| 2 | | Tomás Barros,
Rabéa Boulifa,
Eric Madelaine:
Parameterized Models for Distributed Java Objects.
FORTE 2004: 43-60 |
| 1 | | Isabelle Attali,
Tomás Barros,
Eric Madelaine:
Parameterized Specification and Verification of the Chilean Electronic Invoices System.
SCCC 2004: 14-25 |
