Kenneth Lausdahl
Kenneth Lausdahl
PhD Student
Verified email at
Cited by
Cited by
The overture initiative integrating tools for VDM
PG Larsen, N Battle, M Ferreira, J Fitzgerald, K Lausdahl, M Verhoef
ACM SIGSOFT Software Engineering Notes 35 (1), 1-6, 2010
Cyber-physical systems design: formal foundations, methods and integrated tool chains
J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 40-46, 2015
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
Tech. Rep. TR-001, The Overture Initiative, 2013
Combinatorial testing for VDM
PG Larsen, K Lausdahl, N Battle
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
A Deterministic Interpreter Simulating A Distributed real time system using VDM
K Lausdahl, PG Larsen, N Battle
International Conference on Formal Engineering Methods, 179-194, 2011
Combining VDM with executable code
CB Nielsen, K Lausdahl, PG Larsen
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
Overture vdm-10 tool support: User guide
PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle, B RG12
Technical Report TR-2010–02, the Overture Initiative, 2010
Connecting UML and VDM++ with open tool support
K Lausdahl, HKA Lintrup, PG Larsen
International Symposium on Formal Methods, 563-578, 2009
Maestro: The INTO-CPS co-simulation framework
C Thule, K Lausdahl, C Gomes, G Meisl, PG Larsen
Simulation Modelling Practice and Theory 92, 45-61, 2019
Semantics of the VDM real-time dialect
K Lausdahl, JW Coleman, PG Larsen
and no.: Technical report ECE-TR-13, 65, 2013
D3. 4b—co-simulation semantics
JW Coleman, KG Lausdahl, PG Larsen
The DESTECS Project (CNECT-ICT-248134), 2012
Crescendo tool support: user manual
PG Larsen, K Lausdahl, J Coleman, S Wolff, C Kleijn, F Groen
Tech. Rep. TR-001, The Crescendo Initiative, 2013
Semantic adaptation for FMI co-simulation with hierarchical simulators
C Gomes, B Meyers, J Denil, C Thule, K Lausdahl, H Vangheluwe, ...
Simulation 95 (3), 241-269, 2019
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS.
N Pedersen, K Lausdahl, EV Sanchez, PG Larsen, J Madsen
SIMULTECH, 73-82, 2017
Facilitating home automation through wireless protocol interoperability
S Wolff, PG Larsen, K Lausdahl, A Ribeiro, TS Toftegaard
Proceedings of the International Symposium on Wireless Personal. Multimedia …, 2009
Support for co-modelling and co-simulation: the Crescendo tool
PG Larsen, C Gamble, K Pierce, A Ribeiro, K Lausdahl
Collaborative Design for Embedded Systems, 97-114, 2014
Towards enabling overture as a platform for formal notation IDEs
LD Couto, PG Larsen, M Hasanagić, G Kanakis, K Lausdahl, ...
arXiv preprint arXiv:1508.03893, 2015
Multi-paradigm discrete-event modelling and co-simulation of cyber-physical systems
M Neghina, CB Zamfirescu, PG Larsen, K Lausdahl, K Pierce
Studies in Informatics and Control 27 (1), 33-42, 2018
INTO-CPS tool chain user manual
V Bandur, PG Larsen, K Lausdahl, C Thule, C Gamble, R Payne, A Pop, ...
Aarhus Universiet, 2017
Integrated tool chain for model-based design of cyber-physical systems
PG Larsen, C Thule, K Lausdahl, V Bardur, C Gamble, E Brosse, ...
The 14th Overture Workshop: Towards Analytical Tool Chains 4, 63-79, 2016
The system can't perform the operation now. Try again later.
Articles 1–20