Statistics
Publications
3
Citations
103
H-Index
3
Active since
2011
Hilal Djafri is an author at École Normale Supérieure Paris-Saclay specializing in hybrid automata, automata theory, and stochastic petri nets.
Publications per year
2011–2011
3
3
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic
Paolo Ballarini, Hilal Djafri, Marie Duflot et al. · 2011 · 56 citations
HASL: an Expressive Language for Statistical Verification of Stochastic Models
Paolo Ballarini, Hilal Djafri, Marie Duflot et al. · 2011 · 32 citations · Full text
1–3 of 3