| 2020 | Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning. | Oliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif |
| 2020 | Swarm and Collective Capabilities for Multipotent Robot Ensembles. | Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif |
| 2020 | Shield Synthesis for Reinforcement Learning. | Bettina Knighofer, Florian Lorber, Nils Jansen, Roderick Bloem |
| 2020 | An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. | Martin Klbl, Stefan Leue |
| 2020 | Scaling Correctness-by-Construction. | Alexander Knppel, Tobias Runge, Ina Schaefer |
| 2020 | Designing Distributed Control with Hybrid Active Objects. | Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2020 | Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf |
| 2020 | Fluid Model-Checking in UPPAAL for Covid-19. | Peter Gjl Jensen, Kenneth Yrke Jrgensen, Kim G. Larsen, Marius Mikucionis, Marco Muiz, Danny Bgsted Poulsen |
| 2020 | Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. | Marc Jasper, Maximilian Schlter, David Schmidt, Bernhard Steffen |
| 2020 | A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. | Marie-Christine Jakobs, Heiko Mantel |
| 2020 | Approximating Euclidean by Imprecise Markov Decision Processes. | Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjl Jensen |
| 2020 | Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. | Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg |
| 2020 | Abstractions for Collective Adaptive Systems. | Omar Inverso, Catia Trubiani, Emilio Tuosto |
| 2020 | Inferring Performance from Code: A Review. | Emilio Incerto, Annalisa Napolitano, Mirco Tribastone |
| 2020 | A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. | Hardi Hungar |
| 2020 | Verification and Validation of Concurrent and Distributed Systems (Track Summary). | Marieke Huisman, Cristina Seceleanu |
| 2020 | On the Industrial Application of Critical Software Verification with VerCors. | Marieke Huisman, Ral E. Monti |
| 2020 | A Dynamic Logic for Systems with Predicate-Based Communication. | Rolf Hennicker, Martin Wirsing |
| 2020 | Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. | Ruben Hamers, Sung-Shik Jongmans |
| 2020 | Safer Parallelization. | Reiner Hhnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhfel, Felix Wolf |
| 2020 | Automated Verification of Embedded Control Software - Track Introduction. | Dilian Gurov, Paula Herber, Ina Schaefer |
| 2020 | Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. | Dilian Gurov, Reiner Hhnle, Eduard Kamburjan |
| 2020 | Probabilistic Mission Planning and Analysis for Multi-agent Systems. | Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
| 2020 | TraceVis: Towards Visualization for Deep Statistical Model Checking. | Timo P. Gros, David Gro, Stefan Gumhold, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix. | Christopher Goes |