| 2011 | Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). | Miroslaw Malek, Felix Salfner, Kishor S. Trivedi |
| 2011 | Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). | Miroslaw Malek, Felix Salfner, Kishor S. Trivedi |
| 2011 | Deadline-aware scheduling for Software Transactional Memory. | Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivire |
| 2011 | The case for dynamic security solutions in public cloud workflow deployments. | John C. Mace, Aad P. A. van Moorsel, Paul Watson |
| 2011 | A combinatorial approach to network covert communications with applications in Web Leaks. | Xiapu Luo, Peng Zhou, Edmond W. W. Chan, Rocky K. C. Chang, Wenke Lee |
| 2011 | A scalable availability model for Infrastructure-as-a-Service cloud. | Francesco Longo, Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi |
| 2011 | Coercing clients into facilitating failover for object delivery. | Wyatt Lloyd, Michael J. Freedman |
| 2011 | Performance modeling and benchmarking of bank intermediary business on high-performance fault-tolerant computers. | Bo Li, Haiying Zhou, Decheng Zuo, Zhan Zhang, Peng Zhou, Long Jia |
| 2011 | Fault tolerant WSN-based structural health monitoring. | Xuefeng Liu, Jiannong Cao, Md. Zakirul Alam Bhuiyan, Steven Lai, Hejun Wu, Guojun Wang |
| 2011 | The time-free approach to Byzantine failure detection in dynamic networks. | Murilo Santos de Lima, Fabola Greve, Luciana Arantes, Pierre Sens |
| 2011 | Unified debugging of distributed systems with Recon. | Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang, Patrick Eugster |
| 2011 | Hypervisor-assisted application checkpointing in virtualized environments. | Min Lee, A. S. Krishnakumar, Parameshwaran Krishnan, Navjot Singh, Shalini Yajnik |
| 2011 | A methodology for the generation of efficient error detection mechanisms. | Matthew Leeke, Saima Arif, Arshad Jhumka, Sarabjot Singh Anand |
| 2011 | Incremental quantitative verification for Markov decision processes. | Marta Z. Kwiatkowska, David Parker, Hongyang Qu |
| 2011 | An empirical study of the performance, security and privacy implications of domain name prefetching. | Srinivas Krishnan, Fabian Monrose |
| 2011 | Crash graphs: An aggregated view of multiple crashes to improve crash triage. | Sunghun Kim, Thomas Zimmermann, Nachiappan Nagappan |
| 2011 | Recursive virtual machines for advanced security mechanisms. | Bernhard Kauer, Paulo Verssimo, Alysson Neves Bessani |
| 2011 | Lock-free transactional support for large-scale storage systems. | Flavio Junqueira, Benjamin C. Reed, Maysam Yabandeh |
| 2011 | Zab: High-performance broadcast for primary-backup systems. | Flavio Paiva Junqueira, Benjamin C. Reed, Marco Serafini |
| 2011 | Communix: A framework for collaborative deadlock immunity. | Horatiu Jula, Pinar Tzn, George Candea |
| 2011 | Platform-wide deadlock immunity for mobile phones. | Horatiu Jula, Thomas Rensch, George Candea |
| 2011 | Secure MMU: Architectural support for memory isolation among virtual machines. | Seongwook Jin, Jaehyuk Huh |
| 2011 | LLS: Cooperative integration of wear-leveling and salvaging for PCM main memory. | Lei Jiang, Yu Du, Youtao Zhang, Bruce R. Childers, Jun Yang |
| 2011 | Modeling stream processing applications for dependability evaluation. | Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Ravishankar K. Iyer |
| 2011 | Continuous mission-oriented assessment (CMA) of assurance. | Patrick Hurley, Partha P. Pal, Matthew Tan Creti, Amy Fedyk |