E-LIB Suche - Ergebnisse für: Thule, Casper

1

Co-simulation at different levels of expertise with Maestro:

Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio...
Journal of Systems and Software. 209 (2024) - p. 111905 , 2024

Link: https://doi.org/10.1016/..

2

Addressing time discrepancy between digital and physical tw..:

Frasheri, Mirgita ; Ejersbo, Henrik ; Thule, Casper...
Robotics and Autonomous Systems. 161 (2023) - p. 104347 , 2023

Link: https://doi.org/10.1016/..

3

Building Safer Robots: From Simulation to Hardware Deployme..:

, In: 2023 27th International Conference on Methods and Models in Automation and Robotics (MMAR),

Frasheri, Mirgita ; Lumer-Klabbers, Gill ; Kvistgaard, Jakob Levisen... - p. 63-68 , 2023

Link: https://doi.org/10.1109/..

4

Verification and synthesis of co-simulation algorithms subj..:

Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio...
International Journal on Software Tools for Technology Transfer. 24 (2022) 6 - p. 999-1024 , 2022

Link: https://doi.org/10.1007/..

5

Verification of Co-simulation Algorithms Subject to Algebra..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Hansen, Simon Thrane ; Gomes, Cláudio ; Palmieri, Maurizio... - p. 3-20 , 2021

Link: https://doi.org/10.1007/..

6

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

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,

Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio - p. 295-310 , 2021

Link: https://doi.org/10.1007/..

7

Towards a Digital Twin - Modelling an Agricultural Vehicle:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science,

Foldager, Frederik F. ; Thule, Casper ; Balling, Ole. - p. 109-123 , 2021

Link: https://doi.org/10.1007/..

8

Introducing Regression Tests and Upgrades to the INTO-CPS A..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,

Talasila, Prasad ; Sanjari, Armine ; Villadsen, Kristoffer... - p. 311-317 , 2021

Link: https://doi.org/10.1007/..

9

Formally verified FMI enabled external data broker : rab..:

, In: Proceedings of the 2020 Summer Simulation Conference,

Thule, Casper ; Gomes, Cláudio ; Lausdahl, Kenneth G. - p. 1-12 , 2020

Link: https://dl.acm.org/doi/1..

10

Generation of Co-simulation Algorithms Subject to Simulator..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Gomes, Cláudio ; Thule, Casper ; Lúcio, Levi.. - p. 34-49 , 2020

Link: https://doi.org/10.1007/..

11

Towards Reuse of Synchronization Algorithms in Co-simulatio..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Thule, Casper ; Palmieri, Maurizio ; Gomes, Cláudio... - p. 50-66 , 2020

Link: https://doi.org/10.1007/..

12

Migrating the INTO-CPS Application to the Cloud:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Macedo, Hugo Daniel ; Rasmussen, Mikkel Bayard ; Thule, Casper. - p. 254-271 , 2020

Link: https://doi.org/10.1007/..

13

Collaborative Modelling and Co-simulation in Engineering an..:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,

Larsen, Peter Gorm ; Macedo, Hugo Daniel ; Gomes, Claudio Goncalves... - p. 196-213 , 2020

Link: https://doi.org/10.1007/..

14

Towards a Static Check of FMUs in VDM-SL:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Battle, Nick ; Thule, Casper ; Gomes, Cláudio.. - p. 272-288 , 2020

Link: https://doi.org/10.1007/..

15

Maestro: The INTO-CPS co-simulation framework:

Thule, Casper ; Lausdahl, Kenneth ; Gomes, Cláudio..
Simulation Modelling Practice and Theory. 92 (2019) - p. 45-61 , 2019

Link: https://doi.org/10.1016/..