Can Saturation Be Parallelised? - Jonathan Ezekiel; Gerald Lüttgen; Radu Siminiceanu (FMICS/PDMC, 2006)

Parallelising Symbolic State-Space Generators. - Jonathan Ezekiel; Gerald Lüttgen; Gianfranco Ciardo (CAV, 2007)

Measuring and Evaluating Parallel State-Space Exploration Algorithms. - Jonathan Ezekiel; Gerald Lüttgen (PDMC@CAV, 2007)

Combining fault injection and model checking to verify fault tolerance in multi-agent systems. - Jonathan Ezekiel; Alessio Lomuscio (AAMAS (1), 2009)

An Automated Approach to Verifying Diagnosability in Multi-agent Systems. - Jonathan Ezekiel; Alessio Lomuscio (SEFM, 2009)

A Methodology for Automatic Diagnosability Analysis. - Jonathan Ezekiel; Alessio Lomuscio (ICFEM, 2010)

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. - Jonathan Ezekiel; Alessio Lomuscio; Levente Molnar; Sandor M. Veres (IJCAI, 2011)

To Parallelize or to Optimize? - Jonathan Ezekiel; Gerald Lüttgen; Radu Siminiceanu (J. Log. Comput., 2011)

Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. - Jonathan Ezekiel; Andrea Lomuscio (Inf. Comput., 2017)