| 2008 | A Domain Analysis to Specify Design Defects and Generate Detection Algorithms. Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien |
| 2008 | A Formal Framework for Developing Adaptable Service-Based Applications. Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè |
| 2008 | A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. Till Mossakowski, Lutz Schröder, Sergey Goncharov |
| 2008 | A Logic of Graph Constraints. Fernando Orejas, Hartmut Ehrig, Ulrike Prange |
| 2008 | A Model Checking Approach for Verifying COWS Specifications. Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | An Algebraic Semantics for MOF. Artur Boronat, José Meseguer |
| 2008 | An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte |
| 2008 | Automated Analysis of Permission-Based Security Using UMLsec. Jan Jürjens, Jörg Schreck, Yijun Yu |
| 2008 | COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems. Subhajit Datta, Robert van Engelen |
| 2008 | Clint: A Composition Language Interpreter (Tool Paper). Javier Cámara, Gwen Salaün, Carlos Canal |
| 2008 | Consistent Integration of Models Based on Views of Visual Languages. Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange |
| 2008 | Contextual Integration Testing of Classes. Giovanni Denaro, Alessandra Gorla, Mauro Pezzè |
| 2008 | Correctness-Preserving Configuration of Business Process Models. Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling |
| 2008 | Deriving Non-zeno Behavior Models from Goal Models Using ILP. Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel |
| 2008 | Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar |
| 2008 | Engineering Service Oriented Applications: From StPowla Processes to SRML Models. Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec |
| 2008 | Formal Approach to Integrating Feature and Architecture Models. Mikolás Janota, Goetz Botterweck |
| 2008 | Formal Model-Driven Program Refactoring. Tiago Massoni, Rohit Gheyi, Paulo Borba |
| 2008 | Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings José Luiz Fiadeiro, Paola Inverardi |
| 2008 | HOL-OCL: A Formal Proof Environment for UML/OCL. Achim D. Brucker, Burkhart Wolff |
| 2008 | Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft |
| 2008 | Leveraging Patterns on Domain Models to Improve UML Profile Definition. François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard |
| 2008 | Modelling and Verification of Timed Interaction and Migration. Gabriel Ciobanu, Maciej Koutny |
| 2008 | Object Composition in Scenario-Based Programming. Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz |
| 2008 | Orthographic Modeling Environment. Colin Atkinson, Dietmar Stoll |
| 2008 | Regular Inference for State Machines Using Domains with Equality Tests. Therese Berg, Bengt Jonsson, Harald Raffelt |
| 2008 | Software Quality Improvement Via Pattern Matching. Radu Kopetz, Pierre-Etienne Moreau |
| 2008 | Towards Faithful Model Extraction Based on Contexts. Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel |
| 2008 | Translating Model Simulators to Analysis Models. Juan de Lara, Hans Vangheluwe |
| 2008 | Verification of Architectural Refactorings by Rule Extraction. Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
| 2008 | What's in a Feature: A Requirements Engineering Perspective. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens |
| 2008 | When Things Go Wrong: Interrupting Conversations. Juliana Küster Filipe Bowles, Sotiris Moschoyiannis |