Simon Thrane Hansen

According to our database, Simon Thrane Hansen authored at least 10 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Co-simulation at different levels of expertise with Maestro2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen

J. Syst. Softw., March, 2024

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins.

Simon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Daedalux: An Extensible Platform for Variability-Aware Model Checking.

Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

State of the Art Report: Verified Computation.

Jim Woodcock, Mikkel Schimdt 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

Synthesizing Orchestration Algorithms for FMI 3.0.

Simon Thrane Hansen, Cláudio Gomes, Zahra Kazemi

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun

Int. J. Softw. Tools Technol. Transf., 2022

Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.

Simon Thrane Hansen, Peter Csaba Ölveczky

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

2021

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.

Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling.

Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020