 | 2009 |
|---|
| 4 |       | Péter Bokor,
Marco Serafini,
Neeraj Suri,
Helmut Veith:
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
DISC 2009: 289-290 |
| 3 | | Péter Bokor,
Marco Serafini,
Neeraj Suri,
Helmut Veith:
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.
ICFEM 2009: 147-166 |
| 2008 |
|---|
| 2 | | Kohei Sakurai,
Péter Bokor,
Neeraj Suri:
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
HASE 2008: 261-270 |
| 2007 |
|---|
| 1 | | Péter Bokor,
Marco Serafini,
Áron Sisak,
András Pataricza,
Neeraj Suri:
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
HASE 2007: 169-178 |
