| * | 2009 |
|---|
| 6 | 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 |
|---|
| 5 | EE | Antonio Cansado,
Eric Madelaine:
Specification and Verification for Grid Component-Based Applications: From Models to Tools.
FMCO 2008: 180-203 |
| 4 | EE | Antonio Cansado,
Alvaro Soto:
Unsupervised Anomaly Detection in Large Databases Using Bayesian Networks.
Applied Artificial Intelligence 22(4): 309-330 (2008) |
| 2007 |
|---|
| 3 | 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 |
| 2 | 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 |
| 1 | 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) |
