| 2016 | Introduction to the Track on Variability Modeling for Scalable Software Evolution. | Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu |
| 2016 | Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. | Ferruccio Damiani, Michael Lienhardt |
| 2016 | Runtime Verification for Stream Processing Applications. | Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami |
| 2016 | Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. | Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson |
| 2016 | A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. | Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin |
| 2016 | A Toolchain for Delta-Oriented Modeling of Software Product Lines. | Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vtor Rodrigues, Sven Schuster |
| 2016 | On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. | Zheng Cheng, Dominique Mry, Rosemary Monahan |
| 2016 | Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication. | Toms Bures, Petr Hnetynka, Filip Krijt, Vladimr Matena, Frantisek Plsil |
| 2016 | Towards a Unified View of Modeling and Programming (Track Summary). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2016 | Towards a Unified View of Modeling and Programming. | Manfred Broy, Klaus Havelund, Rahul Kumar |
| 2016 | DIME: A Programming-Less Modeling Environment for Web Applications. | Steve Boelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen |
| 2016 | Challenges in Fault-Tolerant Distributed Runtime Verification. | Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
| 2016 | Information Flow Analysis for Go. | Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert |
| 2016 | Security and Privacy of Protocols and Software with Formal Methods. | Fabrizio Biondi, Axel Legay |
| 2016 | Symbolic Execution with CEGAR. | Dirk Beyer, Thomas Lemberger |
| 2016 | Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. | Dirk Beyer |
| 2016 | Combinatory Process Synthesis. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2016 | Formally Unifying Modeling and Design for Embedded Systems - A Personal View. | Grard Berry |
| 2016 | Supervisory Controller Synthesis for Product Lines Using CIF 3. | Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink |
| 2016 | Statistical Model Checking for Product Lines. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2016 | Correctness-by-Construction and Post-hoc Verification: Friends or Foes? | Maurice H. ter Beek, Reiner Hhnle, Ina Schaefer |
| 2016 | Variability-Based Design of Services for Smart Transportation Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2016 | Conditions for Compatibility of Components - The Case of Masters and Slaves. | Maurice H. ter Beek, Josep Carmona, Jetty Kleijn |
| 2016 | Deductive Verification of Legacy Code. | Bernhard Beckert, Thorsten Bormer, Daniel Grahl |
| 2016 | What the Hack Is Wrong with Software Doping? | Kevin Baum |