Jonathan Ezekiel

According to our database, Jonathan Ezekiel authored at least 9 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems.

Jonathan Ezekiel, Andrea Lomuscio

Inf. Comput., 2017

2011

To Parallelize or to Optimize?

Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu

J. Log. Comput., 2011

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.

Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres

Proceedings of the IJCAI 2011, 2011

2010

A Methodology for Automatic Diagnosability Analysis.

Jonathan Ezekiel, Alessio Lomuscio

Proceedings of the Formal Methods and Software Engineering, 2010

2009

An Automated Approach to Verifying Diagnosability in Multi-agent Systems.

Jonathan Ezekiel, Alessio Lomuscio

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Combining fault injection and model checking to verify fault tolerance in multi-agent systems.

Jonathan Ezekiel, Alessio Lomuscio

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2007

Measuring and Evaluating Parallel State-Space Exploration Algorithms.

Jonathan Ezekiel, Gerald Lüttgen

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Parallelising Symbolic State-Space Generators.

Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Can Saturation Be Parallelised?

Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu

Proceedings of the Formal Methods: Applications and Technology, 2006