 | 2010 |
|---|
| 9 |       | Antonio Cansado,
Ludovic Henrio,
Eric Madelaine:
Transparent First-class Futures and Distributed Components.
Electr. Notes Theor. Comput. Sci. 260: 155-171 (2010) |
| 8 | | 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) |
| 7 | | Antonio Cansado,
Carlos Canal,
Gwen Salaün,
Javier Cubo:
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation.
Electr. Notes Theor. Comput. Sci. 263: 95-110 (2010) |
| 2009 |
|---|
| 6 | | 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 | | Antonio Cansado,
Eric Madelaine:
Specification and Verification for Grid Component-Based Applications: From Models to Tools.
FMCO 2008: 180-203 |
| 4 | | Antonio Cansado,
Alvaro Soto:
Unsupervised Anomaly Detection in Large Databases Using Bayesian Networks.
Applied Artificial Intelligence 22(4): 309-330 (2008) |
| 2007 |
|---|
| 3 | | 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 | | 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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page