Connecting UML and VDM++ with Open Tool Support. - Kenneth Lausdahl; Hans Kristian Agerlund Lintrup; Peter Gorm Larsen (FM, 2009)

Combinatorial Testing for VDM. - Peter Gorm Larsen; Kenneth Lausdahl; Nick Battle (SEFM, 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)

A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. - Kenneth Lausdahl; Peter Gorm Larsen; Nick Battle (ICFEM, 2011)

Combining VDM with Executable Code. - Claus Ballegaard Nielsen; Kenneth Lausdahl; Peter Gorm Larsen (ABZ, 2012)

Translating VDM to Alloy. - Kenneth Lausdahl (IFM, 2013)

Semantics of Co-simulation. - Joey W. Coleman; Kenneth Lausdahl; Peter Gorm Larsen (Collaborative Design for Embedded Systems, 2014)

Support for Co-modelling and Co-simulation: The Crescendo Tool. - Peter Gorm Larsen; Carl Gamble; Kenneth Pierce; Augusto Ribeiro; Kenneth Lausdahl (Collaborative Design for Embedded Systems, 2014)

Distributed Simulation of Formal Models in System of Systems Engineering. - Claus Ballegaard Nielsen; Kenneth Lausdahl; Peter Gorm Larsen (WETICE, 2014)

Migrating to an Extensible Architecture for Abstract Syntax Trees. - Luís Diogo Couto; Peter W. V. Tran-Jørgensen; Joey W. Coleman; Kenneth Lausdahl (WICSA, 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 (F-IDE, 2015)

Formalising and Validating the Interface Description in the FMI Standard. - Miran Hasanagic; Peter W. V. Tran-Jørgensen; Kenneth Lausdahl; Peter Gorm Larsen (FM, 2016)

Principles for reuse in formal language tools. - Luís Diogo Couto; Peter Würtz Vinther Tran-Jørgensen; Kenneth Lausdahl (SAC, 2016)

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 (SIMULTECH, 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 (SIMULTECH (Selected Papers), 2017)

Demo: Stabilization Technique in INTO-CPS. - Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen; Hans Vangheluwe (STAF Workshops, 2018)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. - Casper Thule; Maurizio Palmieri; Cláudio Gomes 001; Kenneth Lausdahl; Hugo Daniel Macedo; Nick Battle; Peter Gorm Larsen (SEFM Workshops, 2019)

Maestro: The INTO-CPS co-simulation framework. - Casper Thule; Kenneth Lausdahl; Cláudio Gomes 001; Gerd Meisl; Peter Gorm Larsen (Simul. Model. Pract. Theory, 2019)

Semantic adaptation for FMI co-simulation with hierarchical simulators. - Cláudio Gomes 001; Bart Meyers; Joachim Denil; Casper Thule; Kenneth Lausdahl; Hans Vangheluwe; Paul De Meulenaere (Simul., 2019)

Introduction to Digital Twin Engineering. - Hao Feng; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Alexandros Iosifidis; Peter Gorm Larsen (ANNSIM, 2021)

The Effect and Selection of Solution Sequence in Co-Simulation. - Emin Oguz Inci; Jan Croes; Wim Desmet; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen (ANNSIM, 2021)

Fault Injecting Co-simulations for Safety. - Mirgita Frasheri; Casper Thule; Hugo Daniel Macedo; Kenneth Lausdahl; Peter Gorm Larsen; Lukas Esterle (ICSRS, 2021)

Developing a Physical and Digital Twin: An Example Process Model. - Hao Feng; Cláudio Gomes 001; Michael Sandberg; Casper Thule; Kenneth Lausdahl; Peter Gorm Larsen (MoDELS (Companion), 2021)

The Incubator Case Study for Digital Twin Engineering. - Hao Feng; Cláudio Gomes 001; Casper Thule; Kenneth Lausdahl; Michael Sandberg; Peter Gorm Larsen (CoRR, 2021)

Dynamic Runtime Integration of New Models in Digital Twins. - Henrik Ejersbo; Kenneth Lausdahl; Mirgita Frasheri; Lukas Esterle (SEAMS, 2023)

fmiSwap: Run-time Swapping of Models for Co-simulation and Digital Twins. - Henrik Ejersbo; Kenneth Lausdahl; Mirgita Frasheri; Lukas Esterle (CoRR, 2023)

Co-simulation at different levels of expertise with Maestro2. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Kenneth Lausdahl; Frederik Palludan Madsen; Giuseppe Abbiati; Peter Gorm Larsen (J. Syst. Softw., 2024)