Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marco Serafini
2010 – today
- 2012
[c19]Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Adam Silberstein: Shepherding social feed generation with Sheep. SNS 2012: 7- [c18]Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber: Social piggybacking: leveraging common friends to generate event streams. SNS 2012: 8
- [c17]Flavio Junqueira, Marco Serafini: Brief Announcement: Consensus and Efficient Passive Replication. DISC 2012: 425-426
- 2011
- [j2]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)
- [c16]Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri: Efficient model checking of fault-tolerant distributed protocols. DSN 2011: 73-84
- [c15]Flavio Paiva Junqueira, Benjamin C. Reed, Marco Serafini: Zab: High-performance broadcast for primary-backup systems. DSN 2011: 245-256
- [c14]Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri: Supporting domain-specific state space reductions through local partial-order reduction. ASE 2011: 113-122
- [c13]Diogo Becker, Flavio Junqueira, Marco Serafini: Leader Election for Replicated Services Using Application Scores. Middleware 2011: 289-308
- 2010
- [b1]Marco Serafini: Efficient and low-cost fault tolerance for web-scale systems. Darmstadt University of Technology 2010, pp. 1-156
- [c12]
- [c11]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
- [c10]Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri: HP: Hybrid Paxos for WANs. EDCC 2010: 117-126
- [c9]Péter Bokor, Marco Serafini, Neeraj Suri: On Efficient Models for Model Checking Message-Passing Distributed Protocols. FMOODS/FORTE 2010: 216-223
- [c8]Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri: Eventually linearizable shared objects. PODC 2010: 95-104
2000 – 2009
- 2009
- [c7]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
- [c6]Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri: Abortable Fork-Linearizable Storage. OPODIS 2009: 255-269
- [c5]Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri: Efficient Robust Storage Using Secret Tokens. SSS 2009: 269-283
- [c4]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
- 2007
- [j1]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)
- [c3]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
- [c2]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
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-10-16 22:16 CEST by the dblp team