A Delayed Checkpoint Approach for Communication-Induced Checkpointing in Autonomic Computing. - Alberto Calixto Simon; Saúl E. Pomares Hernández; Jose Roberto Perez Cruz (WETICE, 2013)

A Scalable Communication-Induced Checkpointing Algorithm for Distributed Systems. - Alberto Calixto Simon; Saúl E. Pomares Hernández; Jose Roberto Perez Cruz; Pilar Gómez-Gil; Khalil Drira (IEICE Trans. Inf. Syst., 2013)

A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Cédric Eichler; Ahmed Hadj Kacem; Alberto Calixto Simon (WETICE, 2014)

Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing. - Alberto Calixto Simon; Saúl E. Pomares Hernández; Jose Roberto Perez Cruz; Riadh Ben Halima; Hatem Hadj Kacem (Int. J. Auton. Adapt. Commun. Syst., 2016)

An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem; Cédric Eichler; Alberto Calixto Simon (J. Syst. Softw., 2016)