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. Journal of Systems and Software, 122:364-377, 2016. [doi]
Abstract is missing.