A hybrid message logging-CIC protocol for constrained checkpointability

GCM: a grid extension to Fractal for autonomous distributed components
Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, Vladimir, Henrio, L. and Pérez, C. 2009. GCM: a grid extension to Fractal for autonomous distributed components. Annals of Telecommunications. 64 (1-2), pp. 5-24. https://doi.org/10.1007/s12243-008-0068-8

Dynamic reconfiguration of GCM components
Basso, A., Bolotov, A., Getov, Vladimir and Henrio, L. 2008. Dynamic reconfiguration of GCM components. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0173

Proceedings of the CoreGRID Workshop on Grid Systems, Tools and Environments, 1st December 2006, Sophia-Antipolis, France
Badia, R.M., Baude, F., Getov, Vladimir, Kielmann, T. and Taylor, I. 2007. Proceedings of the CoreGRID Workshop on Grid Systems, Tools and Environments, 1st December 2006, Sophia-Antipolis, France. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0103

Design support for componentising and grid-enabling scientific applications
Parlavantzas, N., Getov, Vladimir, Morel, M., Baude, F. and Caromel, D. 2007. Design support for componentising and grid-enabling scientific applications. in: Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing New York, NY, USA ACM. pp. 31-38

Verification of distributed hierarchical components
Barros, T., Henrio, L. and Madelaine, E. 2006. Verification of distributed hierarchical components. Electronic Notes in Theoretical Computer Science. 160, pp. 41-55. https://doi.org/10.1016/j.entcs.2006.05.014

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0042

Componentising a scientific application for the grid
Parlavantzas, N., Morel, M., Baude, F., Huet, F., Caromel, D. and Getov, Vladimir 2006. Componentising a scientific application for the grid. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0031

Lightweight grid platform: design methodology
Badia, R.M., Beckmann, O., Bubak, M., Caromel, D., Getov, Vladimir, Henrio, L., Isaiadis, S., Lazarov, V., Malawski, M., Panagiotidi, S., Parlavantzas, N. and Thiyagalingam, J. 2006. Lightweight grid platform: design methodology. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0020

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 450-455

A theory of distributed objects: asynchrony, mobility, groups, components
Caromel, D. and Ludovic, H. 2005. A theory of distributed objects: asynchrony, mobility, groups, components. Berlin, Germany Springer.

Behavioural models for hierarchical components
Barros, T., Henrio, L. and Madelaine, E. 2005. Behavioural models for hierarchical components. in: Model checking software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, proceedings Berlin, Germany Springer.

Towards automatic creation of Web services for Grid component composition
Dunnweber, J., Gorlatch, S., Baude, F., Legrand, V. and Parlavantzas, N. 2002. Towards automatic creation of Web services for Grid component composition. in: Gorlatch, S. and Danelutto, M. (ed.) Integrated research in GRID computing Berlin, Germany Springer.