Liste als BibTeX-Datei exportieren

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 und Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB

2022

• Juni 2022 Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection Tiziano Munaro und Irina Muntean In 2022 IEEE Intelligent Vehicles Symposium (IV), Seiten 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 und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, Springer, Cham. Details DOI BIB

2019

• September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes, Levi Lúcio und Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Seiten 784–798, IEEE. Details DOI BIB
• Mai 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 und Gregory Francis Frontiers in Neurorobotics, ():, Mai 2019. Details URL DOI BIB
• März 2019 Body Randomization Reduces the Sim-to-Real Gap for Compliant Quadruped Locomotion Alexander Vandersompele, Gabriel Urbain, Hossain Mahmud, Francis Wyffels und Joni Dambre Frontiers in Neurorobotics, ():, März 2019. Details URL PDF DOI BIB
• März 2019 The Collaborative Virtual Reality Neurorobotics Lab Tim Weissker, Emmanouil Angelidis, Alexander Kulik, Stephan Beck, Andre Kunert, Anton Frolov, Sandro Weber, Adrian Kreskowski und Bernd Froehlich In Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces (VR), Seiten 1671–1674, Osaka, Japan, Details PDF DOI BIB

2018

• Oktober 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, Seiten 150–155, ACM. Details DOI BIB
• März 2018 Roboter mit Hirn Evdoxia Tsakiridou Details URL BIB

2017

• Januar 2017 Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Egidio Falotico, Lorenzo Vannucci, Alessandro Ambrosano, Ugo Albanese, Stefan Ulbrich, Juan Camilo Vasquez Tieck, Georg Hinkel, Murat Kirtay, Igor Peric, Oliver Denninger, Nino Cauli, Arne Roennau, Gudrun Klinker, Axel von Arnim, Luc Guyot, Daniel Peppicelli, Pablo Martinez-Canada, Eduardo Ros, Patrick Maier, Sandro Weber, Manuel Huber, David Plecher, Florian Röhrbein, Stefan Deser, Alina Roitberg, Patrick van der Smagt, Rüdiger Dillmann, Paul Levi, Cecilia Laschi, Alois Knoll und Marc-Oliver Gewaltig Frontiers in Neurorobotics, ():, Januar 2017. Details URL PDF DOI BIB