Deutsch

Dobre, Dan ; Majuntke, Matthias ; Serafini, Marco ; Suri, Neeraj (2009)
Efficient Robust Storage Using Secret Tokens.
Konferenzveröffentlichung, Bibliographie

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Bondavalli, Andrea ; Suri, Neeraj (2007)
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4)
Artikel, Bibliographie

Bokor, Peter ; Serafini, Marco (2005)
On using abstraction to model check an on-line diagnostic protocol.
Report, Bibliographie

Englisch

Serafini, Marco ; Bokor, Peter ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2011)
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions on Dependable and Secure Computing, 8 (2)
doi: 10.1109/TDSC.2010.23
Artikel, Bibliographie

Serafini, Marco (2010)
Efficient and Low-Cost Fault Tolerance for Web-Scale Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Majuntke, Matthias ; Dobre, Dan ; Serafini, Marco ; Suri, Neeraj (2009)
Abortable Fork-Linearizable Storage.
Konferenzveröffentlichung, Bibliographie

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Suri, Neeraj (2008)
Reducing the Costs of Large-Scale BFT Replication.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Suri, Neeraj ; Bondavalli, Andrea (2007)
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4)
Artikel, Bibliographie

Serafini, Marco ; Suri, Neeraj (2007)
The Fail-Heterogeneous Architectural Model.
Konferenzveröffentlichung, Bibliographie

Bokor, Peter ; Serafini, Marco ; Sisak, Aron ; Pataricza, András ; Suri, Neeraj (2007)
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2007)
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
Konferenzveröffentlichung, Bibliographie