| 2022 | Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems. | Stefania Monica, Federico Bergenti, Franco Zambonelli |
| 2022 | DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design Perspective. | Alan McGibney, Sourabh Bharti |
| 2022 | DIME Days (ISoLA 2022 Track Introduction). | Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen |
| 2022 | Digital Thread in Smart Manufacturing. | Tiziana Margaria, Dirk Pesch, Alan McGibney |
| 2022 | Using Supplementary Properties to Reduce the Need for Documentation. | Ole Lehrmann Madsen, Birger Mller-Pedersen |
| 2022 | Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins. | Le Liu, Aleksandra Lekic, Marjan Popov |
| 2022 | A Rewriting Framework for Interacting Cyber-Physical Agents. | Benjamin Lion, Farhad Arbab, Carolyn L. Talcott |
| 2022 | Efficient Estimation of Agent Networks. | Alexander Leguizamon-Robayo, Max Tschaikowski |
| 2022 | An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. | Jaehun Lee, Kyungmin Bae, Peter Csaba lveczky |
| 2022 | Safe and Secure Architecture Using Diverse Formal Methods. | Thierry Lecomte |
| 2022 | Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. | Sami Lazreg, Maxime Cordy, Axel Legay |
| 2022 | Formal Methods Meet Machine Learning (F3ML). | Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlter, Marille Stoelinga, Bernhard Steffen |
| 2022 | Importance Splitting in Uppaal. | Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen |
| 2022 | A Refactoring for Data Minimisation Using Formal Verification. | Florian Lanzinger, Mattias Ulbrich, Alexander Weigl |
| 2022 | Trust and Security Analyzer for Collaborative Digital Manufacturing Ecosystems. | Pasindu Kuruppuarachchi, Susan Rea, Alan McGibney |
| 2022 | Towards Secure Digital Twins. | Tomas Kulik, Cludio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen |
| 2022 | Towards a Methodology for Formally Analyzing Federated Identity Management Systems. | Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis |
| 2022 | Specification and Verification with the TLA | Igor Konnov, Markus Kuppe, Stephan Merz |
| 2022 | Understanding Social Feedback in Biological Collectives with Smoothed Model Checking. | Julia Klein, Tatjana Petrov |
| 2022 | Runtime Verification of Correct-by-Construction Driving Maneuvers. | Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer |
| 2022 | Assurance Provenance: The Next Challenge in Software Documentation. | Gabor Karsai, Daniel Balasubramanian |
| 2022 | Digital Twin Reconfiguration Using Asset Models. | Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen |
| 2022 | Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. | Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. | Sung-Shik Jongmans, Jos Proena |
| 2022 | Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). | Marieke Huisman, Cristina Seceleanu |