default search action

combined dblp search
author search
venue search
publication search

ask others

Kenneth Lausdahl

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jss/HansenTGLMAL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HansenTGLMAL24
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: 111905 (2024)
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/seams/EjersboLFE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seams/EjersboLFE23
Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle:
Dynamic Runtime Integration of New Models in Digital Twins. SEAMS 2023: 44-55
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-07328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-07328
Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle:
fmiSwap: Run-time Swapping of Models for Co-simulation and Digital Twins. CoRR abs/2304.07328 (2023)
2021
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/annsim/FengGTLIL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/FengGTLIL21
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen:
Introduction to Digital Twin Engineering. ANNSIM 2021: 1-12
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/annsim/InciCDGTLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/InciCDGTLL21
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: 1-12
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/FrasheriTMLLE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/FrasheriTMLLE21
Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle:
Fault Injecting Co-simulations for Safety. ICSRS 2021: 6-13
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/models/Feng0STLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Feng0STLL21
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: 286-295
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-10390
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-10390
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen:
The Incubator Case Study for Digital Twin Engineering. CoRR abs/2102.10390 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/simpra/ThuleLGML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpra/ThuleLGML19
Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen:
Maestro: The INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92: 45-61 (2019)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/GomesMDTLVM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/GomesMDTLVM19
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)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ThulePGLMBL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ThulePGLMBL19
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: 50-66
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/GomesTLLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/GomesTLLV18
Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe:
Demo: Stabilization Technique in INTO-CPS. STAF Workshops 2018: 45-51
2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/PedersenLSTLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/PedersenLSTLM17
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: 33-54
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/PedersenLSLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/PedersenLSLM17
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: 73-82
2016
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HasanagicTLL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HasanagicTLL16
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: 344-351
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CoutoTL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CoutoTL16
Luís Diogo Couto, Peter Würtz Vinther Tran-Jørgensen, Kenneth Lausdahl:
Principles for reuse in formal language tools. SAC 2016: 1997-2000
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/CoutoTCL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/CoutoTCL15
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: 145-154
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoutoLHKLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoutoLHKLT15
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: 14-27
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/NielsenLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/NielsenLL14
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen:
Distributed Simulation of Formal Models in System of Systems Engineering. WETICE 2014: 211-216
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/LarsenGPRL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/LarsenGPRL14
Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl:
Support for Co-modelling and Co-simulation: The Crescendo Tool. Collaborative Design for Embedded Systems 2014: 97-114
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/14/ColemanLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/14/ColemanLL14
Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen:
Semantics of Co-simulation. Collaborative Design for Embedded Systems 2014: 273-292
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Lausdahl13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Lausdahl13
Kenneth Lausdahl:
Translating VDM to Alloy. IFM 2013: 46-60
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/NielsenLL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/NielsenLL12
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen:
Combining VDM with Executable Code. ABZ 2012: 266-279
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LausdahlLB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LausdahlLB11
Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle:
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM 2011: 179-194
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/LarsenBFFLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/LarsenBFFLV10
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): 1-6 (2010)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LarsenLB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LarsenLB10
Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle:
Combinatorial Testing for VDM. SEFM 2010: 278-285

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LausdahlLL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LausdahlLL09
Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen:
Connecting UML and VDM++ with Open Tool Support. FM 2009: 563-578

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.