Bernd Holzmüller

According to our database, Bernd Holzmüller authored at least 9 papers between 1996 and 2020.

Collaborative distances:

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

2020

Re-Using Concrete Test Scenarios Generally Is a Bad Idea.

Florian Hauer, Alexander Pretschner, Bernd Holzmüller

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2019

Szenario-Optimierung für die Absicherung von automatisierten und autonomen Fahrsystemen.

Florian Hauer, Bernd Holzmüller

CoRR, 2019

Fitness Functions for Testing Automated and Autonomous Driving Systems.

Florian Hauer, Alexander Pretschner, Bernd Holzmüller

Proceedings of the Computer Safety, Reliability, and Security, 2019

Did We Test All Scenarios for Automated and Autonomous Driving Systems?

Florian Hauer, Tabea Schmidt, Bernd Holzmüller, Alexander Pretschner

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

2016

Automated Verification of Switched Systems Using Hybrid Identification.

Stefan Schwab, Bernd Holzmüller, Sören Hohmann

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2006

Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes.

Bernd Holzmüller

Softwaretechnik-Trends, 2006

1998

On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms.

Bernd Holzmüller

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Finite Unions for Ada 95.

Bernd Holzmüller, Erhard Plödereder

Proceedings of the Reliable Software Technologies, 1997

1996

Extending the Object-Orientedness of Ada 95.

Bernd Holzmüller

Proceedings of the Reliable Software Technologies, 1996