 | 2011 |
|---|
| 8 |       | Jonathan Ezekiel,
Alessio Lomuscio,
Levente Molnar,
Sandor M. Veres:
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.
IJCAI 2011: 1659-1664 |
| 7 | | Jonathan Ezekiel,
Gerald Lüttgen,
Radu Siminiceanu:
To Parallelize or to Optimize?
J. Log. Comput. 21(1): 85-120 (2011) |
| 2010 |
|---|
| 6 | | Jonathan Ezekiel,
Alessio Lomuscio:
A Methodology for Automatic Diagnosability Analysis.
ICFEM 2010: 549-564 |
| 2009 |
|---|
| 5 | | Jonathan Ezekiel,
Alessio Lomuscio:
Combining fault injection and model checking to verify fault tolerance in multi-agent systems.
AAMAS (1) 2009: 113-120 |
| 4 | | Jonathan Ezekiel,
Alessio Lomuscio:
An Automated Approach to Verifying Diagnosability in Multi-agent Systems.
SEFM 2009: 51-60 |
| 2008 |
|---|
| 3 | | Jonathan Ezekiel,
Gerald Lüttgen:
Measuring and Evaluating Parallel State-Space Exploration Algorithms.
Electr. Notes Theor. Comput. Sci. 198(1): 47-61 (2008) |
| 2007 |
|---|
| 2 | | Jonathan Ezekiel,
Gerald Lüttgen,
Gianfranco Ciardo:
Parallelising Symbolic State-Space Generators.
CAV 2007: 268-280 |
| 2006 |
|---|
| 1 | | Jonathan Ezekiel,
Gerald Lüttgen,
Radu Siminiceanu:
Can Saturation Be Parallelised?
FMICS/PDMC 2006: 331-346 |
Data released under the ODC-BY 1.0 license — See also our legal information page