Casper Thule
Casper Thule
PostDoc, Aarhus University, Department of Engineering, DIGIT
Email verificata su eng.au.dk - Home page
Titolo
Citata da
Citata da
Anno
Co-simulation: a survey
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018
1572018
Co-simulation: State of the art
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
arXiv preprint arXiv:1702.00686, 2017
1572017
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
342019
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
222019
Co-simulation of continuous systems: a tutorial
C Gomes, C Thule, PG Larsen, J Denil, H Vangheluwe
arXiv preprint arXiv:1809.08463, 2018
162018
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
162018
Investigating concurrency in the co-simulation orchestration engine for INTO-CPS
C Thule, PG Larsen
Труды Института системного программирования РАН 28 (2), 2016
112016
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
82016
INTO-CPS tool chain user manual
V Bandur, PG Larsen, K Lausdahl, C Thule, AF Terkelsen, C Gamble, ...
Technical report, INTO-CPS Deliverable, 2016
82016
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
62017
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
52017
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
42019
Migrating the INTOCPS application to the cloud
MB Rasmussen, C Thule, HD Macedo, PG Larsen
Proceedings of 17th Overture Workshop, 47-61, 2019
42019
Overture FMU: export VDM-RT models as tool-wrapper FMUs
C Thule, K Lausdahl, PG Larsen
The 16th Overture Workshop, 23, 2018
42018
Verifying the Co-Simulation Orchestration Engine for INTO-CPS
C Thule
Doctoral Symposium FM, 2016
42016
Migrating the INTO-CPS Application to the Cloud
HD Macedo, MB Rasmussen, C Thule, PG Larsen
International Symposium on Formal Methods, 254-271, 2019
32019
Power Systems I
Y Fu, W Zuo, K Baker, N MacRae, J Batteh, S Velut, I Khan, W Skrivan, ...
31980
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
22019
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
22019
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20