Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
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), Band 14988 von 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), Seiten 1703-1708, Juni 2022. IEEE. Details DOI BIB
2020
- Generation of Co-simulation Algorithms Subject to Simulator Contracts In Software Engineering and Formal Method (SEFM 2019), Band 12226 von 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), Seiten 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():, Mai 2019. Details URL PDF DOI BIB
- Body Randomization Reduces the Sim-to-Real Gap for Compliant Quadruped Locomotion Frontiers in Neurorobotics, 13():, März 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), Seiten 1671–1674, Osaka, Japan, März 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, Seiten 150–155, Oktober 2018. ACM. Details DOI BIB
- Roboter mit Hirn blog, März 2018. Details URL BIB
2017
- Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Frontiers in Neurorobotics, 11():, Januar 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), Seiten 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 und Damien Trentesaux , Editor, Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, Band 472 von Studies in Computational Intelligence, Seiten 247-261. Springer Berlin Heidelberg, 2013. Details DOI BIB