| 2018 | A Formal Framework for Incremental Model Slicing. Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter |
| 2018 | A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo |
| 2018 | Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). Aleksandar S. Dimovski |
| 2018 | CRETE: A Versatile Binary-Level Concolic Testing Framework. Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie |
| 2018 | Controlling the Attack Surface of Object-Oriented Refactorings. Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau |
| 2018 | Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró |
| 2018 | Effective Analysis of Attack Trees: A Model-Driven Approach. Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga |
| 2018 | FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin |
| 2018 | Fast Computation of Arbitrary Control Dependencies. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall |
| 2018 | Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Alessandra Russo, Andy Schürr |
| 2018 | Hierarchical Specification and Verification of Architectural Design Patterns. Diego Marmsoler |
| 2018 | Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. Oszkár Semeráth, Dániel Varró |
| 2018 | Multiple Model Synchronization with Multiary Delta Lenses. Zinovy Diskin, Harald König, Mark Lawford |
| 2018 | Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. David Landsberg, Youcheng Sun, Daniel Kroening |
| 2018 | ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer |
| 2018 | Summarizing Software API Usage Examples Using Clustering Techniques. Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton |
| 2018 | Supporting Verification-Driven Incremental Distributed Design of Components. Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi |
| 2018 | TCM: Test Case Mutation to Improve Crash Detection in Android. Yavuz Köroglu, Alper Sen |
| 2018 | Taming Multi-Variability of Software Product Line Transformations. Daniel Strüber, Sven Peldszus, Jan Jürjens |