Simon Thrane Hansen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSoft | Validating the Optimization of a Building Occupancy Monitoring Software System. | Jalil Boudjadar, Simon Thrane Hansen |
| 2024 | ICSE | Daedalux: An Extensible Platform for Variability-Aware Model Checking. | Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay |
| 2024 | ISoLA | Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. | Simon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi |
| 2021 | FMICS | Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. | Simon Thrane Hansen, Cludio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock |
| 2020 | SEFM | An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. | Simon Thrane Hansen, Casper Thule, Cludio Gomes |