| 2015 | A Generalized Formal Framework for Partial Modeling. Rick Salay, Marsha Chechik |
| 2015 | A Variability-Based Approach to Reusable and Efficient Model Transformations. Daniel Strüber, Julia Rubin, Marsha Chechik, Gabriele Taentzer |
| 2015 | An Institution for Simple UML State Machines. Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer |
| 2015 | Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin. Kristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer |
| 2015 | BPEL Integration Testing. Seema Jehan, Ingo Pill, Franz Wotawa |
| 2015 | Composing Message Translators and Inferring Their Data Types Using Tree Automata. Emil Andriescu, Thierry Martinez, Valérie Issarny |
| 2015 | Data-Oriented Characterization of Application-Level Energy Optimization. Kenan Liu, Gustavo Pinto, Yu David Liu |
| 2015 | Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis |
| 2015 | Exploring Scenario Exploration. Nuno Macedo, Alcino Cunha, Tiago Guimarães |
| 2015 | Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer |
| 2015 | Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings Alexander Egyed, Ina Schaefer |
| 2015 | Just Test What You Cannot Verify! Mike Czech, Marie-Christine Jakobs, Heike Wehrheim |
| 2015 | Lazy TSO Reachability. Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer |
| 2015 | Map-Based Transparent Persistence for Very Large Models. Abel Gómez, Massimo Tisi, Gerson Sunyé, Jordi Cabot |
| 2015 | Model-Based Adaptation of Software Communicating via FIFO Buffers. Carlos Canal, Gwen Salaün |
| 2015 | Model-Based Formal Reasoning about Data-Management Applications. Carolina Dania, Manuel Clavel |
| 2015 | On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. Christian Brenner, Joel Greenyer, Wilhelm Schäfer |
| 2015 | Performance-Based Software Model Refactoring in Fuzzy Contexts. Davide Arcelli, Vittorio Cortellessa, Catia Trubiani |
| 2015 | Resource Specification for Prototyping Human-Intensive Systems. Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman |
| 2015 | Self-adaptive Software with Decentralised Control Loops. Radu Calinescu, Simos Gerasimou, Alec Banks |
| 2015 | Symbolic Detection of Assertion Dependencies for Bounded Model Checking. Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina |
| 2015 | The Prophecy of Undo. Martín Abadi |
| 2015 | Translation Validation for Clock Transformations in a Synchronous Compiler. Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
| 2015 | Verification of Loop Parallelisations. Stefan Blom, Saeed Darabi, Marieke Huisman |