| 2005 | Augmenting UML Models for Composition Conflict Analysis. | Andreas Leicher, Jrn Guy S |
| 2005 | Color-Blind Specifications for Transformations of Reactive Synchronous Programs. | Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski |
| 2005 | Tools for Secure Systems Development with UML: Security Analysis with ATPs. | Jan Jrjens, Pasha Shabalin |
| 2005 | Kaveri: Delivering the Indus Java Program Slicer to Eclipse. | Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff |
| 2005 | Improving System Understanding via Interactive, Tailorable, Source Code Analysis. | Vladimir Jakobac, Alexander Egyed, Nenad Medvidovic |
| 2005 | Automatic Conformance Testing of Web Services. | Reiko Heckel, Leonardo Mariani |
| 2005 | Iterative Circular Coinduction for CoCasl in Isabelle/HOL. | Daniel Hausmann, Till Mossakowski, Lutz Schrder |
| 2005 | Managing Variability Using Heterogeneous Feature Variation Patterns. | Imed Hammouda, Juha Hautamki, Mika Pussinen, Kai Koskimies |
| 2005 | Automated Compositional Proofs for Real-Time Systems. | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
| 2005 | Using Annotations to Check Structural Properties of Classes. | Michael Eichberg, Thorsten Schfer, Mira Mezini |
| 2005 | Termination Criteria for Model Transformation. | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dniel Varr, Szilvia Varr-Gyapay |
| 2005 | Maintaining Life Perspectives During the Refinement of UML Class Structures. | Alexander Egyed, Wuwei Shen, Kun Wang |
| 2005 | Improving the Build Architecture of Legacy C/C++ Software Systems. | Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos |
| 2005 | A Framework for Counterexample Generation and Exploration. | Marsha Chechik, Arie Gurfinkel |
| 2005 | A Tool to Automate Component Clustering and Identification. | Soo Ho Chang, Man Jib Han, Soo Dong Kim |
| 2005 | Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. | Jos Miguel Caete, Francisco Jos Galn Morillo |
| 2005 | Checking Memory Safety with Blast. | Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2005 | Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. | Grard Berry |
| 2005 | On the Correspondence Between Conformance Testing and Regular Inference. | Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |
| 2004 | Measuring Aspect Cohesion. | Jianjun Zhao, Baowen Xu |
| 2004 | Translating Software Designs for Model Checking. | Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne |
| 2004 | Automating Decisions in Component Composition Based on Propagation of Requirements. | Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers |
| 2004 | Optimising Communication Structure for Model Checking. | Peter Saffrey, Muffy Calder |
| 2004 | A Formal Treatment of Context-Awareness. | Gruia-Catalin Roman, Christine Julien, Jamie Payton |
| 2004 | Specification and Analysis of Real-Time Systems Using Real-Time Maude. | Peter Csaba lveczky, Jos Meseguer |