Export list as BibTeX file

2024

• September 2024 A Failure Model Library for Simulation-based Validation of Functional Safety Tiziano Munaro, Irina Muntean and Alexander Pretschner In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of Lecture Notes in Computer Science, Springer, Cham. Details DOI BIB

2023

• April 2023 A Toolchain for Synthesizing and Validating Safety Architectures Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp and Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB

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, 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, 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, IEEE. Details DOI BIB
• May 2019 Running Large-Scale Simulations on the Neurorobotics Platform to Understand Vision – The Case of Visual Crowding Alban Bornet, Jacques Kaiser, Alexander Kroner, Egidio Falotico, Alessandro Ambrosano, Kepa Cantero, Michael Herzog and Gregory Francis Frontiers in Neurorobotics, 13():, May 2019. Details URL PDF DOI BIB
• March 2019 Body Randomization Reduces the Sim-to-Real Gap for Compliant Quadruped Locomotion Alexander Vandersompele, Gabriel Urbain, Hossain Mahmud, Francis Wyffels and Joni Dambre Frontiers in Neurorobotics, 13():, March 2019. Details URL PDF DOI BIB
• March 2019 The Collaborative Virtual Reality Neurorobotics Lab Tim Weissker, Emmanouil Angelidis, Alexander Kulik, Stephan Beck, Andre Kunert, Anton Frolov, Sandro Weber, Adrian Kreskowski and Bernd Froehlich In Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces (VR), pages 1671–1674, Osaka, Japan, IEEE. Details URL PDF DOI BIB

2018

• October 2018 A modular approach to integrate verification tools in model based development Sudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pages 150–155, ACM. Details DOI BIB
• March 2018 Roboter mit Hirn Evdoxia Tsakiridou and Axel von Arnim blog, Details URL BIB