Day 1, Tuesday, 2025-03-25

Start End Event Author
9.00 9.30 Brezel Breakfast  
09.30 10.10 From Arduino to Redundant Avionics Platforms Bastian
10.10 10.50 SNARKs for Control System Safety and Security Johannes
10.50 11.05 Coffee Break  
11.05 11.45 Self-Adaptive Virtualization for Avionics Systems Samuel
11.45 12.25 Situation-aware Safety-Critical Orchestration of adaptive avionic platforms Raphael
12.30 13.15 Lunch  
13.15 13.55 Automatic Traffic Shaper Configuration and Multi-Shaper Optimization on Time-Sensitive Networking in Avionic Systems Mariann
13.55 14.35 Automated Task Allocation Enabling Virtual Satellite Constellation for VLEO: A Mixed Integer Linear Programming Approach Ayca
14.35 14.50 Coffee Break  
14.50 15.30 Language Independency & Model Co-Evolution: Leveraging CRUD-based Storage for Consistency & Reliability Vanessa
15.30 16.10 CRUD Commands for PAFA Network Communication Jens-Peter
16.10 16.25 Coffee Break  
16.25 17.05 Use of Graph Rewriting Algorithms and Their Implementation in a Qualifiable Model Transformation Language and Engine Constantin
17.05 17.45 Towards a Comprehensive Model of Visualization Smells for Model Visualization Verification Andreas
17.45 18.45 free time/ backup time  
18.45 19.30 Dinner  
20.00 22.00 Activities  

Day 2, Wednesday, 2025-03-26

Start End Event Author
8.00 9.00 Breakfast  
8.00 9.15 Check out  
9.15 9.55 Uncertainty Probing and Compensation in Safety-Critical Systems Yousif
9.55 10.35 Exploring uncertainty quantification in machine learning models Henry
10.35 10.50 Coffee Break  
10.50 11.30 Neural Networks Verification using Formal Methods Yassine
11.30 12.10 Trusting AI Pilots? — Presenting the Actors of our AI Flight School Christoph
12.15 13.00 Lunch  
13.05 13.45 Approach for a holistic and quantified Risk Assessment of Actuator Failures in X-by-Wire Vehicles Oliver
13.45 14.25 Methods Transfer from Aviation to Automotive Yusuf
14.25 14.40 Coffee Break  
14.40 15.20 QKD for Securing Aircraft Maintenance Interfaces against Cyber Threats Edwin
15.20 16.00 Quantification of Cybersecurity Risks for Conduction of Automated Security Risk Assessment Mario
16.00 16.15 Coffee Break  
16.15 17.00 Awards  
17.00 17.15 Closing words