A New Modality for Almost Everywhere Properties in Timed Automata. - Houda Bel Mokadem; Béatrice Bérard; Patricia Bouyer; François Laroussinie (CONCUR, 2005)

Timed Temporal Logics for Abstracting Transient States. - Houda Bel Mokadem; Béatrice Bérard; Patricia Bouyer; François Laroussinie (ATVA, 2006)

Vérification des propriétés temporisées des automates programmables industriels. (Verification of timed properties of programmable logic controllers). - Houda Bel Mokadem (2006)

Verification of a Timed Multitask System With Uppaal. - Houda Bel Mokadem; Béatrice Bérard; V. Gourcuff; O. De Smet; J. Roussel (IEEE Trans Autom. Sci. Eng., 2010)