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