Wissenschaftliche Publikationen
2024
- A Failure Model Library for Simulation-based Validation of Functional Safety In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of Lecture Notes in Computer Science, September 2024. Springer, Cham. Details DOI BIB
2023
- A Toolchain for Synthesizing and Validating Safety Architectures SN Computer Science, 4(4):335, April 2023. Details DOI BIB
2022
- Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection In 2022 IEEE Intelligent Vehicles Symposium (IV), pages 1703-1708, June 2022. IEEE. Details DOI BIB
2020
- Generation of Co-simulation Algorithms Subject to Simulator Contracts In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, September 2020. Springer, Cham. Details DOI BIB
2019
- Semantics of Co-simulation Algorithms with Simulator Contracts 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
- Running Large-Scale Simulations on the Neurorobotics Platform to Understand Vision – The Case of Visual Crowding Frontiers in Neurorobotics, 13():, May 2019. Details URL PDF DOI BIB
- Body Randomization Reduces the Sim-to-Real Gap for Compliant Quadruped Locomotion Frontiers in Neurorobotics, 13():, March 2019. Details URL PDF DOI BIB
- The Collaborative Virtual Reality Neurorobotics Lab In Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces (VR), pages 1671–1674, Osaka, Japan, March 2019. IEEE. Details URL PDF DOI BIB
2018
- A modular approach to integrate verification tools in model based development In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pages 150–155, October 2018. ACM. Details DOI BIB
- Roboter mit Hirn blog, March 2018. Details URL BIB
2017
- Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Frontiers in Neurorobotics, 11():, January 2017. Details URL PDF DOI BIB
2015
- A visual tracking model implemented on the iCub robot as a use case for a novel neurorobotic toolkit integrating brain and physics simulation In Proceedings of the IEEE-RAS International Conference on Humanoid Robots (Humanoids), pages 1179–1184, Seoul, South Korea, November 2015. Details URL PDF DOI BIB
2013
- Extraction of Automation System Engineering Knowledge for Mapping Plant and Simulation Interfaces In Theodor Borangiu , Andre Thomas and Damien Trentesaux , editor, Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, volume 472 of Studies in Computational Intelligence, pages 247-261. Springer Berlin Heidelberg, 2013. Details DOI BIB