| 2016 | A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt |
| 2016 | ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee |
| 2016 | An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan |
| 2016 | Automated Choreography Repair. Samik Basu, Tevfik Bultan |
| 2016 | Automated Model Merge by Design Space Exploration. Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo |
| 2016 | CafeInMaude: A CafeOBJ Interpreter in Maude. Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi |
| 2016 | Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment. Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia |
| 2016 | Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall |
| 2016 | Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier |
| 2016 | Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Perdita Stevens, Andrzej Wasowski |
| 2016 | Hybrid Session Verification Through Endpoint API Generation. Raymond Hu, Nobuko Yoshida |
| 2016 | Integrated Environment for Verifying and Running Distributed Components. Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine |
| 2016 | Iterative and Incremental Model Generation by Logic Solvers. Oszkár Semeráth, András Vörös, Dániel Varró |
| 2016 | Many-Valued Institutions for Constraint Specification. Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas |
| 2016 | Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr |
| 2016 | Model-Based Testing of Probabilistic Systems. Marcus Gerhold, Mariëlle Stoelinga |
| 2016 | Modeling and Abstraction of Memory Management in a Hypervisor. Pauline Bolignano, Thomas Jensen, Vincent Siles |
| 2016 | PVAIR: Partial Variable Assignment InterpolatoR. Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina |
| 2016 | Reduction Rules for Colored Workflow Nets. Javier Esparza, Philipp Hoffmann |
| 2016 | RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger |
| 2016 | Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo |
| 2016 | The Death of Object-Oriented Programming. Oscar Nierstrasz |
| 2016 | The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs. Lei Wang, Han Li, Xinchen Wang |
| 2016 | Towards Formal Proof Metrics. David Aspinall, Cezary Kaliszyk |
| 2016 | Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories. Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo |
| 2016 | Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. Sander de Putter, Anton Wijs |