| 2007 | 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007 |
| 2007 | A Gambling Approach to Scalable Resource-Aware Streaming. Mouna Allani, Benoît Garbinato, Fernando Pedone, Marija Stamenkovic |
| 2007 | A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller |
| 2007 | ASFALT: A Simple Fault-Tolerant Signature-based Localization Technique for Emergency Sensor Networks. Murtuza Jadliwala, Shambhu J. Upadhyaya, Manik Taneja |
| 2007 | Activity Monitoring to Guarantee File Availability in Structured P2P File-sharing Systems. Guowei Huang, Zhi Chen, Qi Zhao, Gongyi Wu |
| 2007 | An Analytical Framework and Its Applications for Studying Brick Storage Reliability. Ming Chen, Wei Chen, Likun Liu, Zheng Zhang |
| 2007 | Building Trust in Storage Outsourcing: Secure Accounting of Utility Storage. Vishal Kher, Yongdae Kim |
| 2007 | Characterizing Aging Phenomena of the Java Virtual Machine. Domenico Cotroneo, Salvatore Orlando, Stefano Russo |
| 2007 | Customizable Fault Tolerance for Wide-Area Replication. Yair Amir, Brian A. Coan, Jonathan Kirsch, John Lane |
| 2007 | Distributed Diagnosis of Failures in a Three Tier E-Commerce System. Gunjan Khanna, Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi |
| 2007 | Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks. Yi Yang, Xinran Wang, Sencun Zhu, Guohong Cao |
| 2007 | Enhancing Edge Computing with Database Replication. Yi Lin, Bettina Kemme, Marta Patiño-Martínez, Ricardo Jiménez-Peris |
| 2007 | Epidemic Broadcast Trees. João Leitão, José Pereira, Luís E. T. Rodrigues |
| 2007 | Evaluating Byzantine Quorum Systems. Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia |
| 2007 | Framework for Intrusion Tolerant Certification Authority System Evaluation. Jingqiang Lin, Jiwu Jing, Peng Liu |
| 2007 | Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems. Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Défago, Yasushi Inoguchi |
| 2007 | Hypervisor-Based Efficient Proactive Recovery. Hans P. Reiser, Rüdiger Kapitza |
| 2007 | Model Checking of Consensus Algorit. Tatsuhiro Tsuchiya, André Schiper |
| 2007 | Modeling and Assessing the Dependability ofWireless Sensor Networks. Marcello Cinque, Domenico Cotroneo, Catello Di Martino, Stefano Russo |
| 2007 | On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast. Dan Dobre, Harigovind V. Ramasamy, Neeraj Suri |
| 2007 | PEACE-VO: A Secure Policy-Enabled Collaboration Framework for Virtual Organizations. Jianxin Li, Jinpeng Huai, Chunming Hu |
| 2007 | Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management. Song Fu, Cheng-Zhong Xu |
| 2007 | RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks. Vadim Drabkin, Roy Friedman, Gabriel Kliot, Marc Segal |
| 2007 | RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization. Xuxian Jiang, Helen J. Wang, Dongyan Xu, Yi-Min Wang |
| 2007 | Stateful Detection in High Throughput Distributed Systems. Gunjan Khanna, Ignacio Laguna, Fahad A. Arshad, Saurabh Bagchi |
| 2007 | Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. Eli Gafni, Michel Raynal, Corentin Travers |
| 2007 | The Eventual Clusterer Oracle and Its Application to Consensus in MANETs. Weigang Wu, Jiannong Cao, Michel Raynal |
| 2007 | The Fail-Heterogeneous Architectural Model. Marco Serafini, Neeraj Suri |
| 2007 | The Paxos Register. Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi |
| 2007 | Using Hidden Semi-Markov Models for Effective Online Failure Prediction. Felix Salfner, Miroslaw Malek |