Kenneth Lausdahl

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