| 2018 | Model-Based Development for High-Assurance Embedded Systems. | Robby, John Hatcliff, Jason Belt |
| 2018 | Increasing the Reusability of Enforcers with Lifecycle Events. | Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
| 2018 | Mutation-Based Test Suite Evolution for Self-Organizing Systems. | Andr Reichstaller, Thomas Gabor, Alexander Knapp |
| 2018 | Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. | Stefan Puch, Martin Frnzle, Sebastian Gerwinn |
| 2018 | A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication. | Jeremy Pitt, Kristina Milanovic, Alexander Coupland, Tim Allan, Alun H. Davies, Tristan Lane, Anna Maria Malagoni, Ankur Thapar, Joseph Shalhoub |
| 2018 | Implementation of Privacy Calculus and Its Type Checking in Maude. | Georgios V. Pitsiladis, Petros S. Stefaneas |
| 2018 | Migrating Monitors + ABE: A Suitable Combination for Secure IoT? | Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider |
| 2018 | Bringing Effortless Refinement of Data Layouts to Cogent. | Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller |
| 2018 | Formal Verification in Automotive Industry: Enablers and Obstacles. | Mattias Nyberg, Dilian Gurov, Christian Lidstrm, Andreas Rasmusson, Jonas Westman |
| 2018 | Verification of Operating System Monolithic Kernels Without Extensions. | Evgeny Novikov, Ilja S. Zakharov |
| 2018 | DReAM: Dynamic Reconfigurable Architecture Modeling. | Rocco De Nicola, Alessandro Maggi, Joseph Sifakis |
| 2018 | Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. | Rocco De Nicola, Stefan Jhnichen, Martin Wirsing |
| 2018 | Intelligent Adaption Process in Cyber-Physical Production Systems. | Daniel Mller, Christin Schumacher, Felix Zeidler |
| 2018 | Smart Contracts and Opportunities for Formal Methods. | Andrew Miller, Zhicheng Cai, Somesh Jha |
| 2018 | Modelling by Patterns for Correct-by-Construction Process. | Dominique Mry |
| 2018 | Mitigating Security Risks Through Attack Strategies Exploration. | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2018 | Runtime Assertion Checking and Static Verification: Collaborative Partners. | Fonenantsoa Maurica, David R. Cok, Julien Signoles |
| 2018 | Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool. | Mirella Martnez, Anna Isabel Esparcia-Alczar, Tanja E. J. Vos, Pekka Aho, Joan Fons i Cors |
| 2018 | From Computational Thinking to Constructive Design with Simple Models. | Tiziana Margaria |
| 2018 | Computing Exact Worst-Case Gas Consumption for Smart Contracts. | Matteo Marescotti, Martin Blicha, Antti E. J. Hyvrinen, Sepideh Asadi, Natasha Sharygina |
| 2018 | Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems. | Houssem Ben Mahfoudh, Giovanna Di Marzo Serugendo, Anthony Boulmier, Nabil Abdennadher |
| 2018 | This Is Not a Model - On Development of a Common Terminology for Modeling and Programming. | Ole Lehrmann Madsen, Birger Mller-Pedersen |
| 2018 | A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO. | Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen |
| 2018 | Design for 'X' Through Model Transformation. | Michael Lybecait, Dawid Kopetzki, Bernhard Steffen |
| 2018 | Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. | Ziqing Luo, Stephen F. Siegel |