Joël Ouaknine
Author
Alternate names Joël Ouaknine, J. Ouaknine, Jöel Ouaknine, Joel Ouaknine
Past institutions Max Planck Institute for Software Systems, University of Oxford, Science Oxford, Max Planck Society, Saarland University +5 more
ORCID: Yes
H-index: 38
I10-index: 92
Works count: 281
Citations count: 4,426
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
2003 · Edmund M. Clarke, Ansgar Fehnker, et al. · International Journal of Foundations of Computer Science
Some Recent Results in Metric Temporal Logic
2008 · Joël Ouaknine, James Worrell · Lecture notes in computer science