Andreas Vorwald

According to our database, Andreas Vorwald authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Connected Dependability Cage Approach for Safe Automated Driving.

Adina Aniculaesei, Iqra Aslam, Daniel Bamal, Felix Helsch, Andreas Vorwald, Meng Zhang, Andreas Rausch

CoRR, 2023

2021

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

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

2020

Teaching Novices Supervised Learning with Autonomous Model Vehicles.

Tim Warnecke, Jörg Grieser, Meng Zhang, Andreas Vorwald, Andreas Rausch

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2019

Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System.

Adina Aniculaesei, Andreas Vorwald, Andreas Rausch

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019