| 2010 | Reusing Model Transformations While Preserving Properties. | Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai |
| 2010 | A Method for Analyzing Code Homology in Genealogy of Evolving Software. | Masatomo Hashimoto, Akira Mori |
| 2010 | Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. | Mark Harman |
| 2010 | Incremental Consistency Checking of Dynamic Constraints. | Iris Groher, Alexander Reder, Alexander Egyed |
| 2010 | Automatic Cross Validation of Multiple Specifications: A Case Study. | Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi |
| 2010 | Prescriptive Semantics for Big-Step Modelling Languages. | Shahram Esmaeilsabzali, Nancy A. Day |
| 2010 | Formal Analysis and Verification of Self-Healing Systems. | Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione |
| 2010 | Memory Leaks Detection in Java by Bi-abductive Inference. | Dino Distefano, Ivana Filipovic |
| 2010 | Proving Consistency and Completeness of Model Classes Using Theory Interpretation. | dm Darvas, Peter Mller |
| 2010 | A Process to Effectively Identify "Guilty" Performance Antipatterns. | Vittorio Cortellessa, Anne Martens, Ralf Reussner, Catia Trubiani |
| 2010 | Analyzing the Impact of Change in Multi-threaded Programs. | Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, Csar Snchez |
| 2010 | Formal Real-Time Model Transformations in MOMENT2. | Artur Boronat, Peter Csaba lveczky |
| 2010 | Shape Refinement through Explicit Heap Analysis. | Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz, Damien Zufferey |
| 2010 | Performance Modeling and Analysis of Context-Aware Mobile Software Systems. | Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco |
| 2010 | Are Popular Classes More Defect Prone? | Alberto Bacchelli, Marco D'Ambros, Michele Lanza |
| 2009 | A Formal Way from Text to Code Templates. | Guido Wachsmuth |
| 2009 | Algorithms for Automatically Computing the Causal Paths of Failures. | William N. Sumner, Xiangyu Zhang |
| 2009 | Enhanced Property Specification and Verification in BLAST. | Ondrej Sery |
| 2009 | A Category-Theoretical Approach to the Formalisation of Version Control in MDE. | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
| 2009 | Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. | Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
| 2009 | Confluence in Domain-Independent Product Line Transformations. | Jon Oldevik, ystein Haugen, Birger Mller-Pedersen |
| 2009 | Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection. | Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen |
| 2009 | Certification of Smart-Card Applications in Common Criteria. | Iman Narasamdya, Michal Prin |
| 2009 | Proving Consistency of Pure Methods and Model Fields. | K. Rustan M. Leino, Ronald Middelkoop |
| 2009 | Controller Synthesis from LSC Requirements. | Hillel Kugler, Cory Plock, Amir Pnueli |