Alexander Ahlbrecht

Integrating Safety into MBSE Processes with Formal Methods

Alexander Ahlbrecht, Umut Durak · 2021 · 16 citations

Engineering, Systems Engineering, Formal Methods +16

Model-Based Systems Engineering for AI-Based Systems

Jasper Sprockhoff, Bojan Lukić, Vincent Janson et al. · AIAA SCITECH 2023 Forum · 2023 · 16 citations

Engineering, Computer Science, Systems Engineering +15

State-of-the-Art Technologies for Integrated Modular Avionics and the Way Ahead

Bojan Lukić, Alexander Ahlbrecht, Sven Friedrich et al. · 2023 · 16 citations · Full text

Engineering, Aerospace Engineering, Computer Engineering +15

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems

Leonard Masing, Tobias Dörr, Florian Schade et al. · 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) · 2022 · 15 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Evaluating System Architecture Safety in Early Phases of Development with MBSE and STPA

Alexander Ahlbrecht, Oliver Bertram · 2021 · 13 citations

Engineering, Automotive Engineering, Systems Engineering +17