Kenneth Lausdahl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2009–2023
Best venue rank
B
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SEAMS | Dynamic Runtime Integration of New Models in Digital Twins. | Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle |
| 2021 | MODELS | Developing a Physical and Digital Twin: An Example Process Model. | Hao Feng, Cludio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen |
| 2019 | SEFM | Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. | Casper Thule, Maurizio Palmieri, Cludio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen |
| 2017 | SIMULTECH | 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 |
| 2017 | SIMULTECH | Distributed Co-simulation of Embedded Control Software Using INTO-CPS. | Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen |
| 2016 | FM | Formalising and Validating the Interface Description in the FMI Standard. | Miran Hasanagic, Peter W. V. Tran-Jrgensen, Kenneth Lausdahl, Peter Gorm Larsen |
| 2016 | SAC | Principles for reuse in formal language tools. | Lus Diogo Couto, Peter Wrtz Vinther Tran-Jrgensen, Kenneth Lausdahl |
| 2014 | WETICE | Distributed Simulation of Formal Models in System of Systems Engineering. | Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen |
| 2013 | IFM | Translating VDM to Alloy. | Kenneth Lausdahl |
| 2011 | ICFEM | A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
| 2010 | SEFM | Combinatorial Testing for VDM. | Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle |
| 2009 | FM | Connecting UML and VDM++ with Open Tool Support. | Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen |