| 2013 | Calibrating Productivity Drivers for Software Customisation Projects. | Md. Mahmudul Hasan, Chris Lokan |
| 2013 | Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. | Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun |
| 2013 | Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems. | Yin Hang, Hans Hansson |
| 2013 | System Quality Improvement Including Software and Infrastructure Based on Software Metrics Approach. | Noriko Hanakawa, Masaki Obana |
| 2013 | Strategies for Aligning Variability Model and Architecture. | Iris Groher, Rainer Weinreich |
| 2013 | Towards Requirements Change Decision Support. | Sanjay Ghosh, Srini Ramaswamy, Raoul Praful Jetley |
| 2013 | A Value Weighting Method for Pair-wise Testing. | Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya |
| 2013 | Experiences During Extraction of Variability Models for Warehouse Management Systems. | Miao Fang, Georg Leyh, Christoph Elsner, Jrg Drr |
| 2013 | A Study of the Effect of Data Normalization on Software and Information Quality Assessment. | Morgan Ericsson, Welf Lwe, Tobias Olsson, Daniel Toll, Anna Wingkvist |
| 2013 | Scrum Anti-Patterns - An Empirical Study. | Veli-Pekka Eloranta, Kai Koskimies, Tommi Mikkonen, Jyri Vuorinen |
| 2013 | Architecture Security Evaluation Method Based on Security of the Components. | Changxiao Du, Xiaohong Li, Hong Shi, Jing Hu, Ruitao Feng, Zhiyong Feng |
| 2013 | Run-Time Monitoring and Real-Time Visualization of Software Architectures. | Ana Dragomir, Horst Lichter |
| 2013 | Towards a Hybrid Framework for Detecting Input Manipulation Vulnerabilities. | Sun Ding, Hee Beng Kuan Tan, Lwin Khin Shar, Bindu Madhavi Padmanabhuni |
| 2013 | Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. | Aditya Desai, Era Jain, Subhajit Roy |
| 2013 | Factors Influencing Research Contributions and Researcher Interactions in Software Engineering: An Empirical Study. | Subhajit Datta, A. S. M. Sajeev, Santonu Sarkar, Nishant Kumar |
| 2013 | Automating Inference of OCL Business Rules from User Scenarios. | Duc-Hanh Dang, Jordi Cabot |
| 2013 | Samekana: A Browser Extension for Including Relevant Web Links in Issue Tracking System Discussion Forum. | Denzil Correa, Sangeeta Lal, Apoorv Saini, Ashish Sureka |
| 2013 | Problem Frames Construction from Feature Models. | Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu |
| 2013 | Executable Program Documentation Based on Debugging Break Points. | Yung-Pin Cheng, Jhih-Hao Chen, Yu-Ying Yu |
| 2013 | A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. | Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel |
| 2013 | A Software and Integration Process Model for Offshore Vessels. | David N. Card |
| 2013 | Data-Race-Freedom of Concurrent Programs. | Granville Barnett, Shengchao Qin |
| 2013 | Results for Compositional Timed Testing. | Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre |
| 2013 | Requirements Engineering Based on REBOK (Requirements Engineering Body Of Knowledge) and Its Practice. | Mikio Aoyama, Takako Nakatani, Shinobu Saito, Yukako Iimura |
| 2013 | An Extended Orthogonal Variability Model for Metadata-Driven Multitenant Cloud Services. | Mikio Aoyama, Nozomi Kurono |