| 2021 | From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics. | Malte Mauritz, Moritz Roidl |
| 2021 | The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS. | Tiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck |
| 2021 | Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering. | Timothy C. Lethbridge |
| 2021 | Time for All Programs, Not Just Real-Time Programs. | Edward A. Lee, Marten Lohstroh |
| 2021 | DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories. | Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch |
| 2021 | Use Cases for Simulation in the Development of Automated Driving Systems. | Hardi Hungar |
| 2021 | Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. | Falk Howar, Hardi Hungar, Andreas Rausch |
| 2021 | Programming - What is Next? | Klaus Havelund, Bernhard Steffen |
| 2021 | Integrated Modeling and Development of Component-Based Embedded Software in Scala. | Klaus Havelund, Robert Bocchino |
| 2021 | HAMR: An AADL Multi-platform Code Generation Toolset. | John Hatcliff, Jason Belt, Robby, Todd Carpenter |
| 2021 | Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. | David Harel, Assaf Marron |
| 2021 | sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. | Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang |
| 2021 | Integrating External Services in DIME. | Hafiz Ahmad Awais Chaudhary, Tiziana Margaria |
| 2021 | Towards Model-Based Intent-Driven Adaptive Software. | Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai |
| 2021 | Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data. | Marcel Altendeitering |
| 2020 | Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. | Tao Yue, Paolo Arcaini, Shaukat Ali |
| 2020 | Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. | Jim Woodcock, Cludio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2020 | Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2020 | Modular Regression Verification for Reactive Systems. | Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch |
| 2020 | A Formal Model of the Kubernetes Container Framework. | Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani |
| 2020 | Epistemic Logic in Ensemble Specification. | Jan Srmeli |
| 2020 | Refactoring and Active Object Languages. | Volker Stolz, Violet Ka I Pun, Rohit Gheyi |
| 2020 | Efficient Static Analysis of Marlowe Contracts. | Pablo Lamela Seijas, David Smith, Simon J. Thompson |
| 2020 | Guaranteeing Type Consistency in Collective Adaptive Systems. | Jonas Schrmann, Tim Tegeler, Bernhard Steffen |
| 2020 | Software Verification Tools (Track Introduction). | Markus Schordan, Dirk Beyer, Irena Bojanova |