| 2018 | SMT-Based Verification of Solidity Smart Contracts. | Leonardo Alt, Christian Reitwiener |
| 2018 | Untitled record | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi |
| 2018 | Dynamic Security Specification Through Autonomic Component Ensembles. | Rima Al Ali, Toms Bures, Petr Hnetynka, Filip Krijt, Frantisek Plsil, Jir Vinrek |
| 2018 | A Broader View on Verification: From Static to Runtime and Back (Track Summary). | Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier |
| 2018 | Engineering Collectives of Self-driving Vehicles: The SOTA Approach. | Dhaminda B. Abeywickrama, Marco Mamei, Franco Zambonelli |
| 2018 | ByMC: Byzantine Model Checker. | Igor Konnov, Josef Widder |
| 2018 | In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. | Dirk Beyer, Karlheinz Friedberger |
| 2018 | Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. | Dirk Beyer, Matthias Dangl |
| 2018 | Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. | Jan Peleska, Jrg Brauer, Wen-ling Huang |
| 2016 | Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. | Natalia Zon, Stephen Gilmore, Jane Hillston |
| 2016 | A Fully Model-Based Approach to Software Development for Industrial Centrifuges. | Nils Wortmann, Malte Michel, Stefan Naujokat |
| 2016 | Heterogeneous Semantics and Unifying Theories. | Jim Woodcock, Simon Foster, Andrew Butterfield |
| 2016 | Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. | David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer |
| 2016 | Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? | Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas |
| 2016 | Integration and Promotion of Autonomy with the ARE Framework. | Emil Vassev, Mike Hinchey |
| 2016 | Safe Artificial Intelligence and Formal Methods - (Position Paper). | Emil Vassev |
| 2016 | On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle. | Josef Strnadel |
| 2016 | Effective and Efficient Customization Through Lean Trans-Departmental Configuration. | Barbara Steffen, Steve Boelmann, Axel Hessenkmper |
| 2016 | A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems. | Stefan Stanciulescu, Daniela Rabiser, Christoph Seidl |
| 2016 | Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues - ISOLA'2016 - Panel Discussion Position Paper. | Giovanna Di Marzo Serugendo |
| 2016 | Programming ⊂ Modeling ⊂ Engineering. | Bran Selic |
| 2016 | On a Unified View of Modeling and Programming Position Paper. | Ed Seidewitz |
| 2016 | Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning Algorithms. | Mark Schudeleit, Meng Zhang, Xiaofei Qi, Ferit Kkay, Andreas Rausch |
| 2016 | Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). | Markus Schordan, Dirk Beyer, Jonas Lundberg |
| 2016 | On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. | Gerardo Schneider |