Model-checking Distributed Components: The Vercors Platform. - Tomás Barros; Antonio Cansado; Eric Madelaine; Marcela Rivera (FACS, 2006)

A Specification Language for Distributed Components Implemented in GCM/ProActive. - Antonio Cansado; Denis Caromel; Ludovic Henrio; Eric Madelaine; Marcela Rivera; Emil Salageanu (CoCoME, 2007)

Specifying Fractal and GCM Components with UML. - Solange Ahumada; Ludovic Apvrille; Tomás Barros; Antonio Cansado; Eric Madelaine; Emil Salageanu (SCCC, 2007)

Specification and Verification for Grid Component-Based Applications: From Models to Tools. - Antonio Cansado; Eric Madelaine (FMCO, 2008)

Unsupervised Anomaly Detection in Large Databases Using Bayesian Networks. - Antonio Cansado; Alvaro Soto (Appl. Artif. Intell., 2008)

Transparent First-class Futures and Distributed Components. - Antonio Cansado; Ludovic Henrio; Eric Madelaine (FACS, 2008)

Unifying Architectural and Behavioural Specifications of Distributed Components. - Antonio Cansado; Ludovic Henrio; Eric Madelaine; Pablo Valenzuela (FACS, 2008)

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)

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. - Antonio Cansado; Carlos Canal; Gwen Salaün; Javier Cubo (FACS@FMWeek, 2009)

Component Reconfiguration in Presence of Mismatch. - Carlos Canal; Antonio Cansado (Informatica (Slovenia), 2011)