Antonio Cansado

According to our database, Antonio Cansado authored at least 10 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Component Reconfiguration in Presence of Mismatch.

Carlos Canal, Antonio Cansado

Informatica (Slovenia), 2011

2009

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation.

Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Behavioural models for distributed Fractal components.

Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine

Ann. des Télécommunications, 2009

2008

Unifying Architectural and Behavioural Specifications of Distributed Components.

Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Transparent First-class Futures and Distributed Components.

Antonio Cansado, Ludovic Henrio, Eric Madelaine

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Unsupervised Anomaly Detection in Large Databases Using Bayesian Networks.

Antonio Cansado, Alvaro Soto

Appl. Artif. Intell., 2008

Specification and Verification for Grid Component-Based Applications: From Models to Tools.

Antonio Cansado, Eric Madelaine

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Specifying Fractal and GCM Components with UML.

Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine, Emil Salageanu

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

A Specification Language for Distributed Components Implemented in GCM/ProActive.

Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Model-checking Distributed Components: The Vercors Platform.

Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006