Kenneth Lausdahl
Kenneth Lausdahl
PhD Student
Verified email at lausdahl.com
Title
Cited by
Cited by
Year
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
1712010
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
Tech. Rep. TR-001, The Overture Initiative, 2013
562013
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
542015
Combinatorial testing for VDM
PG Larsen, K Lausdahl, N Battle
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
432010
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
412011
Combining VDM with executable code
CB Nielsen, K Lausdahl, PG Larsen
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
282012
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
282010
Connecting UML and VDM++ with open tool support
K Lausdahl, HKA Lintrup, PG Larsen
International Symposium on Formal Methods, 563-578, 2009
252009
Semantics of the VDM real-time dialect
K Lausdahl, JW Coleman, PG Larsen
and no.: Technical report ECE-TR-13, 65, 2013
192013
D3. 4b—co-simulation semantics
JW Coleman, KG Lausdahl, PG Larsen
The DESTECS Project (CNECT-ICT-248134), 2012
182012
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
172013
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
152019
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
152017
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
142019
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
142009
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
102015
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
102014
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
82018
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
82016
Translating VDM to alloy
K Lausdahl
International Conference on Integrated Formal Methods, 46-60, 2013
82013
The system can't perform the operation now. Try again later.
Articles 1–20