An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001 (SEFM, 2020)

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. - Simon Thrane Hansen; Cláudio Gomes 001; Peter Gorm Larsen; Jaco van de Pol (ANNSIM, 2021)

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. - Simon Thrane Hansen; Cláudio Gomes 001; Maurizio Palmieri; Casper Thule; Jaco van de Pol; Jim Woodcock 001 (FMICS, 2021)

Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. - Simon Thrane Hansen; Peter Csaba Ölveczky (WRLA@ETAPS, 2022)

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Jaco van de Pol; Maurizio Palmieri; Emin Oguz Inci; Frederik Palludan Madsen; Jesus Alfonso; José Ángel Castellanos 001; José Manuel Rodriguez-Fortun (Int. J. Softw. Tools Technol. Transf., 2022)

Synthesizing Orchestration Algorithms for FMI 3.0. - Simon Thrane Hansen; Cláudio Gomes 001; Zahra Kazemi (ANNSIM, 2023)

State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt Andersen; Diego F. Aranha; Stefan Hallerstede; Simon Thrane Hansen; Nikolaj Kuhne Jakobsen; Tomas Kulik; Peter Gorm Larsen; Hugo Daniel Macedo; Carlos Ignacio Isasa Martin; Victor Alexander Mtsimbe Norrild (CoRR, 2023)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; Simon Thrane Hansen; Carlos Ignacio Isasa Martin; Hannes Iven; Eduard Kamburjan; Peter Gorm Larsen; Martin Leucker; Prasad Talasila; Valdemar Trøjgård Tang; Stefano Tonetta; et al. (ACSOS-C, 2024)

Daedalux: An Extensible Platform for Variability-Aware Model Checking. - Sami Lazreg; Maxime Cordy; Simon Thrane Hansen; Axel Legay (ICSE Companion, 2024)

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. - Simon Thrane Hansen; Eduard Kamburjan; Zahra Kazemi (ISoLA (5), 2024)

Co-simulation at different levels of expertise with Maestro2. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Kenneth Lausdahl; Frederik Palludan Madsen; Giuseppe Abbiati; Peter Gorm Larsen (J. Syst. Softw., 2024)

Validating the Optimization of a Building Occupancy Monitoring Software System. - Jalil Boudjadar; Simon Thrane Hansen (ICSOFT, 2025)