VLDB 2026 Research / reviewers in the wild / expert
Udo Brockmeyer
dblp:13/2982
· DBLP profile ↗
3ranked-venue papers
2as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-author · 1 since 2021Theory of computation · 2 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
FM | 5 |
| 1998 | Real-Time Verification of Statemate Designs
Udo Brockmeyer, Gunnar Wittich |
CAV | 1 |
| 1998 | Tamagotchis Need Not Die - Verification of STATEMENT Design
Udo Brockmeyer, Gunnar Wittich |
TACAS | 1 |