Kenneth Lausdahl

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 18

Top Topics

Control Software

Simulation Models

Top Venues

Publications

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen
Co-simulation at different levels of expertise with Maestro2. J. Syst. Softw. 209 (2024)
Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle
fmiSwap: Run-time Swapping of Models for Co-simulation and Digital Twins. CoRR (2023)
Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle
Dynamic Runtime Integration of New Models in Digital Twins. SEAMS (2023)
Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle
Fault Injecting Co-simulations for Safety. ICSRS (2021)
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen
Introduction to Digital Twin Engineering. ANNSIM (2021)
Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
Developing a Physical and Digital Twin: An Example Process Model. MoDELS (Companion) (2021)
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen
The Incubator Case Study for Digital Twin Engineering. CoRR (2021)
Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
The Effect and Selection of Solution Sequence in Co-Simulation. ANNSIM (2021)
Cláudio Gomes, Bart Meyers, Joachim Denil, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe, Paul De Meulenaere
Semantic adaptation for FMI co-simulation with hierarchical simulators. Simul. 95 (3) (2019)
Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops (2019)
Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen
Maestro: The INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92 (2019)
Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe
Demo: Stabilization Technique in INTO-CPS. STAF Workshops (2018)
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. SIMULTECH (2017)
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen
Distributed Co-simulation of Embedded Control Software Using INTO-CPS. SIMULTECH (Selected Papers) (2017)
Luís Diogo Couto, Peter Würtz Vinther Tran-Jørgensen, Kenneth Lausdahl
Principles for reuse in formal language tools. SAC (2016)
Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen
Formalising and Validating the Interface Description in the FMI Standard. FM (2016)
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen
Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE (2015)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl
Migrating to an Extensible Architecture for Abstract Syntax Trees. WICSA (2015)
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
Distributed Simulation of Formal Models in System of Systems Engineering. WETICE (2014)
Kenneth Lausdahl
Translating VDM to Alloy. IFM (2013)
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
Combining VDM with Executable Code. ABZ (2012)
Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM (2011)
Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes 35 (1) (2010)
Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle
Combinatorial Testing for VDM. SEFM (2010)
Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen
Connecting UML and VDM++ with Open Tool Support. FM (2009)