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 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.22 ◽

2013 ◽

Author(s):

Habib Saissi ◽

Peter Bokor ◽

Can Arda Muftuoglu ◽

Neeraj Suri ◽

Marco Serafini

Keyword(s):

Model Checking ◽

Distributed Protocols ◽

Efficient Verification

Download Full-text

Analysis of Malware Propagation in Twitter

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.28 ◽

2013 ◽

Author(s):

Ameya Sanzgiri ◽

Andrew Hughes ◽

Shambhu Upadhyaya

Keyword(s):

Malware Propagation

Download Full-text

Copyright Page

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.3 ◽

2013 ◽

Download Full-text

Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.12 ◽

2013 ◽

Author(s):

Luis Marques ◽

Antonio Casimiro

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Probabilistic Models ◽

Wireless Sensor

Download Full-text

Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.25 ◽

2013 ◽

Author(s):

Masoud Saeida Ardekani ◽

Pierre Sutra ◽

Marc Shapiro

Keyword(s):

Strong Consistency ◽

Snapshot Isolation

Download Full-text

Referees and reviewers

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.8 ◽

2013 ◽

Download Full-text

Message from the Technical Program Co-chairs

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.6 ◽

2013 ◽

Keyword(s):

Technical Program

Download Full-text

Validity-Based Failure Algebra for Distributed Sensor Systems

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.23 ◽

2013 ◽

Author(s):

Tino Brade ◽

Sebastian Zug ◽

Jorg Kaiser

Keyword(s):

Sensor Systems ◽

Distributed Sensor

Download Full-text

Consensus with Unknown Participants in Shared Memory

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.14 ◽

2013 ◽

Author(s):

Catia Khouri ◽

Fabiola Greve ◽

Sebastien Tixeuil

Keyword(s):

Download Full-text

Title Page i

2013 IEEE 32nd International Symposium on Reliable Distributed Systems ◽

10.1109/srds.2013.1 ◽

2013 ◽

Keyword(s):

Download Full-text