E-LIB Suche - Ergebnisse für: Lausdahl, Kenneth

1

Dynamic Runtime Integration of New Models in Digital Twins:

, In: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Ejersbo, Henrik ; Lausdahl, Kenneth ; Frasheri, Mirgita. - p. 44-55 , 2023

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

2

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/..

3

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/..

4

Distributed Co-simulation of Embedded Control Software Usin..:

, In: Advances in Intelligent Systems and Computing; Simulation and Modeling Methodologies, Technologies and Applications,

Pedersen, Nicolai ; Lausdahl, Kenneth ; Sanchez, Enrique Vidal... - p. 33-54 , 2018

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

5

Semantic adaptation for FMI co-simulation with hierarchical..:

Gomes, Cláudio ; Meyers, Bart ; Denil, Joachim...
SIMULATION. 95 (2018) 3 - p. 241-269 , 2018

Link: https://doi.org/10.1177/..

6

Demo: Stabilization Technique in INTO-CPS:

, In: Software Technologies: Applications and Foundations; Lecture Notes in Computer Science,

Gomes, Cláudio ; Thule, Casper ; Lausdahl, Kenneth.. - p. 45-51 , 2018

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

7

Principles for reuse in formal language tools:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

Couto, Luís Diogo ; Tran-Jørgensen, Peter W. V. ; Lausdahl, Kenneth - p. 1997-2000 , 2016

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

8

The overture initiative integrating tools for VDM:

Larsen, Peter Gorm ; Battle, Nick ; Ferreira, Miguel...
ACM SIGSOFT Software Engineering Notes. 35 (2010) 1 - p. 1-6 , 2010

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

9

Combinatorial Testing for VDM:

, In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods,

Larsen, Peter Gorm ; Lausdahl, Kenneth ; Battle, Nick - p. 278-285 , 2010

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

10

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/..

11

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..

12

fmiSwap: Run-time Swapping of Models for Co-simulation and ..:

Ejersbo, Henrik ; Lausdahl, Kenneth ; Frasheri, Mirgita.
http://arxiv.org/abs/2304.07328. , 2023

Link: http://arxiv.org/abs/230..

13

The Incubator Case Study for Digital Twin Engineering:

Feng, Hao ; Gomes, Cláudio ; Thule, Casper...
http://arxiv.org/abs/2102.10390. , 2021

Link: http://arxiv.org/abs/210..

14

INTO-CPS tool chain user manual:

Bandur, Victor ; Larsen, Peter Gorm ; Lausdahl, Kenneth...
Bandur , V , Larsen , P G , Lausdahl , K , Thule , C , Gamble , C , Payne , R , Pop , A , Brosse , E , Brauer , J , Lapschies , F , Groothuis , M , Bokhove , T , Kleijn , C & Couto , L D 2017 , INTO-CPS tool chain user manual . Aarhus Universiet , Aarhus .. , 2017

Link: https://pure.au.dk/porta..

15

Towards Enabling Overture as a Platform for Formal Notation..:

Couto, Luís Diogo ; Larsen, Peter Gorm ; Hasanagić, Miran...
http://arxiv.org/abs/1508.03893. , 2015

Link: http://arxiv.org/abs/150..