1

S. Ahumada, L. Apvrille, T. Barros, A. Cansado, E. Madelaine, and E. Salageanu.
Specifying Fractal and GCM Components With UML.
In XXVI Inter.Conf. of the Chilean Computer Science Society(SCCC'07), Chile, Nov. 2007. IEEE.

2

T. Barros, R. Boulifa, A. Cansado, L. Henrio, and E. Madelaine.
Behavioural models for distributed Fractal components.
Annals of Telecommunications, accepted for publication, 2008.
also Research Report INRIA RR-6491.

3

T. Barros, A. Cansado, E. Madelaine, and M. Rivera.
Model checking distributed components : The Vercors platform.
In workshop on Formal Aspects of Component Systems, Prague, Czech Republic, Sep 2006. ENTCS.

4

A. Cansado, D. Caromel, L. Henrio, E. Madelaine, M. Rivera, and E. Salageanu.
A Specification Language for Distributed Components implemented in GCM/ProActive.
Lecture Notes in Computer Science. Springer, Apr. 2008.

5

A. Cansado, L. Henrio, and E. Madelaine.
Towards real case component model-checking.
In Fractal Workshop, Nantes, France, Jul 2006.

6

A. Cansado, L. Henrio, and E. Madelaine.
Transparent first-class futures and distributed components.
In Workshop on Formal Aspects of Component Systems, Málaga, Spain, Sep 2008. ENTCS.

7

A. Cansado, L. Henrio, and E. Madelaine.
Unifying architectural and behavioural descriptions of distributed components.
In Workshop on Formal Aspects of Component Systems, Málaga, Spain, Sep 2008. ENTCS.

8

A. Cansado and A. Soto.
Unsupervised anomaly detection using bayesian networks and gaussian mixture models.
In Journal on Applied Artificial Intelligence, 2008.

9

M. Carrasco, A. Cansado, and A. Soto.
Detección de patrones de fallas utilizando técnicas de análisis no supervisado.
In XIII Encuentro Chileno de Computación (ECC2005), Universidad Austral de Chile, Valdivia, Chile, Nov 2005.

10

A. Soto, A. Cansado, and F. Zavala.
Detection of rare objects in massive astrophysical data sets using innovative knowledge discovery technology.
In Astronomical Data Analysis Software & Systems Conf. Series, ADASS, 2004.