Houda Bel Mokadem

Statistics

Publications

Citations

H-Index

Active since

2006

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Laboratoire Spécification et Vérification

Houda Bel Mokadem is an author at École Normale Supérieure Paris-Saclay specializing in computer engineering, automated reasoning, and system software.

Top concepts

AutomationEngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisReal-time SystemsSoftware AnalysisAutomated Reasoning

Publications per year

2006–2010

Publications

Verification of a Timed Multitask System With Uppaal

Houda Bel Mokadem, Béatrice Bérard, Vincent Gourcuff et al. · IEEE Transactions on Automation Science and Engineering · 2010 · 50 citations · Full text

Verification of a timed multitask system with UPPAAL

Houda Bel Mokadem, Béatrice Bérard, Vincent Gourcuff · 2006 · 49 citations · Full text

Engineering, Real-time System Design, Verification +20

1–2 of 2