Kenneth Lausdahl

According to our database, Kenneth Lausdahl authored at least 27 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• 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

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

Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle

CoRR, 2023

Dynamic Runtime Integration of New Models in Digital Twins.

Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

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

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

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

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

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

Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS.

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

Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

2016

Principles for reuse in formal language tools.

Luís Diogo Couto, Peter Würtz Vinther Tran-Jørgensen, Kenneth Lausdahl

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

Formalising and Validating the Interface Description in the FMI Standard.

Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the FM 2016: Formal Methods, 2016

2015

Towards Enabling Overture as a Platform for Formal Notation IDEs.

Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Migrating to an Extensible Architecture for Abstract Syntax Trees.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl

Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

2014

Distributed Simulation of Formal Models in System of Systems Engineering.

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Support for Co-modelling and Co-simulation: The Crescendo Tool.

Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl

Proceedings of the Collaborative Design for Embedded Systems, 2014

Semantics of Co-simulation.

Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Collaborative Design for Embedded Systems, 2014

2013

Translating VDM to Alloy.

Kenneth Lausdahl

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Combining VDM with Executable Code.

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.

Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle

Proceedings of the Formal Methods and Software Engineering, 2011

2010

The overture initiative integrating tools for VDM.

Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef

ACM SIGSOFT Softw. Eng. Notes, 2010

Combinatorial Testing for VDM.

Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Connecting UML and VDM++ with Open Tool Support.

Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen

Proceedings of the FM 2009: Formal Methods, 2009