Houda Bel Mokadem

According to our database, Houda Bel Mokadem authored at least 4 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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

2006

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

Houda Bel Mokadem

PhD thesis, 2006

Timed Temporal Logics for Abstracting Transient States.

Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

A New Modality for Almost Everywhere Properties in Timed Automata.

Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005