| 2012 | A Quantitative Comparison of Reactive and Proactive Replicated Storage Systems. Rossana Motta, Joseph Pasquale |
| 2012 | A Quick and Reliable Routing for Infrastructure Surveillance with Wireless Sensor Networks. Zhen Jiang, Jie Wu, Minyi Guo, Zhenping Zhao, Donghong Wu |
| 2012 | A Theory of Packet Flows Based on Law-of-Mass-Action Scheduling. Thomas Meyer, Christian F. Tschudin |
| 2012 | AAD: Adaptive Anomaly Detection System for Cloud Computing Infrastructures. Husanbir Singh Pannu, Jianguo Liu, Song Fu |
| 2012 | Aggregating CVSS Base Scores for Semantics-Rich Network Security Metrics. Pengsu Cheng, Lingyu Wang, Sushil Jajodia, Anoop Singhal |
| 2012 | An End-to-End Security Auditing Approach for Service Oriented Architectures. Mehdi Azarmi, Bharat K. Bhargava, Pelin Angin, Rohit Ranchal, Norman Ahmed, Asher Sinclair, Mark Linderman, Lotfi Ben Othmane |
| 2012 | Anonymous On-Demand Routing and Secure Checking of Traffic Forwarding for Mobile Ad Hoc Networks. Rui Jiang, Yuan Xing |
| 2012 | Approximation Techniques for Maintaining Real-Time Deployments Informed by User-Provided Dataflows within a Cloud. James R. Edmondson, Aniruddha S. Gokhale, Douglas C. Schmidt |
| 2012 | Automatic Generation of Graceful Programs. Yiyan Lin, Sandeep S. Kulkarni |
| 2012 | Availability Modeling and Analysis for Data Backup and Restore Operations. Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade, Kishor S. Trivedi |
| 2012 | Availability-Based Methods for Distributed Storage Systems. Anne-Marie Kermarrec, Erwan Le Merrer, Gilles Straub, Alexandre van Kempen |
| 2012 | Banking on Decoupling: Budget-Driven Sustainability for HPC Applications on EC2 Spot Instances. Moussa Taifi |
| 2012 | Benchmarking Dependability of MapReduce Systems. Amit Sangroya, Damián Serrano, Sara Bouchenak |
| 2012 | Broadcast Authentication for Resource Constrained Devices: A Major Pitfall and Some Solutions. Roberto Di Pietro, Fabio Martinelli, Nino Vincenzo Verde |
| 2012 | Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure. Tiancheng Chang, Hein Meling |
| 2012 | Causally Coordinated Snapshot Isolation for Geographically Replicated Data. Vinit Padhye, Anand Tripathi |
| 2012 | Data De-duplication and Event Processing for Security Applications on an Embedded Processor. Harsha Nagarajaiah, Shambhu J. Upadhyaya, Vinodh Gopal |
| 2012 | Detecting Anomalous User Behaviors in Workflow-Driven Web Applications. Xiaowei Li, Yuan Xue, Bradley A. Malin |
| 2012 | Distributed Monitoring of Temporal System Properties Using Petri Nets. Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy |
| 2012 | Distributed and Private Group Management. Olivier Heen, Erwan Le Merrer, Christoph Neumann, Stéphane Onno |
| 2012 | Efficient Asynchronous Low Power Listening for Wireless Sensor Networks. Rajesh Krishna Panta, James A. Pelletier, Gregg T. Vesonder |
| 2012 | Efficient and Reliable Multicast in Multi-radio Networks. Roy Friedman, Alex Kogan |
| 2012 | Enabling Data Integrity Protection in Regenerating-Coding-Based Cloud Storage. Henry C. H. Chen, Patrick P. C. Lee |
| 2012 | Energy Efficient Hadoop Using Mirrored Data Block Replication Policy. Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal |
| 2012 | Energy-Efficient and Fault-Tolerant Structural Health Monitoring in Wireless Sensor Networks. Md. Zakirul Alam Bhuiyan, Jiannong Cao, Guojun Wang, Xuefeng Liu |
| 2012 | Exploring Compile Time Caching of Explicit Queries in Programming Codes. Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert |
| 2012 | FORTRESS: Adding Intrusion-Resilience to Primary-Backup Server Systems. Dylan Clarke, Paul D. Ezhilchelvan |
| 2012 | Fair Comparison of Gossip Algorithms over Large-Scale Random Topologies. Ruijing Hu, Julien Sopena, Luciana Arantes, Pierre Sens, Isabelle M. Demeure |
| 2012 | Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel. Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi |
| 2012 | Fault Localization in MANET-Hosted Service-Based Systems. Petr Novotný, Alexander L. Wolf, Bong Jun Ko |
| 2012 | First Step toward Cloud-Based Firewalling. Amir R. Khakpour, Alex X. Liu |
| 2012 | From Backup to Hot Standby: High Availability for HDFS. Andre Oriani, Islene C. Garcia |
| 2012 | GRADE: Graceful Degradation in Byzantine Quorum Systems. Jingqiang Lin, Bo Luo, Jiwu Jing, Xiaokun Zhang |
| 2012 | GSFord: Towards a Reliable Geo-social Notification System. Kyungbaek Kim, Ye Zhao, Nalini Venkatasubramanian |
| 2012 | HybCAST: Rich Content Dissemination in Hybrid Cellular and 802.11 Ad Hoc Networks. Ngoc Minh Do, Cheng-Hsin Hsu, Nalini Venkatasubramanian |
| 2012 | IEEE 31st Symposium on Reliable Distributed Systems, SRDS 2012, Irvine, CA, USA, October 8-11, 2012 |
| 2012 | Impact of Operational Reliability Re-assessment during Aircraft Missions. Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos |
| 2012 | Improving Security of Internet Services through Continuous and Transparent User Identity Verification. Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati, Ernesto La Mattina |
| 2012 | Improving the Reliability and Availability of Vehicular Communications Using Voronoi Diagram-Based Placement of Road Side Units. Prithviraj Patil, Aniruddha S. Gokhale |
| 2012 | LogMaster: Mining Event Correlations in Logs of Large-Scale Cluster Systems. Xiaoyu Fu, Rui Ren, Jianfeng Zhan, Wei Zhou, Zhen Jia, Gang Lu |
| 2012 | Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes. Pawel T. Wojciechowski, Tadeusz Kobus, Maciej Kokocinski |
| 2012 | Off the Wall: Lightweight Distributed Filtering to Mitigate Distributed Denial of Service Attacks. Zhang Fu, Marina Papatriantafilou |
| 2012 | On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. Miguel Correia, Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Veríssimo |
| 2012 | PGV: A Storage Enforcing Remote Verification Scheme. Mohammad Iftekhar Husain, Steve Uurtamo, Steven Y. Ko, Atri Rudra, Ramalingam Sridhar |
| 2012 | Pairwise Key Generation Scheme for Cellular Mobile Communication. Chetan Jaiswal, Vijay Kumar |
| 2012 | Performance Issue Diagnosis for Online Service Systems. Qiang Fu, Jian-Guang Lou, Qingwei Lin, Rui Ding, Dongmei Zhang, Zihao Ye, Tao Xie |
| 2012 | Private Anonymous Messaging. Ruchith Fernando, Bharat K. Bhargava, Mark Linderman |
| 2012 | Providing Uniform Reliable Broadcast Delivery for Mobile Ad Hoc Networks with MANET Liveness Property. Jerzy Brzezinski, Michal Kalewski, Jacek Kobusinski |
| 2012 | Query Plan Execution in a Heterogeneous Stream Management System for Situational Awareness. Indrakshi Ray, Sanjay Kumar Madria, Mark Linderman |
| 2012 | RADAR: Adaptive Rate Allocation in Distributed Stream Processing Systems under Bursty Workloads. Ioannis Boutsis, Vana Kalogeraki |
| 2012 | RAM-DUR: In-Memory Deferred Update Replication. Daniele Sciascia, Fernando Pedone |
| 2012 | RD2: Resilient Dynamic Desynchronization for TDMA over Lossy Networks. Thomas Hinterhofer, Hans-Peter Schwefel, Slobodanka Tomic |
| 2012 | Regenerating Codes: A System Perspective. Steve Jiekak, Anne-Marie Kermarrec, Nicolas Le Scouarnec, Gilles Straub, Alexandre van Kempen |
| 2012 | Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation. Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan |
| 2012 | Reliable On-Chip Memory Design for CMPs. Abbas BanaiyanMofrad |
| 2012 | Response Time Reliability in Cloud Environments: An Empirical Study of n-Tier Applications at High Resource Utilization. Qingyang Wang, Yasuhiko Kanemasa, Jack Li, Deepal Jayasinghe, Motoyuki Kawaba, Calton Pu |
| 2012 | Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions. Bruno Vavala, Nuno Ferreira Neves |
| 2012 | S-Paxos: Offloading the Leader for High Throughput State Machine Replication. Martin Biely, Zarko Milosevic, Nuno Santos, André Schiper |
| 2012 | SPECULA: Speculative Replication of Software Transactional Memory. Sebastiano Peluso, Joao Fernandes, Paolo Romano, Francesco Quaglia, Luís E. T. Rodrigues |
| 2012 | Scalable and Secure Polling in Dynamic Distributed Networks. Sébastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc, Anne-Marie Kermarrec |
| 2012 | Secure Cloud Browser: Model and Architecture to Support Secure WEB Navigation. Marta Palanques, Roberto Di Pietro, Carlos del Ojo, Marcel Malet, Miquel Marino, Toni Felguera |
| 2012 | Securing a Wireless Networked Control System Using Information Fusion. Brijesh Kashyap Chejerla, Sanjay Madria |
| 2012 | Security Problems of Platform-as-a-Service (PaaS) Clouds and Practical Solutions to the Problems. Mehmet Tahir Sandikkaya, Ali Emre Harmanci |
| 2012 | Strategies for Reliable, Cloud-Based Distributed Real-Time and Embedded Systems. Kyoungho An |
| 2012 | Susceptibility Analysis of Structured P2P Systems to Localized Eclipse Attacks. Daniel Germanus, Robert Langenberg, Abdelmajid Khelil, Neeraj Suri |
| 2012 | TAIRO: Trust-Aware Automatic Incremental Routing for Opportunistic Resource Utilization Networks. Joseph W. Baird |
| 2012 | TailCon: Power-Minimizing Tail Percentile Control of Response Time in Server Clusters. Xi Chen, Xue Liu, Shengquan Wang, Xiao-Wen Chang |
| 2012 | Three Point Encryption (3PE): Secure Communications in Delay Tolerant Networks. Roy Cabaniss, Vimal Kumar, Sanjay Madria |
| 2012 | Time-Sensitive Utility-Based Routing in Duty-Cycle Wireless Sensor Networks with Unreliable Links. Mingjun Xiao, Jie Wu, Liusheng Huang |
| 2012 | Towards Identifying Root Causes of Faults in Service-Based Applications. Christian Inzinger, Waldemar Hummer, Benjamin Satzger, Philipp Leitner, Schahram Dustdar |
| 2012 | Towards Reliable Communication in Intelligent Transportation Systems. Prithviraj Patil |
| 2012 | Versatile Key Management for Secure Cloud Storage. Sebastian Graf, Patrick Lang, Stefan A. Hohenadel, Marcel Waldvogel |