Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Lausdahl, Kenneth
add a person with the name Lausdahl, Kenneth
 

Other publications of authors with the same name

Formalising and Validating the Interface Description in the FMI Standard., , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 344-351. (2016)Combinatorial Testing for VDM., , and . SEFM, page 278-285. IEEE Computer Society, (2010)Migrating to an Extensible Architecture for Abstract Syntax Trees., , , and . WICSA, page 145-154. IEEE Computer Society, (2015)Semantic adaptation for FMI co-simulation with hierarchical simulators., , , , , , and . Simulation, (2019)Demo: Stabilization Technique in INTO-CPS., , , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM., , and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 179-194. Springer, (2011)Support for Co-modelling and Co-simulation: The Crescendo Tool., , , , and . Collaborative Design for Embedded Systems, Springer, (2014)Distributed Co-simulation of Embedded Control Software Using INTO-CPS., , , , , and . SIMULTECH (Selected Papers), volume 873 of Advances in Intelligent Systems and Computing, page 33-54. Springer, (2017)Maestro: The INTO-CPS co-simulation framework., , , , and . Simulation Modelling Practice and Theory, (2019)Principles for reuse in formal language tools., , and . SAC, page 1997-2000. ACM, (2016)