| 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 | 45 | 2023 |
| An fmi-based initialization plugin for into-cps maestro 2 ST Hansen, C Thule, C Gomes International Conference on Software Engineering and Formal Methods, 295-310, 2020 | 10 | 2020 |
| 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 | 9 | 2022 |
| 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 |
| 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 | 7 | 2024 |
| 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 | 7 | 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 | 6 | 2022 |
| Monitoring reconfigurable simulation scenarios in co-simulated digital twins ST Hansen, E Kamburjan, Z Kazemi International Symposium on Leveraging Applications of Formal Methods, 47-61, 2024 | 2 | 2024 |
| State of the art report: verified computation J Woodcock, MS Andersen, DF Aranha, S Hallerstede, ST Hansen, ... arXiv preprint arXiv:2308.15191, 2023 | 2 | 2023 |
| 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 | 2 | 2022 |
| Synthesizing orchestration algorithms for FMI 3.0 ST Hansen, C Gomes, Z Kazemi 2023 Annual Modeling and Simulation Conference (ANNSIM), 184-195, 2023 | 1 | 2023 |
| Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service MH Kristensen, A Bonizzi, C Gomes, ST Hansen, C Isasa, H Iven, ... 2024 IEEE International Conference on Autonomic Computing and Self …, 2024 | | 2024 |
| Modelling for Digital Twins G Abbiati, C Gomes, M Sandberg, Z Kazemi, ST Hansen, PG Larsen The Engineering of Digital Twins, 89-127, 2024 | | 2024 |
| Future Directions and Challenges PG Larsen, J Fitzgerald, C Gomes, J Woodcock, S Basagiannis, A Ulisse, ... The Engineering of Digital Twins, 363-386, 2024 | | 2024 |
| System Monitoring through a Digital Twin M Frasheri, P Katsaros, A Iosifidis, ST Hansen, C Gomes, V Tang, ... The Engineering of Digital Twins, 189-207, 2024 | | 2024 |
| Daedalux: An Extensible Platform for Variability-Aware Model Checking S Lazreg, M Cordy, ST Hansen, A Legay Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
| Accurate Co-simulation of Cyber-Physical Systems: A Formal Approach ST Hansen Århus Universitet, 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 | | |
Cláudio Ângelo Gonçalves GomesAarhus UniversityVerifisert e-postadresse på ece.au.dk