Udo Brockmeyer

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 4

Top Topics

Grand Challenge

Reactive Systems

Autonomous Driving

Top Venues

SC-square@SIAM AG

Software Engineering (Workshops)

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. FM (2021)
Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer
Towards Using Formal Methods in Prototyping: Advantage or Impediment? Software Engineering (Workshops) (2020)
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-square@SIAM AG (2019)
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-Square@FLOC (2018)
Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko
Automatic Validation and Verification in a Model-Based Development Process. MBEES (2005)
François Terrier, Nikos S. Voros, Udo Brockmeyer
Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops (2000)
Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
Verification of Automotive Control Units. Correct System Design (1999)
Udo Brockmeyer, Gunnar Wittich
Real-Time Verification of Statemate Designs. CAV (1998)
Udo Brockmeyer, Gunnar Wittich
Tamagotchis Need Not Die - Verification of STATEMENT Design. TACAS (1998)