Search the dblp DataBase

Publications of Author

1. Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
   Parallelising Symbolic State-Space Generators. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:268-280 [Conf]
   
2. Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
   Can Saturation Be Parallelised? [Citation Graph (0, 0)][DBLP]
   FMICS/PDMC, 2006, pp:331-346 [Conf]
   
3. 
   Combining fault injection and model checking to verify fault tolerance in multi-agent systems. [Citation Graph (, )][DBLP]
   
   
4. 
   An Automated Approach to Verifying Diagnosability in Multi-agent Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Measuring and Evaluating Parallel State-Space Exploration Algorithms. [Citation Graph (, )][DBLP]