Simon Thrane Hansen

12 papers B 1C 2Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Validating the Optimization of a Building Occupancy Monitoring Software System. ICSOFT Jalil Boudjadar, Simon Thrane Hansen
2024	J	`jnl`	Co-simulation at different levels of expertise with Maestro2. J. Syst. Softw. Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen
2024	—	`conf`	Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay
2024	—	`conf`	Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. ISoLA (5) Simon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi
2024	—	`conf`	Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, 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, Lars Bernd Vosteen, Thomas Wright
2023	J	`jnl`	State of the Art Report: Verified Computation. CoRR Jim Woodcock, 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
2023	—	`conf`	Synthesizing Orchestration Algorithms for FMI 3.0. ANNSIM Simon Thrane Hansen, Cláudio Gomes, Zahra Kazemi
2022	—	`conf`	Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. WRLA Simon Thrane Hansen, Peter Csaba Ölveczky
2022	J	`jnl`	Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 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
2021	—	`conf`	Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol
2021	C	`conf`	Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
2020	B	`conf`	An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. SEFM Simon Thrane Hansen, Casper Thule, Cláudio Gomes