| 2008 | A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. | Till Mossakowski, Lutz Schrder, Sergey Goncharov |
| 2008 | A Domain Analysis to Specify Design Defects and Generate Detection Algorithms. | Naouel Moha, Yann-Gal Guhneuc, Anne-Franoise Le Meur, Laurence Duchien |
| 2008 | Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. | Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar |
| 2008 | Formal Model-Driven Program Refactoring. | Tiago Massoni, Rohit Gheyi, Paulo Borba |
| 2008 | Translating Model Simulators to Analysis Models. | Juan de Lara, Hans Vangheluwe |
| 2008 | A Formal Framework for Developing Adaptable Service-Based Applications. | Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezz |
| 2008 | Leveraging Patterns on Domain Models to Improve UML Profile Definition. | Franois Lagarde, Huscar Espinoza, Franois Terrier, Charles Andr, Sbastien Grard |
| 2008 | Software Quality Improvement Via Pattern Matching. | Radu Kopetz, Pierre-Etienne Moreau |
| 2008 | Automated Analysis of Permission-Based Security Using UMLsec. | Jan Jrjens, Jrg Schreck, Yijun Yu |
| 2008 | Formal Approach to Integrating Feature and Architecture Models. | Mikols Janota, Goetz Botterweck |
| 2008 | A Model Checking Approach for Verifying COWS Specifications. | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | Consistent Integration of Models Based on Views of Visual Languages. | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange |
| 2008 | Towards Faithful Model Extraction Based on Contexts. | Lucio Mauro Duarte, Jeff Kramer, Sebastin Uchitel |
| 2008 | Contextual Integration Testing of Classes. | Giovanni Denaro, Alessandra Gorla, Mauro Pezz |
| 2008 | Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. | Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft |
| 2008 | COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems. | Subhajit Datta, Robert van Engelen |
| 2008 | What's in a Feature: A Requirements Engineering Perspective. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens |
| 2008 | Modelling and Verification of Timed Interaction and Migration. | Gabriel Ciobanu, Maciej Koutny |
| 2008 | Clint: A Composition Language Interpreter (Tool Paper). | Javier Cmara, Gwen Salan, Carlos Canal |
| 2008 | HOL-OCL: A Formal Proof Environment for UML/OCL. | Achim D. Brucker, Burkhart Wolff |
| 2008 | When Things Go Wrong: Interrupting Conversations. | Juliana Kster Filipe Bowles, Sotiris Moschoyiannis |
| 2008 | An Algebraic Semantics for MOF. | Artur Boronat, Jos Meseguer |
| 2008 | Engineering Service Oriented Applications: From StPowla Processes to SRML Models. | Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec |
| 2008 | Verification of Architectural Refactorings by Rule Extraction. | Dnes Bisztray, Reiko Heckel, Hartmut Ehrig |
| 2008 | Regular Inference for State Machines Using Domains with Equality Tests. | Therese Berg, Bengt Jonsson, Harald Raffelt |