| 2007 |
|---|
| 4 | EE | 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 | EE | 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 | EE | Marco Serafini,
Neeraj Suri:
The Fail-Heterogeneous Architectural Model.
SRDS 2007: 103-113 |
| 1 | EE | 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) |
