Scientific publications
2019
- Bridging the Gap between Open Source Software and Vehicle Hardware for Autonomous Driving Details URL DOI BIB
- From Specifications to Behavior: Maneuver Verification in a Semantic State Space Details URL DOI BIB
- Leveraging Semantic Embeddings for Safety-Critical Applications In The IEEE Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, Long Beach, USA, June 2019. Details BIB
- Model-based methodology for space vehicles In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), June 2019. Details BIB
- Providentia - A Large Scale Sensing System for the Assistance of Autonomous Vehicles In Robotics Science and Systems Workshops (RSS Workshops), Freiburg, Germany, June 2019. RSS Foundation. Details URL 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
- SMErobotics: Smart Robots for Flexible Manufacturing IEEE Robotics & Automation Magazine, 26(1):78–90, March 2019. Details URL DOI BIB
- Bedarfsanalyse, Machbarkeitsevaluation und IT-Architekturentwurf von Distributed Ledger Technology in der öffentlichen Verwaltung Vortrag, March 2019. Details URL BIB
- Body Randomization Reduces the Sim-to-Real Gap for Compliant Quadruped Locomotion Frontiers in Neurorobotics, 13():, March 2019. Details URL PDF DOI BIB
- Künstliche Intelligenz Out-of-the-Box – aber was steckt in der Box? Vortrag, March 2019. Details URL BIB
- Runtime Monitoring Neuron Activation Patterns In Design, Automation & Test in Europe Conference & Exhibition, pages 300–303, Florence, Italy, March 2019. Details URL 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
- Wissensbasierte digitale Unterstützung in der Pflanzenbauberatung In Andreas Meyer-Aurich , Markus Gandorfer , Norbert Barta , Andreas Gronauer , Jochen Kantelhardt and Helga Floto , editor, Referate der 39. GIL-Jahrestagung in Wien: Informatik in der Land-, Forst- und Ernährungswirtschaft Fokus: Digitalisierung für landwirtschaftliche Betriebe in kleinstrukturierten Regionen – ein Widerspruch in sich?, volume 287 of Lecture Notes in Informatics, pages 145–150. Gesellschaft für Informatik, Bonn, Germany, February 2019. Details URL BIB
- Digitalgestützte Bürgerbeteiligung & KI PLANERIN, 2019(1):19–22, February 2019. Details URL BIB
- OPC UA versus ROS, DDS, and MQTT: Performance Evaluation of Industry 4.0 Protocols In Proceedings of the IEEE International Conference on Industrial Technology (ICIT), Melbourne, Australia, February 2019. Details DOI BIB
- Structure and behavior preserving statecharts refinements Science of Computer Programming, 170():49–79, January 2019. Details DOI BIB
- A general proof certification framework for modal logic Mathematical Structures in Computer Science, 29(8):1344–1378, 2019. Details DOI BIB
- A Hybrid Approach of Solar Power Forecasting Using Machine Learning pages 108-113, 2019. Details DOI BIB
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 192–213, 2019. Springer. Details BIB
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols pages 192–213, 2019. Details DOI BIB