| 2012 | Self-Definition for Software Development. | Barry Wilks, Paul A. Bailes |
| 2012 | Analyzing Measurements of the R Statistical Open Source Software. | Sophia Voulgaropoulou, Georgios Spanos, Lefteris Angelis |
| 2012 | Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study. | Antonio Vetr, Nico Zazworka, Forrest Shull, Carolyn B. Seaman, Michele A. Shaw |
| 2012 | A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source Software. | Najeeb Ullah, Maurizio Morisio, Antonio Vetr |
| 2012 | Partial Slices in Program Testing. | Anupama Surendran, Philip Samuel |
| 2012 | Dogfooding the Formal Semantics of mCRL2. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote |
| 2012 | Incremental Development of Multi-agent Systems in Object-Z. | Graeme Smith, Kirsten Winter |
| 2012 | Analysing Tactics in Architectural Patterns. | Alejandro Sanchez, Ademar Aguiar, Lus Soares Barbosa, Daniel Riesco |
| 2012 | Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised Approach. | Petros Papadopoulos, Huaglory Tianfield, David C. Moffat, Peter Barrie |
| 2012 | An Empirical Study of License Violations in Open Source Projects. | Arunesh Mathur, Harshal Choudhary, Priyank Vashist, William Thies, P. Santhi Thilagam |
| 2012 | An Approach to Requirement Analysis for Periodic Control Systems. | Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu |
| 2012 | Automotive System Development Using Reference Architectures. | Kenneth Lind, Rogardt Heldal |
| 2012 | Planning as Model Checking Tasks. | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2012 | Viewpoint-Based Risk Assessment and Prioritization. | Hareton K. N. Leung |
| 2012 | Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. | Sven Jrges, Bernhard Steffen |
| 2012 | A Timed CSP Model for the Time-Triggered Language Giotto. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, Joo F. Ferreira |
| 2012 | Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. | Barbara Gallina, Irfan Sljivo, Omar Jaradat |
| 2012 | A Comment Analysis Approach for Program Comprehension. | Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques |
| 2012 | An Evaluation of Service Integration Approaches of Business Process Management Systems. | Markus Doedt, Bernhard Steffen |
| 2012 | A Patterns Based Reverse Engineering Approach for Java Source Code. | Rui Couto, Antnio Nestor Ribeiro, Jos Creissac Campos |
| 2012 | Automating the Transformation from BPMN Models to CSP+T Specifications. | Manuel I. Capel, Luis Eduardo Mendoza |
| 2012 | Model-Driven Development of Secure Service Applications. | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
| 2011 | Offline Validation of Firewalls. | Stephan Windmller |
| 2011 | Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. | Marco Vieira, Henrique Madeira, Srgio Cruz, Marco Costa, Joo Carlos Cunha |
| 2011 | An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. | Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson |