Real-Time Verification of Statemate Designs. - Udo Brockmeyer; Gunnar Wittich (CAV, 1998)

Tamagotchis Need Not Die - Verification of STATEMENT Design. - Udo Brockmeyer; Gunnar Wittich (TACAS, 1998)

Verification of Automotive Control Units. - Tom Bienmüller; Jürgen Bohn 002; Henning Brinkmann; Udo Brockmeyer; Werner Damm; Hardi Hungar; Peter Jansen 003 (Correct System Design, 1999)

Verifikation von Statemate Designs: Dissertation. - Udo Brockmeyer (1999)

Specification, Implementation, and Validation of Object-Oriented Embedded Systems. - François Terrier; Nikos S. Voros; Udo Brockmeyer (ECOOP Workshops, 2000)

Automatic Validation and Verification in a Model-Based Development Process. - Udo Brockmeyer; Werner Damm; Hardi Hungar; Bernhard Josko (MBEES, 2005)

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. - Andreas Eggers; Matthias Stasch; Tino Teige; Tom Bienmüller; Udo Brockmeyer (SC-Square@FLOC, 2018)

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 (SC-square@SIAM AG, 2019)

Towards Using Formal Methods in Prototyping: Advantage or Impediment? - Sebastian Schirmer; Tino Teige; Christoph Torens; Udo Brockmeyer (Software Engineering (Workshops), 2020)

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 (FM, 2021)