Search the dblp DataBase

Publications of Author

1. Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstatter, Fulvio Tagliabo, Jens Koch
   A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems. [Citation Graph (0, 0)][DBLP]
   DSN, 2007, pp:164-174 [Conf]
   
2. Marco Serafini, Andrea Bondavalli, Neeraj Suri
   Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Dependable Sec. Comput., 2007, v:4, n:4, pp:295-312 [Journal]
   
3. 
   HP: Hybrid Paxos for WANs. [Citation Graph (, )][DBLP]
   
   
4. 
   On Efficient Models for Model Checking Message-Passing Distributed Protocols. [Citation Graph (, )][DBLP]
   
   
5. 
   Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. [Citation Graph (, )][DBLP]
   
   
6. 
   Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. [Citation Graph (, )][DBLP]
   
   
7. 
   Abortable Fork-Linearizable Storage. [Citation Graph (, )][DBLP]
   
   
8. 
   Eventually linearizable shared objects. [Citation Graph (, )][DBLP]
   
   
9. 
   The Fail-Heterogeneous Architectural Model. [Citation Graph (, )][DBLP]
   
   
10. 
    Efficient Robust Storage Using Secret Tokens. [Citation Graph (, )][DBLP]
    
    
11. 
    Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. [Citation Graph (, )][DBLP]