TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 13.

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

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

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

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; 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
[ Konferenzveröffentlichung] , (2009)

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

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

Serafini, Marco ; Suri, Neeraj :
Reducing the Costs of Large-Scale BFT Replication.
Proc. of Large-Scale Distributed Systems and Middleware (LADIS)
[ Konferenzveröffentlichung] , (2008)

Serafini, Marco ; Suri, Neeraj ; 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) S. 295-312.
[Artikel] , (2007)

Serafini, Marco ; Bondavalli, Andrea ; 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) S. 295-312.
[Artikel] , (2007)

Serafini, Marco ; Suri, Neeraj :
The Fail-Heterogeneous Architectural Model.
Proc. of the IEEE Int'l Symp. on Reliable Distributed Systems (SRDS)
[ Konferenzveröffentlichung] , (2007)

Bokor, Peter ; Serafini, Marco ; Sisak, Aron ; Pataricza, András ; 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
[ Konferenzveröffentlichung] , (2007)

Serafini, Marco ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; 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)
[ Konferenzveröffentlichung] , (2007)

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

Diese Liste wurde am Thu Mar 21 14:48:55 2019 CET generiert.