Jonathan Ezekiel

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 1

Top Topics

Formal Specification

Fault Injection

Top Venues

Publications

Jonathan Ezekiel, Andrea Lomuscio
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. Inf. Comput. 254 (2017)
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
To Parallelize or to Optimize? J. Log. Comput. 21 (1) (2011)
Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. IJCAI (2011)
Jonathan Ezekiel, Alessio Lomuscio
A Methodology for Automatic Diagnosability Analysis. ICFEM (2010)
Jonathan Ezekiel, Alessio Lomuscio
An Automated Approach to Verifying Diagnosability in Multi-agent Systems. SEFM (2009)
Jonathan Ezekiel, Alessio Lomuscio
Combining fault injection and model checking to verify fault tolerance in multi-agent systems. AAMAS (1) (2009)
Jonathan Ezekiel, Gerald Lüttgen
Measuring and Evaluating Parallel State-Space Exploration Algorithms. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
Parallelising Symbolic State-Space Generators. CAV (2007)
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
Can Saturation Be Parallelised? FMICS/PDMC (2006)