2013 IEEE 32nd International Symposium on Reliable Distributed Systems
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By IEEE

9780769551159
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient Verification of Distributed Protocols Using Stateful Model Checking

2013 ◽  
Author(s):  
Habib Saissi ◽  
Peter Bokor ◽  
Can Arda Muftuoglu ◽  
Neeraj Suri ◽  
Marco Serafini
Keyword(s):  
Model Checking ◽  
Distributed Protocols ◽  
Efficient Verification

scholarly journals Analysis of Malware Propagation in Twitter

2013 ◽  
Author(s):  
Ameya Sanzgiri ◽  
Andrew Hughes ◽  
Shambhu Upadhyaya
Keyword(s):  
Malware Propagation

Validity-Based Failure Algebra for Distributed Sensor Systems

2013 ◽  
Author(s):  
Tino Brade ◽  
Sebastian Zug ◽  
Jorg Kaiser
Keyword(s):  
Sensor Systems ◽  
Distributed Sensor

Consensus with Unknown Participants in Shared Memory

2013 ◽  
Author(s):  
Catia Khouri ◽  
Fabiola Greve ◽  
Sebastien Tixeuil
Keyword(s):  
Shared Memory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document