| 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 | Analyzing Web Service Based Business Processes. Axel Martens |
| 2005 | Augmenting UML Models for Composition Conflict Analysis. Andreas Leicher, Jörn Guy Süß |
| 2005 | Automated Compositional Proofs for Real-Time Systems. Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
| 2005 | Automatic Conformance Testing of Web Services. Reiko Heckel, Leonardo Mariani |
| 2005 | Checking Memory Safety with Blast. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2005 | Color-Blind Specifications for Transformations of Reactive Synchronous Programs. Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski |
| 2005 | Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. Atanas Rountev, Scott Kagan, Jason Sawin |
| 2005 | Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. Gabriele Taentzer, Arend Rensink |
| 2005 | Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. Gérard Berry |
| 2005 | Formalisation and Verification of Java Card Security Properties in Dynamic Logic. Wojciech Mostowski |
| 2005 | Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings Maura Cerioli |
| 2005 | Improving System Understanding via Interactive, Tailorable, Source Code Analysis. Vladimir Jakobac, Alexander Egyed, Nenad Medvidovic |
| 2005 | Improving the Build Architecture of Legacy C/C++ Software Systems. Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos |
| 2005 | Iterative Circular Coinduction for CoCasl in Isabelle/HOL. Daniel Hausmann, Till Mossakowski, Lutz Schröder |
| 2005 | Kaveri: Delivering the Indus Java Program Slicer to Eclipse. Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff |
| 2005 | Maintaining Life Perspectives During the Refinement of UML Class Structures. Alexander Egyed, Wuwei Shen, Kun Wang |
| 2005 | Managing Variability Using Heterogeneous Feature Variation Patterns. Imed Hammouda, Juha Hautamäki, Mika Pussinen, Kai Koskimies |
| 2005 | Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. Ralf H. Reussner, Jens Happe, Annegret Habel |
| 2005 | Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. Arjan J. Mooij, Nicolae Goga, Judi Romijn |
| 2005 | Observational Purity and Encapsulation. David A. Naumann |
| 2005 | On the Correspondence Between Conformance Testing and Regular Inference. Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |
| 2005 | Termination Criteria for Model Transformation. Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay |
| 2005 | Tools for Secure Systems Development with UML: Security Analysis with ATPs. Jan Jürjens, Pasha Shabalin |
| 2005 | Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. José Miguel Cañete, Francisco José Galán Morillo |
| 2005 | Using Annotations to Check Structural Properties of Classes. Michael Eichberg, Thorsten Schäfer, Mira Mezini |
| 2005 | Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel |