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