Bernd Holzmüller

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 5

Top Topics

Genetic Algorithm Ga

Multiresolution

Automated Verification

Autonomous Driving

Top Venues

Publications

Florian Hauer, Alexander Pretschner, Bernd Holzmüller
Re-Using Concrete Test Scenarios Generally Is a Bad Idea. IV (2020)
Florian Hauer, Bernd Holzmüller
Szenario-Optimierung für die Absicherung von automatisierten und autonomen Fahrsystemen. CoRR (2019)
Florian Hauer, Alexander Pretschner, Bernd Holzmüller
Fitness Functions for Testing Automated and Autonomous Driving Systems. SAFECOMP (2019)
Florian Hauer, Tabea Schmidt, Bernd Holzmüller, Alexander Pretschner
Did We Test All Scenarios for Automated and Autonomous Driving Systems? ITSC (2019)
Stefan Schwab, Bernd Holzmüller, Sören Hohmann
Automated Verification of Switched Systems Using Hybrid Identification. CyPhy (2016)
Bernd Holzmüller
Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes. Softwaretechnik-Trends 26 (2) (2006)
Bernd Holzmüller
On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms. ECOOP Workshops (1998)
Bernd Holzmüller, Erhard Plödereder
Finite Unions for Ada 95. Ada-Europe (1997)
Bernd Holzmüller
Extending the Object-Orientedness of Ada 95. Ada-Europe (1996)