| 2018 | A Language-Independent Approach to Smart Contract Verification. | Xiaohong Chen, Daejun Park, Grigore Rosu |
| 2018 | Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments. | Rui P. Cardoso, Rosaldo J. F. Rossetti, Emma Hart, David Burth Kurka, Jeremy Pitt |
| 2018 | Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2018 | Chasing Errors Using Biasing Automata. | Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov |
| 2018 | Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2018 | Testing Avionics Software: Is FMI up to the Task? | Jrg Brauer, Oliver Mller, Jan Peleska |
| 2018 | On the Difficulty of Drawing the Line. | Steve Boelmann, Stefan Naujokat, Bernhard Steffen |
| 2018 | Why Programming Must Be Supported by Modeling and How. | Egon Brger |
| 2018 | Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. | Jan H. Boockmann, Gerald Lttgen, Jan Tobias Mhlberg |
| 2018 | Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. | Borzoo Bonakdarpour, Csar Snchez, Gerardo Schneider |
| 2018 | Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. | Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic |
| 2018 | Security Filters for IoT Domain Isolation. | Dominique Bolignano, Florence Plateau |
| 2018 | Tutorial: An Overview of Malware Detection and Evasion Techniques. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf |
| 2018 | Deployment by Construction for Multicore Architectures. | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa |
| 2018 | Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons. | Carl Bergenhem, Karl Meinke, Fabian Strm |
| 2018 | The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. | Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing |
| 2018 | X-by-Construction. | Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2018 | Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. | Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich |
| 2018 | Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2018 | Fun with Bitcoin Smart Contracts. | Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino |
| 2018 | RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). | Ezio Bartocci, Ylis Falcone |
| 2018 | Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. | Sbastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentr, Nicky Williams |
| 2018 | Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2018 | Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. | Pranav Ashok, Toms Brzdil, Jan Kretnsk, Ondrej Slmecka |
| 2018 | Statistical Model Checking of Incomplete Stochastic Systems. | Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez |