Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System. - Adina Aniculaesei; Andreas Vorwald; Andreas Rausch 001 (MoDELS (Companion), 2019)

Teaching Novices Supervised Learning with Autonomous Model Vehicles. - Tim Warnecke; Jörg Grieser; Meng Zhang; Andreas Vorwald; Andreas Rausch 001 (CSEE&T, 2020)

Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods. - Adina Aniculaesei; Andreas Vorwald; Meng Zhang; Andreas Rausch 001 (ICSA Companion, 2021)

Connected Dependability Cage Approach for Safe Automated Driving. - Adina Aniculaesei; Iqra Aslam; Daniel Bamal; Felix Helsch; Andreas Vorwald; Meng Zhang; Andreas Rausch 001 (CoRR, 2023)