| 2013 | A Distributed Abstraction Algorithm for Online Predicate Detection. Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal |
| 2013 | A Distributed Polling with Probabilistic Privacy. Yahya Benkaouz, Rachid Guerraoui, Mohammed Erradi, Florian Huc |
| 2013 | A Fault-Tolerant Routing Algorithm Design for On-Chip Optical Networks. Dong Xiang, Yan Zhang, Shuchang Shan, Yi Xu |
| 2013 | A Unified Framework for Measuring a Network's Mean Time-to-Compromise. William Nzoukou, Lingyu Wang, Sushil Jajodia, Anoop Singhal |
| 2013 | Adaptive Anomaly Identification by Exploring Metric Subspace in Cloud Computing Infrastructures. Qiang Guan, Song Fu |
| 2013 | Analysis of Malware Propagation in Twitter. Ameya Sanzgiri, Andrew Hughes, Shambhu J. Upadhyaya |
| 2013 | Automated Multi-graceful Degradation: A Case Study. Yiyan Lin, Sandeep S. Kulkarni |
| 2013 | Automatic Problem Localization via Multi-dimensional Metric Profiling. Ignacio Laguna, Subrata Mitra, Fahad A. Arshad, Nawanol Theera-Ampornpunt, Zongyang Zhu, Saurabh Bagchi, Samuel P. Midkiff, Michael Kistler, Ahmed Gheith |
| 2013 | Bounded Delay in Byzantine-Tolerant State Machine Replication. Zarko Milosevic, Martin Biely, André Schiper |
| 2013 | Bumper: Sheltering Transactions from Conflicts. Nuno Lourenco Diegues, Paolo Romano |
| 2013 | Clock-SI: Snapshot Isolation for Partitioned Data Stores Using Loosely Synchronized Clocks. Jiaqing Du, Sameh Elnikety, Willy Zwaenepoel |
| 2013 | Consensus with Unknown Participants in Shared Memory. Catia Khouri, Fabíola Greve, Sébastien Tixeuil |
| 2013 | Efficient Verification of Distributed Protocols Using Stateful Model Checking. Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini |
| 2013 | Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. Luis Marques, António Casimiro |
| 2013 | IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013 |
| 2013 | Linking Resource Usage Anomalies with System Failures from Cluster Log Data. Edward Chuah, Arshad Jhumka, Sai Narasimhamurthy, John L. Hammond, James C. Browne, Bill Barth |
| 2013 | Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems. Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro |
| 2013 | PIP: Privacy and Integrity Preserving Data Aggregation in Wireless Sensor Networks. Vimal Kumar, Sanjay Madria |
| 2013 | Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil |
| 2013 | Stochastic Analysis on RAID Reliability for Solid-State Drives. Yongkun Li, Patrick P. C. Lee, John C. S. Lui |
| 2013 | Validity-Based Failure Algebra for Distributed Sensor Systems. Tino Brade, Sebastian Zug, Jörg Kaiser |
| 2013 | Virtual Synchrony Guarantees for Cyber-physical Systems. Federico Ferrari, Marco Zimmerling, Luca Mottola, Lothar Thiele |