Simon Thrane Hansen

Cited by

	All	Since 2019
Citations	55	55
h-index	4	4
i10-index	2	2

20212022202320246 10 18 21

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Cláudio Ângelo Gonçalves GomesAarhus UniversityVerified email at ece.au.dk
Casper ThulePostDoc, Aarhus University, Department of Engineering, DIGITVerified email at eng.au.dk
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Emad Samuel Malki EbeidFull Professor, University of Southern DenmarkVerified email at sdu.dk
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Giuseppe AbbiatiUniversity of Aarhus, Department of Civil and Architectural EngineeringVerified email at cae.au.dk
Jose A. CastellanosProfessor of Systems Engineering and Automation, University of ZaragozaVerified email at unizar.es
Emin Oguz InciKU LeuvenVerified email at kuleuven.be
Zahra KazemiAarhus UniversityVerified email at ece.au.dk
Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksVerified email at sweetgeeks.dk
Hugo Daniel MacedoAarhus UniversityVerified email at ece.au.dk

Simon Thrane Hansen

Ph.d. student, Aarhus University

Verified email at ece.au.dk

Discrete Math Verifiable Computation Co-Simulation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	19	2023
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	10	2021
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	9	2021
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	6	2021
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	4	2022
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	4	2022
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	2	2024
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	1	2022
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

The system can't perform the operation now. Try again later.

Articles 1–12

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors