| 2016 | Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2016 | Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). | Ezio Bartocci, Ylis Falcone |
| 2016 | Facets of Software Doping. | Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns |
| 2016 | ALEX: Mixed-Mode Learning of Web Applications at Ease. | Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen |
| 2016 | A Model-Based Approach to Combining Static and Dynamic Verification Techniques. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2016 | Probabilistic Model Checking of Incomplete Models. | Shiraj Arora, M. V. Panduranga Rao |
| 2016 | A Privacy-Aware Conceptual Model for Handling Personal Data. | Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider |
| 2016 | Logic Fragments: Coordinating Entities with Logic Programs. | Francesco Luca De Angelis, Giovanna Di Marzo Serugendo |
| 2016 | Programming of CAS Systems by Relying on Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2016 | StaRVOOrS - Episode II - Strengthen and Distribute the Force. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2016 | Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. | Waheed Ahmad, Jaco van de Pol |
| 2016 | Model-Based Testing as a Service for IoT Platforms. | Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard |
| 2014 | Data Driven Testing of Open Source Software. | Inbal Yahav, Ron S. Kenett, Xiaoying Bai |
| 2014 | Contracts in CML. | Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen |
| 2014 | Battery-Aware Scheduling of Mixed Criticality Systems. | Erik Ramsgaard Wognsen, Ren Rydhof Hansen, Kim Guldstrand Larsen |
| 2014 | Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. | Martin Wirsing, Rocco De Nicola, Matthias M. Hlzl |
| 2014 | jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows. | Alexander Wickert, Anna-Lena Lamprecht |
| 2014 | Active Learning of Nondeterministic Systems from an ioco Perspective. | Michele Volpato, Jan Tretmans |
| 2014 | Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies. | Jonathan K. Vis, Joost N. Kok |
| 2014 | Formalizing Self-adaptive Clouds with KnowLang. | Emil Vassev, Mike Hinchey, Philip Mayer |
| 2014 | A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection. | Fredrik Seehusen |
| 2014 | Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. | Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Nol Pouchet |
| 2014 | Evaluation and Reproducibility of Program Analysis (Track Introduction). | Markus Schordan, Welf Lwe, Dirk Beyer |
| 2014 | Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). | Ina Schaefer, Maurice H. ter Beek |
| 2014 | Construction of Abstract Domains for Heterogeneous Properties (Position Paper). | Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang |