| 2013 | Reference architecture for high dependability on-board computers. | Nuno Silva, Alexandre Esper, Ricardo Barbosa, Johan Zandin, Claudio Monteleone |
| 2013 | Model-based testing of NASA's OSAL API - An experience report. | Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Dave Mcf Omas, Alan Cudmore |
| 2013 | Static analysis versus penetration testing: A controlled experiment. | Riccardo Scandariato, James Walden, Wouter Joosen |
| 2013 | A comparative study of d∗framework and GSN. | Takuya Saruwatari, Shuichiro Yamamoto, Yutaka Matsuno |
| 2013 | An extended notation of FTA for risk assessment of software-intensive medical devices.: Recognition of the risk class before and after the risk control measure. | Yoshio Sakai, Seiko Shirasaka, Yasuharu Nishi |
| 2013 | Keep it moving: Proactive workload management for reducing SLA violations in large scale SaaS clouds. | Arpan Roy, Rajeshwari Ganesan, Santonu Sarkar |
| 2013 | Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems. | Michael Roth, Peter Liggesmeyer |
| 2013 | Predicting multi-platform release quality. | Pete Rotella, Satyabrata Pradhan |
| 2013 | Predicting field experience of releases on specific platforms. | Pete Rotella, Devesh Goyal, Sunita Chulani |
| 2013 | Evaluating long-term predictive power of standard reliability growth models on automotive systems. | Rakesh Rana, Miroslaw Staron, Christian Berger, Jrgen Hansson, Martin Nilsson, Fredrik Trner |
| 2013 | Cues for scent intensification in debugging. | Alexandre Perez, Rui Abreu |
| 2013 | A new model to capture security threat patterns by complying with standards and lesson learned - Archiving dependability for security assurance cases. | Vaise Patu, Shuichiro Yamamoto |
| 2013 | Constructing subtle higher order mutants for Java and AspectJ programs. | Elmahdi Omar, Sudipto Ghosh, L. Darrell Whitley |
| 2013 | Estimating response time distribution of server application in software aging phenomenon. | Hiroyuki Okamura, Chao Luo, Tadashi Dohi |
| 2013 | SRATS: Software reliability assessment tool on spreadsheet (Experience report). | Hiroyuki Okamura, Tadashi Dohi |
| 2013 | Automatic skeleton generation for data-aware service choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2013 | Filtering noise in mixed-purpose fixing commits to improve defect prediction and localization. | Hoan Anh Nguyen, Anh Tuan Nguyen, Tien N. Nguyen |
| 2013 | A host-based anomaly detection approach by representing system calls as states of kernel modules. | Syed Shariyar Murtaza, Wael Khreich, Abdelwahab Hamou-Lhadj, Mario Couture |
| 2013 | To branch or not to branch that is the question. | Brendan Murphy, Laurie A. Williams |
| 2013 | Space systems modeling using the Architecture Analysis & Design Language (AADL). | Michela Munoz |
| 2013 | Directed graph as a model for unit testing. | Lakshmankumar Mukkavilli |
| 2013 | Forensic study of the Curiosity Flight Software anomalies. | Ron Morillo, John Lai, Leila Meshkat |
| 2013 | A pattern-based approach for GUI modeling and testing. | Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon |
| 2013 | Smart defect classification for better analysis using tagging mechanisms. | Seema Meena, Uma M. Balasubramani |
| 2013 | A method for assuring service grade with Assurance case: An experiment on a portal service. | Miki Masumoto, Tatsuya Tokuno, Shuichiro Yamamoto |