Houda Bel Mokadem

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Houda Bel Mokadem, Béatrice Bérard, V. Gourcuff, O. De Smet, J. Roussel
Verification of a Timed Multitask System With Uppaal. IEEE Trans Autom. Sci. Eng. 7 (4) (2010)
Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
Timed Temporal Logics for Abstracting Transient States. ATVA (2006)
Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
A New Modality for Almost Everywhere Properties in Timed Automata. CONCUR (2005)