| 2018 | Flexible Monitor Deployment for Runtime Verification of Large Scale Software. | Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky |
| 2018 | Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic. | Jan Winkels, Julian Graefenstein, Tristan Schfer, David Scholz, Jakob Rehof, Michael Henke |
| 2018 | Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap. | Constantin Wanninger, Christian Eymller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif |
| 2018 | Fusing Modeling and Programming into Language-Oriented Programming - Our Experiences with MPS. | Markus Voelter |
| 2018 | Capturing Inter-process Communication for Runtime Verification on Android. | Alex Villazn, Haiyang Sun, Walter Binder |
| 2018 | Towards Adding Variety to Simplicity. | Nachiappan Valliappan, Solne Mirliaz, Elisabet Lobo Vesga, Alejandro Russo |
| 2018 | Security Analysis of Smart Contracts in Datalog. | Petar Tsankov |
| 2018 | Towards Software Performance by Construction. | Mirco Tribastone |
| 2018 | Differential Equivalence Yields Network Centrality. | Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2018 | Modelling the Transition to Distributed Ledgers. | Jan Srmeli, Stefan Jhnichen, Jeff W. Sanders |
| 2018 | Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. | Josef Strnadel |
| 2018 | Modular, Correct Compilation with Automatic Soundness Proofs. | Dominic Steinhfel, Reiner Hhnle |
| 2018 | GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models. | Barbara Steffen, Steve Boelmann |
| 2018 | Towards Interactive Compilation Models. | Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2018 | Programming Language Specification and Implementation. | Peter Sestoft |
| 2018 | Temporal Properties of Smart Contracts. | Ilya Sergey, Amrit Kumar, Aquinas Hobor |
| 2018 | Design Languages: A Necessary New Generation of Computer Languages. | Bran Selic |
| 2018 | Marlowe: Financial Contracts on Blockchain. | Pablo Lamela Seijas, Simon J. Thompson |
| 2018 | ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. | Cristina Seceleanu |
| 2018 | Evaluating Tools for Software Verification (Track Introduction). | Markus Schordan, Dirk Beyer, Stephen F. Siegel |
| 2018 | Is Privacy by Construction Possible? | Gerardo Schneider |
| 2018 | A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. | Rupert Schlick, Michael Felderer, Istvn Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini |
| 2018 | A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways. | Tristan Schfer, Frederik Mller, Anja Burmann, Yevgen Pikus, Norbert Weienberg, Marcus Hintze, Jakob Rehof |
| 2018 | Towards Confidentiality-by-Construction. | Ina Schaefer, Tobias Runge, Alexander Knppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson |
| 2018 | Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. | Csar Snchez, Gerardo Schneider, Martin Leucker |