Extending the Object-Orientedness of Ada 95. - Bernd Holzmüller (Ada-Europe, 1996)

Finite Unions for Ada 95. - Bernd Holzmüller; Erhard Plödereder (Ada-Europe, 1997)

On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms. - Bernd Holzmüller (ECOOP Workshops, 1998)

Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes. - Bernd Holzmüller (Softwaretechnik-Trends, 2006)

Automated Verification of Switched Systems Using Hybrid Identification. - Stefan Schwab; Bernd Holzmüller; Sören Hohmann (CyPhy, 2016)

Did We Test All Scenarios for Automated and Autonomous Driving Systems? - Florian Hauer 002; Tabea Schmidt; Bernd Holzmüller; Alexander Pretschner (ITSC, 2019)

Fitness Functions for Testing Automated and Autonomous Driving Systems. - Florian Hauer 002; Alexander Pretschner; Bernd Holzmüller (SAFECOMP, 2019)

Szenario-Optimierung für die Absicherung von automatisierten und autonomen Fahrsystemen. - Florian Hauer; Bernd Holzmüller (CoRR, 2019)

Re-Using Concrete Test Scenarios Generally Is a Bad Idea. - Florian Hauer 002; Alexander Pretschner; Bernd Holzmüller (IV, 2020)