| 2018 | Verifying Real-World Software with Contracts for Concurrency. | Joo M. Loureno |
| 2018 | Runtime and Memory Evaluation of Data Race Detection Tools. | Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin |
| 2018 | Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code. | Timothy C. Lethbridge, Abdulaziz Algablan |
| 2018 | Model-Based Systems Engineering for Systems Simulation. | Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel |
| 2018 | 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. | Kim G. Larsen, Florian Lorber, Brian Nielsen |
| 2018 | Statistical Model Checking the 2018 Edition! | Kim Guldstrand Larsen, Axel Legay |
| 2018 | Track Introduction - Doctoral Symposium 2018. | Anna-Lena Lamprecht |
| 2018 | Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. | Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu |
| 2018 | Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant. | Christian F. J. Knig, Gerd Meisl, Natalia Balcu, Benjamin Vosseler, Henrik Hrmann, Jos Hll, Victor Fler |
| 2018 | Scalability of Deductive Verification Depends on Method Call Treatment. | Alexander Knppel, Thomas Thm, Carsten Pardylla, Ina Schaefer |
| 2018 | From Modeling to Model-Based Programming. | Gabor Karsai |
| 2018 | Static Code Verification Through Process Models. | Sebastiaan J. C. Joosten, Marieke Huisman |
| 2018 | On Modeling and Programming. | Neil D. Jones |
| 2018 | On the Sequential Massart Algorithm for Statistical Model Checking. | Cyrille Jgourel, Jun Sun, Jin Song Dong |
| 2018 | Synthesizing Subtle Bugs with Known Witnesses. | Marc Jasper, Bernhard Steffen |
| 2018 | RERS 2018: CTL, LTL, and Reachability. | Marc Jasper, Malte Mues, Maximilian Schlter, Bernhard Steffen, Falk Howar |
| 2018 | The Meaning of Adaptation: Mastering the Unforeseen? | Stefan Jhnichen, Rocco De Nicola, Martin Wirsing |
| 2018 | Type Theory as a Framework for Modelling and Programming. | Cezar Ionescu, Patrik Jansson, Nicola Botta |
| 2018 | Scenario-Based Validation of Automated Driving Systems. | Hardi Hungar |
| 2018 | Program Correctness by Transformation. | Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari |
| 2018 | On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification. | Marieke Huisman |
| 2018 | Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. | Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas |
| 2018 | Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap. | Yoichi Hirai |
| 2018 | Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018. | Axel Hessenkmper, Falk Howar, Andreas Rausch |
| 2018 | Dynamic Logic for Ensembles. | Rolf Hennicker, Martin Wirsing |