 | 2011 |
|---|
| 10 |       | Péter Bokor,
Johannes Kinder,
Marco Serafini,
Neeraj Suri:
Supporting domain-specific state space reductions through local partial-order reduction.
ASE 2011: 113-122 |
| 9 | | Péter Bokor,
Johannes Kinder,
Marco Serafini,
Neeraj Suri:
Efficient model checking of fault-tolerant distributed protocols.
DSN 2011: 73-84 |
| 8 | | Marco Serafini,
Péter Bokor,
Neeraj Suri,
Jonny Vinter,
Astrit Ademaj,
Wolfgang Brandstätter,
Fulvio Tagliabo,
Jens Koch:
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
IEEE Trans. Dependable Sec. Comput. 8(2): 177-193 (2011) |
| 2010 |
|---|
| 7 | | Marco Serafini,
Péter Bokor,
Dan Dobre,
Matthias Majuntke,
Neeraj Suri:
Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas.
DSN 2010: 353-362 |
| 6 | | Péter Bokor,
Marco Serafini,
Neeraj Suri:
On Efficient Models for Model Checking Message-Passing Distributed Protocols.
FMOODS/FORTE 2010: 216-223 |
| 5 | | Marco Serafini,
Dan Dobre,
Matthias Majuntke,
Péter Bokor,
Neeraj Suri:
Eventually linearizable shared objects.
PODC 2010: 95-104 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page