Udo Brockmeyer

According to our database, Udo Brockmeyer authored at least 10 papers between 1998 and 2021.

Collaborative distances:

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

2021

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems.

Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Towards Using Formal Methods in Prototyping: Advantage or Impediment?

Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

2019

Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.

Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

2018

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2005

Automatic Validation and Verification in a Model-Based Development Process.

Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

2000

Specification, Implementation, and Validation of Object-Oriented Embedded Systems.

François Terrier, Nikos S. Voros, Udo Brockmeyer

Proceedings of the Object-Oriented Technology, 2000

1999

Verifikation von Statemate Designs: Dissertation.

Udo Brockmeyer

PhD thesis, 1999

Verification of Automotive Control Units.

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen

Proceedings of the Correct System Design, 1999

1998

Tamagotchis Need Not Die - Verification of STATEMENT Design.

Udo Brockmeyer, Gunnar Wittich

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Real-Time Verification of Statemate Designs.

Udo Brockmeyer, Gunnar Wittich

Proceedings of the Computer Aided Verification, 10th International Conference, 1998