Abstracts

Doctoral Seminar 2026 Abstracts

• Avionics Reconfiguration!? — Gradual Reconfiguration steps created from State Machines by Raphael Rohrmüller
• Design Space Exploration of Fault-Tolerant Cross-Domain Actuator Topologies using Model Predictive Control by Oliver Markus
• Don't just tell me that the visualization is broken, tell me how to fix it! by Andreas Waldvogel
• Integration of a Qualifiable Model Transformation Into a Model-Based Process for Integrated Modular Avionics Configuration Development by Constantin Frey
• Migration by Example: Learning Model Co-Evolution from User Adaptations by Michael Wojczik
• Model-Optimisation Coupling for Satellite Constellation Missions by Ayca Kula Arslan
• Multi-Agent System Optimization in Climate-Aware Air Traffic Management by Recep Ayyildiz
• Ontology-based Sensor Health Monitoring by Colin Klein
• SNARK Circuit Design for Control Systems by Johannes Reinhart
• Safe-State Transition Sequence Generation for Behavior-Preserving Reconfiguration in TSN Networks by Mariann Homolya
• Scalable Verification of Learning-enabled Systems via Robust Set Representation and Propagation by Yousif M. Elsheikh
• Secure Multicast Communication for Integrated Modular Avionics Platform by Can André Dautel
• Security Risk Assessment of a QKD-Enhanced TLS Architecture for Software Upload by Edwin Isidory
• Self-Adaptive Virtualization for Avionics Systems by Samuel Queiroz
• Towards Determination of Optimized Avionics Security Architectures: Integrating DO-326B and CS-25 §1319 Constraints into System Models by Mario Werthwein
• Using System-dynamic Models for investigating Human-AI Teaming in the Flight Deck by Michelle Fini