Houda Bel Mokadem

	2010
3		Houda Bel Mokadem, Béatrice Bérard, V. Gourcuff, O. De Smet, J. Roussel: Verification of a Timed Multitask System With Uppaal. IEEE T. Automation Science and Engineering 7(4): 921-932 (2010)
	2006
2		Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: Timed Temporal Logics for Abstracting Transient States. ATVA 2006: 337-351
	2005
1		Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: A New Modality for Almost Everywhere Properties in Timed Automata. CONCUR 2005: 110-124

Coauthor Index

1	Béatrice Bérard	[1] [2] [3]
2	Patricia Bouyer (Patricia Bouyer-Decitre)	[1] [2]
3	V. Gourcuff	[3]
4	François Laroussinie	[1] [2]
5	J. Roussel	[3]
6	O. De Smet	[3]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page