| Co-simulation: a survey C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018 | 157 | 2018 |
| Co-simulation: State of the art C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe arXiv preprint arXiv:1702.00686, 2017 | 157 | 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 | 34 | 2019 |
| 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 | 22 | 2019 |
| Co-simulation of continuous systems: a tutorial C Gomes, C Thule, PG Larsen, J Denil, H Vangheluwe arXiv preprint arXiv:1809.08463, 2018 | 16 | 2018 |
| Towards the verification of hybrid co-simulation algorithms C Thule, C Gomes, J Deantoni, PG Larsen, J Brauer, H Vangheluwe Federation of International Conferences on Software Technologies …, 2018 | 16 | 2018 |
| Investigating concurrency in the co-simulation orchestration engine for INTO-CPS C Thule, PG Larsen Труды Института системного программирования РАН 28 (2), 2016 | 11 | 2016 |
| Integrated tool chain for model-based design of cyber-physical systems PG Larsen, C Thule, K Lausdahl, V Bardur, C Gamble, E Brosse, ... The 14th Overture Workshop: Towards Analytical Tool Chains 4, 63-79, 2016 | 8 | 2016 |
| INTO-CPS tool chain user manual V Bandur, PG Larsen, K Lausdahl, C Thule, AF Terkelsen, C Gamble, ... Technical report, INTO-CPS Deliverable, 2016 | 8 | 2016 |
| Distributed co-simulation of embedded control software using INTO-CPS N Pedersen, K Lausdahl, EV Sanchez, C Thule, PG Larsen, J Madsen International Conference on Simulation and Modeling Methodologies …, 2017 | 6 | 2017 |
| Maestro: the INTO-CPS co-simulation orchestration engine (2018) C Thule, K Lausdahl, PG Larsen, G Meisl submitted to Simulation Modelling Practice and Theory, 0 | 6 | |
| Examples Compendium 2 R Payne, C Gamble, K Pierce, J Fitzgerald, S Foster, C Thule, R Nilsson Tech. rep., INTO-CPS Deliverable, 2017 | 5 | 2017 |
| 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 | 4 | 2019 |
| Migrating the INTOCPS application to the cloud MB Rasmussen, C Thule, HD Macedo, PG Larsen Proceedings of 17th Overture Workshop, 47-61, 2019 | 4 | 2019 |
| Overture FMU: export VDM-RT models as tool-wrapper FMUs C Thule, K Lausdahl, PG Larsen The 16th Overture Workshop, 23, 2018 | 4 | 2018 |
| Verifying the Co-Simulation Orchestration Engine for INTO-CPS C Thule Doctoral Symposium FM, 2016 | 4 | 2016 |
| Migrating the INTO-CPS Application to the Cloud HD Macedo, MB Rasmussen, C Thule, PG Larsen International Symposium on Formal Methods, 254-271, 2019 | 3 | 2019 |
| Power Systems I Y Fu, W Zuo, K Baker, N MacRae, J Batteh, S Velut, I Khan, W Skrivan, ... | 3 | 1980 |
| Towards a Static Check of FMUs in VDM-SL N Battle, C Thule, C Gomes, HD Macedo, PG Larsen International Symposium on Formal Methods, 272-288, 2019 | 2 | 2019 |
| Generation of Co-simulation Algorithms Subject to Simulator Contracts C Gomes, C Thule, L Lúcio, H Vangheluwe, PG Larsen International Conference on Software Engineering and Formal Methods, 34-49, 2019 | 2 | 2019 |
