Követés
Casper Thule
Casper Thule
PostDoc, Aarhus University, Department of Engineering, DIGIT
E-mail megerősítve itt: eng.au.dk - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Co-simulation: a survey
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018
4772018
Co-simulation: State of the art
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
arXiv preprint arXiv:1702.00686, 2017
2742017
Maestro: The INTO-CPS co-simulation framework
C Thule, K Lausdahl, C Gomes, G Meisl, PG Larsen
Simulation Modelling Practice and Theory 92, 45-61, 2019
982019
Introduction to digital twin engineering
H Feng, C Gomes, C Thule, K Lausdahl, A Iosifidis, PG Larsen
2021 Annual Modeling and Simulation Conference (ANNSIM), 1-12, 2021
452021
Semantic adaptation for FMI co-simulation with hierarchical simulators
C Gomes, B Meyers, J Denil, C Thule, K Lausdahl, H Vangheluwe, ...
Simulation 95 (3), 241-269, 2019
362019
Co-simulation of continuous systems: a tutorial
C Gomes, C Thule, PG Larsen, J Denil, H Vangheluwe
arXiv preprint arXiv:1809.08463, 2018
332018
The incubator case study for digital twin engineering
H Feng, C Gomes, C Thule, K Lausdahl, M Sandberg, PG Larsen
arXiv preprint arXiv:2102.10390, 2021
292021
Towards the verification of hybrid co-simulation algorithms
C Thule, C Gomes, J Deantoni, PG Larsen, J Brauer, H Vangheluwe
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
272018
Towards reuse of synchronization algorithms in co-simulation frameworks
C Thule, M Palmieri, C Gomes, K Lausdahl, HD Macedo, N Battle, ...
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020
212020
Addressing time discrepancy between digital and physical twins
M Frasheri, H Ejersbo, C Thule, C Gomes, JL Kvistgaard, PG Larsen, ...
Robotics and Autonomous Systems 161, 104347, 2023
152023
Migrating the INTO-CPS application to the cloud
HD Macedo, MB Rasmussen, C Thule, PG Larsen
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
152020
Towards a digital twin-modelling an agricultural vehicle
FF Foldager, C Thule, O Balling, PG Larsen
Leveraging Applications of Formal Methods, Verification and Validation …, 2021
142021
Integrated tool chain for model-based design of cyber-physical systems
PG Larsen, C Thule, KG Lausdahl, V Bandur, C Gamble, E Brosse, ...
The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report …, 2016
132016
Co-Simulation: State of the Art; 2017
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
arXiv preprint arXiv:1702.00686, 2017
122017
Co-simulation: State of the art. arXiv 2017
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
arXiv preprint arXiv:1702.00686, 0
12
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
Generation of co-simulation algorithms subject to simulator contracts
C Gomes, C Thule, L Lúcio, H Vangheluwe, PG Larsen
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020
102020
Examples compendium 3
M Mansfield, C Gamble, K Pierce, J Fitzgerald, S Foster, C Thule, ...
Technical report, INTO-CPS Deliverable, D3. 6, 2017
102017
Fault injecting co-simulations for safety
M Frasheri, C Thule, HD Macedo, K Lausdahl, PG Larsen, L Esterle
2021 5th International Conference on System Reliability and Safety (ICSRS), 6-13, 2021
92021
Rmqfmu: Bridging the real world with co-simulation for practitioners
M Frasheri, H Ejersbo, C Thule, L Esterle
Proceedings of the 19th International Overture Workshop, 66-80, 2021
92021
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20