| 2006 | Engineering Self-protection for Autonomous Systems. | Manuel Koch, Karl Pauls |
| 2006 | Fundamentals of Debugging Using a Resolution Calculus. | Daniel Kb, Franz Wotawa |
| 2006 | Automatic Generation of Tutorial Systems from Development Specification. | Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa |
| 2006 | : Designing a Scalable Build Process. | Jason Hickey, Aleksey Nogin |
| 2006 | Amplifying the Benefits of Design Patterns: From Specification Through Implementation. | Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler |
| 2006 | JAG: JML Annotation Generation for Verifying Temporal Properties | Alain Giorgetti, Julien Groslambert |
| 2006 | Software Engineering: Emerging Goals and Lasting Problems. | Carlo Ghezzi |
| 2006 | Relation of Code Clones and Change Couplings. | Reto Geiger, Beat Fluri, Harald C. Gall, Martin Pinzger |
| 2006 | A Formal Approach to Event-Based Architectures. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2006 | Argus: Online Statistical Bug Detection. | Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff |
| 2006 | Automated Support for Building Behavioral Models of Event-Driven Systems. | Benet Devereux, Marsha Chechik |
| 2006 | An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings. | Daniela E. Damian, Filippo Lanubile, Teresa Mallardo |
| 2006 | A Programming Model for Service Oriented Applications. | Francisco Curbera |
| 2006 | GPSL: A Programming Language for Service Implementation. | Dominic Cooney, Marlon Dumas, Paul Roe |
| 2006 | Algebraic Specification of a Model Transformation Engine. | Artur Boronat, Jos A. Cars, Isidro Ramos |
| 2006 | Regular Inference for State Machines with Parameters. | Therese Berg, Bengt Jonsson, Harald Raffelt |
| 2006 | From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. | Bernhard K. Aichernig, Carlo Corrales Delgado |
| 2005 | Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. | Gabriele Taentzer, Arend Rensink |
| 2005 | Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. | Atanas Rountev, Scott Kagan, Jason Sawin |
| 2005 | Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. | Genana Nunes Rodrigues, David S. Rosenblum, Sebastin Uchitel |
| 2005 | Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. | Ralf H. Reussner, Jens Happe, Annegret Habel |
| 2005 | Observational Purity and Encapsulation. | David A. Naumann |
| 2005 | Formalisation and Verification of Java Card Security Properties in Dynamic Logic. | Wojciech Mostowski |
| 2005 | Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. | Arjan J. Mooij, Nicolae Goga, Judi Romijn |
| 2005 | Analyzing Web Service Based Business Processes. | Axel Martens |