| Co-simulation: a survey C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018 | 499 | 2018 |
| Co-simulation: State of the art C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe arXiv preprint arXiv:1702.00686, 2017 | 289 | 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 | 104 | 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 | 52 | 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 | 37 | 2019 |
| Co-simulation of continuous systems: a tutorial C Gomes, C Thule, PG Larsen, J Denil, H Vangheluwe arXiv preprint arXiv:1809.08463, 2018 | 35 | 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 | 32 | 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 | 31 | 2018 |
| Towards reuse of synchronization algorithms in co-simulation frameworks C Thule, M Palmieri, C Gomes, K Lausdahl, HD Macedo, N Battle, ... International Conference on Software Engineering and Formal Methods, 50-66, 2019 | 22 | 2019 |
| 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 | 19 | 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 | 16 | 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 |
| Co-simulation: state of the art (2017) C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe arXiv preprint arXiv:1702.00686, 2017 | 13 | 2017 |
| 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. arXiv 2017 C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe arXiv preprint arXiv:1702.00686, 0 | 13 | |
| 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 | 12 | 2020 |
| Investigating concurrency in the co-simulation orchestration engine for INTO-CPS C Thule, PG Larsen Труды Института системного программирования РАН 28 (2), 139-156, 2016 | 11 | 2016 |
| 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 | 10 | 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 | 10 | 2021 |
| 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 |
