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.

 

Other publications of authors with the same name

Proceedings of the 21st International Overture Workshop., and . CoRR, (2023)Design support and tooling for dependable embedded control software., , , , , and . SERENE, page 77-82. ACM, (2010)Collaborative Development of Embedded Systems., , , and . Collaborative Design for Embedded Systems, Springer, (2014)Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains., , , , and . FormaliSE@ICSE, page 40-46. IEEE Computer Society, (2015)Support for Co-modelling and Co-simulation: The Crescendo Tool., , , , and . Collaborative Design for Embedded Systems, Springer, (2014)Design Space Exploration for Embedded Systems Using Co-simulation., and . Collaborative Design for Embedded Systems, Springer, (2014)Case Studies in Co-modelling and Co-simulation., , , , and . Collaborative Design for Embedded Systems, Springer, (2014)Proceedings of the 19th International Overture Workshop., , and . CoRR, (2021)Proceedings of the 20th International Overture Workshop., and . CoRR, (2022)Features of Integrated Model-Based Co-modelling and Co-simulation Technology., , , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 377-390. Springer, (2017)