Antonio Cansado

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Carlos Canal, Antonio Cansado
Component Reconfiguration in Presence of Mismatch. Informatica (Slovenia) 35 (1) (2011)
Antonio Cansado, Ludovic Henrio, Eric Madelaine
Transparent First-class Futures and Distributed Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Electron. Notes Theor. Comput. Sci. 263 (2010)
Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela
Unifying Architectural and Behavioural Specifications of Distributed Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
Behavioural models for distributed Fractal components. Ann. des Télécommunications 64 (1-2) (2009)
Antonio Cansado, Alvaro Soto
Unsupervised Anomaly Detection in Large Databases Using Bayesian Networks. Appl. Artif. Intell. 22 (4) (2008)
Antonio Cansado, Eric Madelaine
Specification and Verification for Grid Component-Based Applications: From Models to Tools. FMCO (2008)
Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu
A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME (2007)
Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu
Specifying Fractal and GCM Components with UML. SCCC (2007)
Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
Model-checking Distributed Components: The Vercors Platform. Electron. Notes Theor. Comput. Sci. 182 (2007)