Doctoral Seminar 2025 Abstracts

Approach for a holistic and quantified Risk Assessment of Actuator Failures in X-by-Wire Vehicles by Oliver Markus
Automated Task Allocation Enabling Virtual Satellite Constellation for VLEO: A Mixed Integer Linear Programming Approach by Ayca Kula
Automatic Traffic Shaper Configuration and Multi-Shaper by Mariann Homolya
CRUD Commands for PAFA Network Communication by Jens-Peter Kühn
Exploring uncertainty quantification in machine learning models by Henry Späth
From Arduino Prototyping to Redundant Avionics Platforms by Bastian Lüttig
Language Independency & Model Co-Evolution: Leveraging CRUD-based Storage for Consistency & Reliability by Vanessa Tietz
Methods Transfer from Aviation to Automotive by Yusuf Akkus
Neural Networks Verification using Formal Methods by Yassine Akhiat
QKD for Securing Aircraft Maintenance Interfaces against Cyber Threats by Edwin Isidory
Quantification of Cybersecurity Risks for Conduction of Automated Security Risk Assessment by Mario Werthwein
SNARKs for Control System Safety and Security by Johannes Reinhart
Self-Adaptive Virtualization for Avionics Systems by Samuel Queiroz
Situation-aware Safety-Critical Orchestration of adaptive avionic platforms by Raphael Rohrmüller
Towards a Comprehensive Model of Visualization Smells for Model Visualization Verification by Andreas Waldvogel
Trusting AI Pilots? — Presenting the Actors of our AI Flight School by Christoph Regli
Uncertainty Probing and Compensation in Safety-Critical Systems. by Yousif Elsheikh
Use of Graph Rewriting Algorithms and Their Implementation in a Qualifiable Model Transformation Language and Engine by Constantin Frey