Co-simulation: a survey C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018 | 476 | 2018 |
Co-simulation: State of the art C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe arXiv preprint arXiv:1702.00686, 2017 | 274 | 2017 |
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 | 98 | 2019 |
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 | 44 | 2021 |
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 | 36 | 2019 |
Co-simulation of continuous systems: a tutorial C Gomes, C Thule, PG Larsen, J Denil, H Vangheluwe arXiv preprint arXiv:1809.08463, 2018 | 33 | 2018 |
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 | 28 | 2021 |
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 | 27 | 2018 |
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 | 21 | 2020 |
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 | 15 | 2023 |
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 | 15 | 2020 |
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 | 14 | 2021 |
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 | 13 | 2016 |
Co-Simulation: State of the Art; 2017 C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe arXiv preprint arXiv:1702.00686, 2017 | 12 | 2017 |
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 | 10 | 2021 |
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 | 10 | 2020 |
Examples compendium 3 M Mansfield, C Gamble, K Pierce, J Fitzgerald, S Foster, C Thule, ... Technical report, INTO-CPS Deliverable, D3. 6, 2017 | 10 | 2017 |
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 | 9 | 2021 |
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 | 9 | 2021 |