| 2011 | Uncertainty Propagation through Software Dependability Models. | Kesari Mishra, Kishor S. Trivedi |
| 2011 | Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation. | Fumio Machida, Victor F. Nicola, Kishor S. Trivedi |
| 2011 | Rigorous Development of Dependable Systems Using Fault Tolerance Views. | Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky |
| 2011 | PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. | Yang Liu, Jun Sun, Jin Song Dong |
| 2011 | Applying Partial and Full Rejuvenation in Different Degradation Levels. | Vasilis P. Koutras, Agapios N. Platis |
| 2011 | Efficiently Running Test Suites Using Abstract Undo Operations. | Shadi Abdul Khalek, Sarfraz Khurshid |
| 2011 | The Early Identification of Detector Locations in Dependable Software. | Arshad Jhumka, Matthew Leeke |
| 2011 | Generation of Certifiably Correct Programs from Formal Models. | Alexei Iliasov |
| 2011 | Error Models and Software Certification. | William E. Howden |
| 2011 | Mining Cause-Effect-Chains from Version Histories. | Kim Herzig, Andreas Zeller |
| 2011 | PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. | Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb |
| 2011 | Feature Interaction Faults Revisited: An Exploratory Study. | Brady J. Garvin, Myra B. Cohen |
| 2011 | Investigation on Safety-Related Standards for Critical Systems. | Christian Esposito, Domenico Cotroneo, Nuno Silva |
| 2011 | Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. | Huscar Espinoza, Alejandra Ruiz, Mehrdad Sabetzadeh, Paolo Panaroni |
| 2011 | Software Reliability Growth Models Based on Local Polynomial Modeling with Kernel Smoothing. | Lasitha Sandamali Dharmasena, Panlop Zeephongsekul, Chathuri L. Jayasinghe |
| 2011 | Software Aging and Rejuvenation: Where We Are and Where We Are Going. | Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Stefano Russo |
| 2011 | The PreCertification Kit for Operating Systems in Safety Domains. | Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa |
| 2011 | Safety Analysis of Trampoline OS Using Model Checking: An Experience Report. | Yunja Choi |
| 2011 | Understanding Bohr-Mandel Bugs through ODC Triggers and a Case Study with Empirical Estimations of Their Field Proportion. | Ram Chillarege |
| 2011 | LOFT: Redundant Synchronization Event Removal for Data Race Detection. | Yan Cai, W. K. Chan |
| 2011 | Workload Characterization for Software Aging Analysis. | Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo |
| 2011 | Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines. | Peter G. Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic |
| 2011 | Server Side Detection of Content Sniffing Attacks. | Anton Barua, Hossain Shahriar, Mohammad Zulkernine |
| 2011 | Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds. | Jean Araujo, Rbens de Souza Matos Jnior, Paulo Romero Martins Maciel, Francisco Vieira, Rivalino Matias, Kishor S. Trivedi |
| 2011 | Adaptive Regression Testing Strategy: An Empirical Study. | Md. Junaid Arafeen, Hyunsook Do |