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)

A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (WETICE, 2015)

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)

A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (AICCSA, 2017)

Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ojilvie Avila-Cortés (ISCC, 2023)

MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández (TACC, 2023)

Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects. - Houda Khlif; Hatem Hadj Kacem; Ojilvie Avila-Cortés; Saúl E. Pomares Hernández; Julio Cesar Perez Sansalvador; Lil María Rodríguez-Henríquez (WETICE, 2023)