| 2015 | Exploring Scenario Exploration. | Nuno Macedo, Alcino Cunha, Tiago Guimares |
| 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 | An Institution for Simple UML State Machines. | Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer |
| 2015 | BPEL Integration Testing. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2015 | Map-Based Transparent Persistence for Very Large Models. | Abel Gmez, Massimo Tisi, Gerson Suny, Jordi Cabot |
| 2015 | Symbolic Detection of Assertion Dependencies for Bounded Model Checking. | Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2015 | Model-Based Formal Reasoning about Data-Management Applications. | Carolina Dania, Manuel Clavel |
| 2015 | Just Test What You Cannot Verify! | Mike Czech, Marie-Christine Jakobs, Heike Wehrheim |
| 2015 | Model-Based Adaptation of Software Communicating via FIFO Buffers. | Carlos Canal, Gwen Salan |
| 2015 | Self-adaptive Software with Decentralised Control Loops. | Radu Calinescu, Simos Gerasimou, Alec Banks |
| 2015 | Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. | Johannes Brdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer |
| 2015 | On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. | Christian Brenner, Joel Greenyer, Wilhelm Schfer |
| 2015 | Lazy TSO Reachability. | Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer |
| 2015 | Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin. | Kristopher Born, Thorsten Arendt, Florian He, Gabriele Taentzer |
| 2015 | Verification of Loop Parallelisations. | Stefan Blom, Saeed Darabi, Marieke Huisman |
| 2015 | Performance-Based Software Model Refactoring in Fuzzy Contexts. | Davide Arcelli, Vittorio Cortellessa, Catia Trubiani |
| 2015 | Composing Message Translators and Inferring Their Data Types Using Tree Automata. | Emil Andriescu, Thierry Martinez, Valrie Issarny |
| 2015 | The Prophecy of Undo. | Martn Abadi |
| 2014 | Verifying Class Invariants in Concurrent Programs. | Marina Zaharieva-Stojanovski, Marieke Huisman |
| 2014 | An Expressive Semantics of Mocking. | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes |
| 2014 | Splitting Models Using Information Retrieval and Model Crawling Techniques. | Daniel Strber, Julia Rubin, Gabriele Taentzer, Marsha Chechik |
| 2014 | Bidirectionally Tolerating Inconsistency: Partial Transformations. | Perdita Stevens |
| 2014 | Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities. | Alireza Sadeghi, Naeem Esfahani, Sam Malek |
| 2014 | Comparator: A Tool for Quantifying Behavioural Compatibility. | Meriem Ouederni, Gwen Salan, Javier Cmara, Ernesto Pimentel |