 | 2009 |
|---|
| 6 |       | 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 |
| 5 | | Dan Dobre,
Matthias Majuntke,
Marco Serafini,
Neeraj Suri:
Efficient Robust Storage Using Secret Tokens.
SSS 2009: 269-283 |
| 2007 |
|---|
| 4 | | Marco Serafini,
Neeraj Suri,
Jonny Vinter,
Astrit Ademaj,
Wolfgang Brandstatter,
Fulvio Tagliabo,
Jens Koch:
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
DSN 2007: 164-174 |
| 3 | | 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 |
| 2 | | Marco Serafini,
Neeraj Suri:
The Fail-Heterogeneous Architectural Model.
SRDS 2007: 103-113 |
| 1 | | Marco Serafini,
Andrea Bondavalli,
Neeraj Suri:
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
IEEE Trans. Dependable Sec. Comput. 4(4): 295-312 (2007) |
