Simon Thrane Hansen

Orcid: 0000-0002-3796-4319

According to our database1, Simon Thrane Hansen authored at least 11 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Co-simulation at different levels of expertise with Maestro2.
J. Syst. Softw., March, 2024

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Daedalux: An Extensible Platform for Variability-Aware Model Checking.
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023
State of the Art Report: Verified Computation.
CoRR, 2023

Synthesizing Orchestration Algorithms for FMI 3.0.
Proceedings of the Annual Modeling and Simulation Conference, 2023

2022
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
Int. J. Softw. Tools Technol. Transf., 2022

Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

2021
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling.
Proceedings of the Annual Modeling and Simulation Conference, 2021

2020
An FMI-Based Initialization Plugin for INTO-CPS Maestro 2.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020


  Loading...