XANDAR: Exploiting the X-by-Construction paradigm in model-based development of safety-critical systems L Masing, T Dörr, F Schade, J Becker, G Keramidas, CP Antonopoulos, ... 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-5, 2022 | 16 | 2022 |
Integrating safety into MBSE processes with formal methods A Ahlbrecht, U Durak 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 1-9, 2021 | 10 | 2021 |
Model-based STPA: Enabling safety analysis coverage assessment with formalization A Ahlbrecht, U Durak 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 1-10, 2022 | 7 | 2022 |
XANDAR: A holistic cybersecurity engineering process for safety-critical and cyber-physical systems F Siddiqui, R Khan, S Sezer, K McLaughlin, L Masing, T Dörr, F Schade, ... 2022 IEEE 95th Vehicular Technology Conference:(VTC2022-Spring), 1-5, 2022 | 6 | 2022 |
Evaluating system architecture safety in early phases of development with MBSE and STPA A Ahlbrecht, O Bertram 2021 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2021 | 6 | 2021 |
Xandar: X-by-construction design framework for engineering autonomous & distributed real-time embedded software systems J Becker, L Masing, T Dörr, F Schade, G Keramidas, CP Antonopoulos, ... 2021 31st International Conference on Field-Programmable Logic and …, 2021 | 6 | 2021 |
Model-Based Systems Engineering for AI-Based Systems J Sprockhoff, B Lukic, V Janson, A Ahlbrecht, U Durak, S Gupta, T Krueger AIAA SCITECH 2023 Forum, 2587, 2023 | 4 | 2023 |
A Behavior Specification and Simulation Methodology for Embedded Real-Time Software T Dörr, F Schade, A Ahlbrecht, W Zaeske, L Masing, U Durak, J Becker 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and …, 2022 | 4 | 2022 |
Model-based STPA: Towards agile safety-guided design with formalization A Ahlbrecht, U Durak, W Zaeske 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022 | 2 | 2022 |
Architectural Challenges in Developing an AI-based Collision Avoidance System V Janson, A Ahlbrecht, U Durak 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-8, 2023 | 1 | 2023 |
State-of-the-Art Technologies for Integrated Modular Avionics and the Way Ahead B Lukić, A Ahlbrecht, S Friedrich, U Durak 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
Iterative Scenario-Based Testing in an Operational Design Domain for Artificial Intelligence Based Systems in Aviation B Lukic, J Sprockhoff, A Ahlbrecht, S Gupta, U Durak ARGESIM Report 21, 95-103, 2023 | 1 | 2023 |
Cybersecurity Engineering: Bridging the Security Gaps in Avionics Architectures and DO-326A/ED-202A F Siddiqui, A Ahlbrecht, R Khan, SY Tasdemir, H Hui, B Sonigara, S Sezer, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-8, 2023 | | 2023 |
Automatic Deployment of Embedded Real-Time Software Systems to Hypervisor-Managed Platforms F Schade, T Dörr, A Ahlbrecht, V Janson, U Durak, J Becker 2023 26th Euromicro Conference on Digital System Design (DSD), 436-443, 2023 | | 2023 |
DO-326A/ED-202A F Siddiqui, A Ahlbrecht, R Khan, SY Tasdemir, H Hui, B Sonigara, S Sezer, ... | | 2023 |
XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems L Marsing, T Dörr, F Schade, J Becker, G Keramidas, C Antonpoulos, ... | | 2022 |
Model Based Engineering for Advanced Wing and Landing Gear Systems (MoBEfAS) Abschlussbericht RW Hollmann, A Schäfer, M Schäfer, SM Lübbe, A Ahlbrecht, P Nöldeke, ... | | 2022 |
Erweiterung von MBSE Prozessen bei der Entwicklung sicherheitskritischer Systemarchitekturen durch die Nutzung Formaler Methoden A Ahlbrecht Technische Universität Braunschweig, 2021 | | 2021 |