Simon Thrane Hansen

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Automatic Initialization

Computational Cost

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Syst. Softw.

Publications

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen
Co-simulation at different levels of expertise with Maestro2. J. Syst. Softw. 209 (2024)
Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay
Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion (2024)
Simon Thrane Hansen, Cláudio Gomes, Zahra Kazemi
Synthesizing Orchestration Algorithms for FMI 3.0. ANNSIM (2023)
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
State of the Art Report: Verified Computation. CoRR (2023)
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Simon Thrane Hansen, Peter Csaba Ölveczky
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. WRLA@ETAPS (2022)
Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS (2021)
Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol
Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM (2021)
Simon Thrane Hansen, Casper Thule, Cláudio Gomes
An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. SEFM (2020)