Jonathan Ezekiel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2006–2011
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | IJCAI | Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. | Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres |
| 2010 | ICFEM | A Methodology for Automatic Diagnosability Analysis. | Jonathan Ezekiel, Alessio Lomuscio |
| 2009 | SEFM | An Automated Approach to Verifying Diagnosability in Multi-agent Systems. | Jonathan Ezekiel, Alessio Lomuscio |
| 2007 | CAV | Parallelising Symbolic State-Space Generators. | Jonathan Ezekiel, Gerald Lttgen, Gianfranco Ciardo |
| 2006 | FMICS | Can Saturation Be Parallelised? | Jonathan Ezekiel, Gerald Lttgen, Radu Siminiceanu |