TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 13.

Serafini, Marco :
Efficient and Low-Cost Fault Tolerance for Web-Scale Systems.
[Online-Edition: urn:nbn:de:tuda-tuprints-22870]
TU Darmstadt
[Ph.D. Thesis], (2010)

Serafini, Marco and Bokor, Peter and Suri, Neeraj and Vinter, Jonny and Ademaj, Astrit and Brandstätter, Wolfgang and Tagliabò, Fulvio and Koch, Jens :
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions On Dependable & Secure Computing
[Article] , (2009)

Majuntke, Matthias and Dobre, Dan and Serafini, Marco and Suri, Neeraj :
Abortable Fork-Linearizable Storage.
OPODIS
[Conference or Workshop Item] , (2009)

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut :
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
DISC '09: Proceedings of the 2009 23rd Symposium on Distributed Computing Springer Berlin / Heidelberg
[Conference or Workshop Item] , (2009)

Dobre, Dan and Majuntke, Matthias and Serafini, Marco and Suri, Neeraj :
Efficient Robust Storage Using Secret Tokens.
11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
[Conference or Workshop Item] , (2009)

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut :
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Proc. of International Conference on Formal Engineering Methods (ICFEM)
[Conference or Workshop Item] , (2009)

Serafini, Marco and Suri, Neeraj :
Reducing the Costs of Large-Scale BFT Replication.
Proc. of Large-Scale Distributed Systems and Middleware (LADIS)
[Conference or Workshop Item] , (2008)

Serafini, Marco and Suri, Neeraj and Bondavalli, Andrea :
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4) pp. 295-312.
[Article] , (2007)

Serafini, Marco and Bondavalli, Andrea and Suri, Neeraj :
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4) pp. 295-312.
[Article] , (2007)

Serafini, Marco and Suri, Neeraj :
The Fail-Heterogeneous Architectural Model.
Proc. of the IEEE Int'l Symp. on Reliable Distributed Systems (SRDS)
[Conference or Workshop Item] , (2007)

Bokor, Peter and Serafini, Marco and Sisak, Aron and Pataricza, András and Suri, Neeraj :
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
HASE '07: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium IEEE Computer Society , Washington, DC, USA
[Conference or Workshop Item] , (2007)

Serafini, Marco and Suri, Neeraj and Vinter, Jonny and Ademaj, Astrit and Brandstätter, Wolfgang and Tagliabò, Fulvio and Koch, Jens :
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
Proc. of the IEEE Int'l Conf. on Dependable Systems and Networks (DSN-DCCS)
[Conference or Workshop Item] , (2007)

Bokor, Peter and Serafini, Marco :
On using abstraction to model check an on-line diagnostic protocol.
TUD, DEEDS , Darmstadt
[Report] , (2005)

This list was generated on Tue May 21 00:53:22 2019 CEST.