Folgen
Simon Thrane Hansen
Simon Thrane Hansen
Ph.d. student, Aarhus University
Bestätigte E-Mail-Adresse bei ece.au.dk
Titel
Zitiert von
Zitiert von
Jahr
Design of an autonomous cooperative drone swarm for inspections of safety critical infrastructure
RH Jacobsen, L Matlekovic, L Shi, N Malle, N Ayoub, K Hageman, ...
Applied Sciences 13 (3), 1256, 2023
212023
An fmi-based initialization plugin for into-cps maestro 2
ST Hansen, C Thule, C Gomes
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021
102021
Synthesizing co-simulation algorithms with step negotiation and algebraic loop handling
ST Hansen, C Gomes, PG Larsen, J Van de Pol
2021 Annual Modeling and Simulation Conference (ANNSIM), 1-12, 2021
92021
Verification of co-simulation algorithms subject to algebraic loops and adaptive steps
ST Hansen, C Gomes, M Palmieri, C Thule, J van de Pol, J Woodcock
International Conference on Formal Methods for Industrial Critical Systems, 3-20, 2021
62021
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps
ST Hansen, C Thule, C Gomes, J van de Pol, M Palmieri, EO Inci, ...
International Journal on Software Tools for Technology Transfer 24 (6), 999-1024, 2022
42022
The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations
ST Hansen, CÂG Gomes, M Najafi, T Sommer, M Blesken, I Zacharias, ...
Electronics 11 (21), 3635, 2022
42022
Co-simulation at different levels of expertise with Maestro2
ST Hansen, C Thule, C Gomes, KG Lausdahl, FP Madsen, G Abbiati, ...
Journal of Systems and Software 209, 111905, 2024
22024
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude
ST Hansen, PC Ölveczky
International Workshop on Rewriting Logic and its Applications, 130-150, 2022
12022
State of the Art Report: Verified Computation
J Woodcock, MS Andersen, DF Aranha, S Hallerstede, ST Hansen, ...
arXiv preprint arXiv:2308.15191, 2023
2023
Accurate Co-simulation of Cyber-Physical Systems: A Formal Approach
ST Hansen
2023
Synthesizing Orchestration Algorithms for FMI 3.0
ST Hansen, C Gomes, Z Kazemi
2023 Annual Modeling and Simulation Conference (ANNSIM), 184-195, 2023
2023
Building Custom, Extensible, Fast, and Verifiable, Co-Simulations with Maestro2
C Thule, C Gomes, KG Lausdahl, FP Madsen, ST Hansen, G Abbiati, ...
Extensible, Fast, and Verifiable, Co-Simulations with Maestro2, 0
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12