| 2009 | ||
|---|---|---|
| 4 | Jonathan Ezekiel, Alessio Lomuscio: Combining fault injection and model checking to verify fault tolerance in multi-agent systems. AAMAS (1) 2009: 113-120 | |
| 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 | |
| 1 | Gianfranco Ciardo | [2] |
| 2 | Alessio Lomuscio | [4] |
| 3 | Gerald Lüttgen | [1] [2] [3] |
| 4 | Radu Siminiceanu | [1] |