| 2010 | Assessing the attack resilience capabilities of a fortified primary-backup system. | Dylan Clarke, Paul D. Ezhilchelvan |
| 2010 | Assessing and improving the effectiveness of logs for the analysis of software faults. | Marcello Cinque, Domenico Cotroneo, Roberto Natella, Antonio Pecchia |
| 2010 | AutomaDeD: Automata-based debugging for dissimilar parallel tasks. | Greg Bronevetsky, Ignacio Laguna, Saurabh Bagchi, Bronis R. de Supinski, Dong H. Ahn, Martin Schulz |
| 2010 | Quantifying effectiveness of failure prediction and response in HPC systems: Methodology and example. | James Brandt, Frank Chen, Vincent De Sapio, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pbay, Diana C. Roe, David C. Thompson, Matthew Wong |
| 2010 | Studying application-library interaction and behavior with LibTrac. | Eric Bisolfati, Paul Dan Marinescu, George Candea |
| 2010 | Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. | Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich |
| 2010 | Analysis of the effect of Java software faults on security vulnerabilities and their detection by commercial web vulnerability scanner tool. | Tnia Basso, Plinio Cesar Simoes Fernandes, Mrio Jino, Regina Moraes |
| 2010 | Doubly-expedited one-step Byzantine consensus. | Nazreen Banu, Taisuke Izumi, Koichi Wada |
| 2010 | Verification of soft error detection mechanism through fault injection on hardware emulation platform. | Oscar Bailan, Umberto Rossi, Anne Wantens, Jean-Marc Daveau, Salvatore Nappi, Philippe Roche |
| 2010 | Fourth workshop on dependable and secure nanocomputing. | Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis |
| 2010 | iProve: A scalable technique for consumer-verifiable software guarantees. | Silviu Andrica, Horatiu Jula, George Candea |
| 2010 | Efficient eventual consistency in Pahoehoe, an erasure-coded key-blob archive. | Eric Anderson, Xiaozhou Li, Arif Merchant, Mehul A. Shah, Kevin Smathers, Joseph A. Tucek, Mustafa Uysal, Jay J. Wylie |
| 2010 | Model checking CSL | Elvio Gilberto Amparore, Susanna Donatelli |
| 2010 | Adaptive on-line software aging prediction based on machine learning. | Javier Alonso, Jordi Torres, Josep Lluis Berral, Ricard Gavald |
| 2010 | Scalable RFID systems: a privacy-preserving protocol with constant-time identification. | Basel Alomair, Andrew Clark, Jorge Cullar, Radha Poovendran |
| 2010 | Data recovery for web applications. | Istemi Ekin Akkus, Ashvin Goel |
| 2010 | Correlating failures with asynchronous changes for root cause analysis in enterprise environments. | Manoj K. Agarwal, Venkateswara Reddy Madduri |
| 2009 | RRE: A game-theoretic intrusion Response and Recovery Engine. | Saman A. Zonouz, Himanshu Khurana, William H. Sanders, Timothy M. Yardley |
| 2009 | System log pre-processing to improve failure prediction. | Ziming Zheng, Zhiling Lan, Byung-Hoon Park, Al Geist |
| 2009 | A QoS-aware fault tolerant middleware for dependable service composition. | Zibin Zheng, Michael R. Lyu |
| 2009 | Exception triggered DoS attacks on wireless networks. | Yao Zhao, Sagar Vemuri, Jiazhen Chen, Yan Chen, Hai Zhou, Zhi Fu |
| 2009 | HC-BGP: A light-weight and flexible scheme for securing prefix ownership. | Ying Zhang, Zheng Zhang, Zhuoqing Morley Mao, Y. Charlie Hu |
| 2009 | Precise request tracing and performance debugging for multi-tier services of black boxes. | Zhihong Zhang, Jianfeng Zhan, Yong Li, Lei Wang, Dan Meng, Bo Sang |
| 2009 | Exploiting refactoring in formal verification. | Xiang Yin, John C. Knight, Westley Weimer |
| 2009 | Xprobe2++: Low volume remote network information gathering tool. | Fedor V. Yarochkin, Ofir Arkin, Meder Kydyraliev, Shih-Yao Dai, Yennun Huang, Sy-Yen Kuo |