Roland Galbas

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Specification Languages

Inductive Inference

Automated Analysis

Intelligent Transportation Systems

Top Venues

Publications

Christian Neurohr, Lukas Westhofen, Martin Butz, Martin Bollmann, Ulrich Eberle, Roland Galbas
Criticality Analysis for the Verification and Validation of Automated Vehicles. IEEE Access 9 (2021)
Werner Damm, Roland Galbas
Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving. SEFAIAS@ICSE (2018)