Houda Khlif

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 6

Top Topics

Temporal Behavior

Graph Transformation

Distributed Systems

Natural Phenomena

Top Venues

J. Syst. Softw.

Publications

Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ojilvie Avila-Cortés
Spatio-temporal Behavior in Cyber-Physical Systems from a Natural Phenomena Perspective. ISCC (2023)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández
MCSR: A graph transformation based approach for Minimal and Compact Set Representation of Causal Dependencies in Distributed Systems. TACC (2023)
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
Unraveling Spatio-Temporal Behavior in Collaborative Cyber-Physical Systems Inspired by Social Insects. WETICE (2023)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. AICCSA (2017)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simon
An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. J. Syst. Softw. 122 (2016)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. WETICE (2015)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. WETICE (2014)