Casper Thule

According to our database, Casper Thule authored at least 29 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Co-simulation at different levels of expertise with Maestro2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen

J. Syst. Softw., March, 2024

2023

Addressing time discrepancy between digital and physical twins.

Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle

Robotics Auton. Syst., March, 2023

Building Safer Robots: From Simulation to Hardware Deployment.

Mirgita Frasheri, Gill Lumer-Klabbers, Jakob Levisen Kvistgaard, Jacob Odgaard Hausted, Casper Thule, Lukas Esterle, Peter Gorm Larsen

Proceedings of the 27th International Conference on Methods and Models in Automation and Robotics, 2023

2022

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun

Int. J. Softw. Tools Technol. Transf., 2022

2021

Proceedings of the 19th International Overture Workshop.

Hugo Daniel Macedo, Casper Thule, Ken Pierce

CoRR, 2021

RMQFMU: Bridging the Real World with Co-simulation Technical Report.

Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Lukas Esterle

CoRR, 2021

The Incubator Case Study for Digital Twin Engineering.

Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen

CoRR, 2021

Developing a Physical and Digital Twin: An Example Process Model.

Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Fault Injecting Co-simulations for Safety.

Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle

Proceedings of the 5th International Conference on System Reliability and Safety, 2021

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.

Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

The Effect and Selection of Solution Sequence in Co-Simulation.

Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Annual Modeling and Simulation Conference, 2021

Introduction to Digital Twin Engineering.

Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

Introducing Regression Tests and Upgrades to the INTO-CPS Application.

Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

An FMI-Based Initialization Plugin for INTO-CPS Maestro 2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Towards a Digital Twin - Modelling an Agricultural Vehicle.

Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019

Semantic adaptation for FMI co-simulation with hierarchical simulators.

Cláudio Gomes, Bart Meyers, Joachim Denil, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe, Paul De Meulenaere

Simul., 2019

Maestro: The INTO-CPS co-simulation framework.

Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen

Simul. Model. Pract. Theory, 2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.

Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Generation of Co-simulation Algorithms Subject to Simulator Contracts.

Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Migrating the INTO-CPS Application to the Cloud.

Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Towards a Static Check of FMUs in VDM-SL.

Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.

Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Co-Simulation: A Survey.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

ACM Comput. Surv., 2018

Co-simulation of Continuous Systems: A Tutorial.

Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe

CoRR, 2018

Towards the Verification of Hybrid Co-simulation Algorithms.

Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe

Proceedings of the Software Technologies: Applications and Foundations, 2018

Demo: Stabilization Technique in INTO-CPS.

Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe

Proceedings of the Software Technologies: Applications and Foundations, 2018

Co-simulation: The Past, Future, and Open Challenges.

Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Co-simulation: State of the art.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

CoRR, 2017

Distributed Co-simulation of Embedded Control Software Using INTO-CPS.

Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2017