Concepedia

Kenneth Lausdahl

KL

10

Publications

406

Citations

10

H-Index

2010

Active since

Affiliations

Aarhus University(Current)

Newcastle University

University of Antwerp

Fujitsu (United Kingdom)

Kenneth Lausdahl is an author at Aarhus University specializing in systems engineering, computer engineering, and engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringDesignFormal MethodsSoftware DesignComputer ScienceSoftware TestingFormal VerificationSoftware Engineering

Publications per year

2010–2021

10

Publications

10

The overture initiative integrating tools for VDM

Peter Gorm Larsen, Nick Battle, Miguel A. Ferreira et al. · ACM SIGSOFT Software Engineering Notes · 2010 · 126 citations

Software Maintenance, Engineering, Visual Programming Language +22

Maestro: The INTO-CPS co-simulation framework

Casper Thule, Kenneth Lausdahl, Cláudio Gomes et al. · Simulation Modelling Practice and Theory · 2019 · 83 citations · Full text

Introduction to Digital Twin Engineering

Hao Feng, Cláudio Gomes, Casper Thule et al. · 2021 · 45 citations

Engineering, Digital Twinning, Digital Manufacturing +19

Combinatorial Testing for VDM

Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle · 2010 · 38 citations

Trace Definitions, Engineering, Verification +22

Semantic adaptation for FMI co-simulation with hierarchical simulators

Cláudio Gomes, Bart Meyers, Joachim Denil et al. · SIMULATION · 2018 · 38 citations · Full text

Artificial Intelligence, Engineering, Subsystem Simulators +19

Rows per page

1–5 of 10