Login / Signup
Andreas Vorwald
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Test Case Selection
Uml Models
Autonomous Driving
Test Cases
Top Venues
CoRR
MoDELS (Companion)
CSEE&T
ICSA Companion
</>
Publications
</>
Adina Aniculaesei
,
Iqra Aslam
,
Daniel Bamal
,
Felix Helsch
,
Andreas Vorwald
,
Meng Zhang
,
Andreas Rausch
Connected Dependability Cage Approach for Safe Automated Driving.
CoRR
(2023)
Adina Aniculaesei
,
Andreas Vorwald
,
Meng Zhang
,
Andreas Rausch
Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods.
ICSA Companion
(2021)
Tim Warnecke
,
Jörg Grieser
,
Meng Zhang
,
Andreas Vorwald
,
Andreas Rausch
Teaching Novices Supervised Learning with Autonomous Model Vehicles.
CSEE&T
(2020)
Adina Aniculaesei
,
Andreas Vorwald
,
Andreas Rausch
Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System.
MoDELS (Companion)
(2019)