Marco Serafini

Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Adam Silberstein: Shepherding social feed generation with Sheep. SNS 2012: 7

Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber: Social piggybacking: leveraging common friends to generate event streams. SNS 2012: 8

Flavio Junqueira, Marco Serafini: Brief Announcement: Consensus and Efficient Passive Replication. DISC 2012: 425-426

Marco Serafini, Péter Bokor, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch: Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems. IEEE Trans. Dependable Sec. Comput. 8(2): 177-193 (2011)

Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri: Efficient model checking of fault-tolerant distributed protocols. DSN 2011: 73-84

Flavio Paiva Junqueira, Benjamin C. Reed, Marco Serafini: Zab: High-performance broadcast for primary-backup systems. DSN 2011: 245-256

Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri: Supporting domain-specific state space reductions through local partial-order reduction. ASE 2011: 113-122

Diogo Becker, Flavio Junqueira, Marco Serafini: Leader Election for Replicated Services Using Application Scores. Middleware 2011: 289-308

Marco Serafini: Efficient and low-cost fault tolerance for web-scale systems. Darmstadt University of Technology 2010, pp. 1-156

Marco Serafini: Fault Characterization and Diagnosis in Distributed Systems. AlgoSyn 2010: 117

Marco Serafini, Péter Bokor, Dan Dobre, Matthias Majuntke, Neeraj Suri: Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. DSN 2010: 353-362

Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri: HP: Hybrid Paxos for WANs. EDCC 2010: 117-126

Péter Bokor, Marco Serafini, Neeraj Suri: On Efficient Models for Model Checking Message-Passing Distributed Protocols. FMOODS/FORTE 2010: 216-223

Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri: Eventually linearizable shared objects. PODC 2010: 95-104

Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith: Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. ICFEM 2009: 147-166

Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri: Abortable Fork-Linearizable Storage. OPODIS 2009: 255-269

Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri: Efficient Robust Storage Using Secret Tokens. SSS 2009: 269-283

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

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)

Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch: A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems. DSN 2007: 164-174

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

Marco Serafini, Neeraj Suri: The Fail-Heterogeneous Architectural Model. SRDS 2007: 103-113