Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2021
- Unsupervised Learning of Joint Embeddings for Node Representation and Community Detection In the Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference (2021), 2021. Details URL BIB
- Vision for an Artefact-based Approach to Regulatory Requirements Engineering , 2021. ACM. Details URL BIB
2020
- A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control In IEEE Vehicular Networking Conference (VNC), Seiten 1-8, Dezember 2020. IEEE. Details DOI BIB
- Architectures for Flexible Collaborative Systems Springer International Publishing, Dezember 2020. Details DOI BIB
- Linear Differential Games for Cooperative Behavior Planning of Autonomous Vehicles Using Mixed-Integer Programming In Proceedings of 59th IEEE Conference on Decision and Control (CDC), Seogwipo, South Korea, Dezember 2020. Details BIB
- A Review on Scaling Mobile Sensing Platforms for Human Recognition: Challenges and Recommendations for Future Research MDPI IoT, November 2020. https://doi.org/10.3390/iot1020025, ():, November 2020. Details URL DOI BIB
- Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), November 2020. Details DOI BIB
- Harmonic frequency estimation with MEMO-ESPRIT Technique using MATLAB and Python Seiten 1–4, November 2020. Details BIB
- 6D Pose Estimation for Flexible Production with Small Lot Sizes based on CAD Models using Gaussian Process Implicit Surfaces In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, USA, Oktober 2020. Details BIB
- A Discussion on Context-awareness to Better Support the IoT Cloud/Edge Continuum IEEE Access, volume 8. DOI: 10.1109/ACCESS.2020.3032388, ():, Oktober 2020. Details URL BIB
- BARK: Open Behavior Benchmarking in Multi-Agent Environments In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, USA, Oktober 2020. Details BIB
- Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, Oktober 2020. IEEE. Details URL BIB
- Formalizing Traffic Rules for Machine Interpretability In Proceedings of the 3rd IEEE Connected and Automated Vehicles Symposium (CAVS), Victoria, B.C. Canada, Oktober 2020. Details BIB
- Graph Neural Networks and Reinforcement Learning for Behavior Generation in Semantic Environments In In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), Oktober 2020. Details BIB
- Optimal Behavior Planning for Autonomous Driving: A Generic Mixed-Integer Formulation In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), Las Vegas, NV, USA, Oktober 2020. Details BIB
- FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12234 von LNCS, Seiten 298–306, September 2020. Springer. Details DOI BIB
- A Safety Case Pattern for Systems with Machine Learning Components In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12235 von LNCS, Seiten 370–382, September 2020. Springer. Details DOI BIB
- An Ontology-based Metamodel for Capability Descriptions In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Seiten 1679–1685, Vienna, Austria, September 2020. Details URL DOI BIB
- Firefighter Virtual Reality Simulation for Personalized Stress Detection In the 43rd German Conference on AI, Seiten 343-347, September 2020. Springer. Details BIB
- 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