| 2018 | BDDs on the Run. | Klaus Havelund, Doron Peled |
| 2018 | Modeling with Scala. | Klaus Havelund, Rajeev Joshi |
| 2018 | A Unified Approach for Modeling, Developing, and Assuring Critical Systems. | John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang |
| 2018 | A Non-unified View of Modelling, Specification and Programming. | Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald |
| 2018 | DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. | Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen |
| 2018 | Co-simulation: The Past, Future, and Open Challenges. | Cludio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe |
| 2018 | X-by-C: Non-functional Security Challenges. | Thomas Given-Wilson, Axel Legay |
| 2018 | Cyber-Physical Systems Engineering: An Introduction. | J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock |
| 2018 | Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm. | Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt |
| 2018 | Temporal Reasoning on Incomplete Paths. | Dana Fisman, Hillel Kugler |
| 2018 | Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). | Michael Felderer, Dilian Gurov, Marieke Huisman, Bjrn Lisper, Rupert Schlick |
| 2018 | Definition of Modeling vs. Programming Languages. | Maged Elaasar |
| 2018 | Deductive Verification of Unmodified Linux Kernel Library Functions. | Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov |
| 2018 | Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. | Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif |
| 2018 | Pitfalls in Applying Model Learning to Industrial Legacy Software. | Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote |
| 2018 | Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. | Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem |
| 2018 | Programming Safe Robotics Systems: Challenges and Advances. | Ankush Desai, Shaz Qadeer, Sanjit A. Seshia |
| 2018 | Lightweight Statistical Model Checking in Nondeterministic Continuous Time. | Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2018 | Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni |
| 2018 | Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. | Christian Colombo, Gordon J. Pace |
| 2018 | Contracts over Smart Contracts: Recovering from Violations Dynamically. | Christian Colombo, Joshua Ellul, Gordon J. Pace |
| 2018 | Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects. | David R. Cok |
| 2018 | Programming Is Modeling. | Rance Cleaveland |
| 2018 | Temporal Aspects of Smart Contracts for Financial Derivatives. | Christopher D. Clack, Gabriel Vanca |
| 2018 | A Language-Independent Program Verification Framework. | Xiaohong Chen, Grigore Rosu |