Export list as BibTeX file

2022

• June 2022 Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection Tiziano Munaro and Irina Muntean In 2022 IEEE Intelligent Vehicles Symposium (IV), pages 1703-1708, June 2022. IEEE. Details DOI BIB

2020

• September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes , Casper Thule , Levi Lúcio , Hans Vangheluwe and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, September 2020. Springer, Cham. Details DOI BIB

2019

• September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes , Levi Lúcio and Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 784–798, September 2019. IEEE. Details DOI BIB