Research

My research interests are quite broad covering software engineering, multi-agent systems, machine learning, automated verification, and parallel algorithms.

Projects

I have recently completed a project on the verification of multi-agent systems using the model checker MCMAS with Dr Alessio Lomuscio. funded by the EPSRC project "Methods of reliability-control for autonomous underwater vehicles". I collaborated with Professor Sandor Veres and Dr Levente Molnar of the Southampton University School of Engineering Sciences to verify the control system of an autonomous underwater submarine at the National Oceanography Centre.

Previously I worked with Dr Gerald Luettgen, on the EPSRC project "New-generation symbolic model checkers for verifying asynchronous systems". I completed my PhD at the University of York under Gerald's supervision, during which time I conducted collaborative research at the University of California Riverside and the National Institute of Aerospace (affiliated to NASA Langley Research Center). My thesis focus was parallelising symbolic state-space generation algorithms on shared memory architectures.

Progam Committee Membership and Reviewing

Reviewer IEEE Transactions on Parallel and Distributed Systems
Program Committee Member, The Twenty-second International Joint Conference on Artificial Intelligence (IJCAI-11), July 2011, Barcelona, Spain.
Non PC-Reviewer, The 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), September 2009, Milan, Italy.
Non PC-Reviewer, 3rd International Workshop on Systems Software Verification (SSV 08), February 2008, Sydney, Australia.

Journal and Conference Publications

Jonathan Ezekiel, Alessio Lomuscio., Levente Molnar, Sandor Veres, Miles Pebody. Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle. The Twenty-second International Joint Conference on Artificial Intelligence (IJCAI-11) July 16, 2011. Barcelona, Spain. To Appear

Jonathan Ezekiel, Gerald Luettgen, and Radu Siminiceanu. To Parallelise or To Optimise? Journal of Logic and Computation, Volume 21, Issue 1, pp. 85-120. Oxford Journals. 2011

Jonathan Ezekiel and Alessio Lomuscio. A methodology for automatic diagnosability analysis. 12th International Conference on Formal Engineering Methods, (ICFEM 2010), Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science 6447 pp 549-564 Springer 2010

Jonathan Ezekiel and Alessio Lomuscio. An automated approach to verifying diagnosability in multi-agent systems. Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM09). Hanoi, Vietnam. pp 51-60. IEEE Press. 2009

Jonathan Ezekiel and Alessio Lomuscio. Combining fault injection and model checking to verify fault tolerance in multi-agent systems. Proceedings of the 8th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS09). Budapest, Hungary. pp 113-120. IFAAMAS Press. 2009

Jonathan Ezekiel and Gerald Luettgen. Measuring and evaluating parallel state-space exploration algorithms. In 6th Intl. Workshop on Parallel and Distributed Methods in Verification (PDMC 2007), vol. 198(1) of Electronic Notes in Theoretical Computer Science, pp. 47-61, Berlin, Germany. Elsevier Science. 2008

Jonathan Ezekiel, Gerald Luettgen and Gianfranco Ciardo. Parallelising symbolic state-space generators. In 19th Intl. Conf. on Computer Aided Verification (CAV 2007), vol. 4590 of Lecture Notes in Computer Science, pp. 268-280, Berlin, Germany, Springer-Verlag. 2007

Jonathan Ezekiel, Gerald Luettgen and Radu Siminiceanu. Can Saturation be parallelised? On the parallelisation of a symbolic state-space generator. In 5th Intl. Workshop on Parallel and Distributed Methods in Verification (PDMC 2006), vol. 4346 of Lecture Notes in Computer Science, pp. 331-346, Bonn, Germany, Springer-Verlag. 2006

Technical Reports

Levente Molnar, Jonathan Ezekiel, Sandor Veres, Alessio Lomuscio., Miles Pebody Formal Verification of the Autosub Autonomous Underwater Vehicle: a Case Study. Southampton, GB, Engineering and Physical Sciences Research Council

Jonathan Ezekiel, Gerald Luettgen and Radu Siminiceanu. An anticipated firing Saturation algorithm for shared-memory architectures. Technical Report YCS-2007-422, Department of Computer Science, University of York, England, November 2007

Jonathan Ezekiel, Gerald Luettgen and Radu Siminiceanu. A parallel saturation algorithm on shared memory architectures. Technical Report 2007-01, National Institute of Aerospace, Virginia, January 2007.