Andreas Vorwald
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2019–2021
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICSA | 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 |
| 2019 | MODELS | Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System. | Adina Aniculaesei, Andreas Vorwald, Andreas Rausch |