Follow
Tom Baumeister
Tom Baumeister
CISPA Helmholtz Center for Information Security
Verified email at cispa.de - Homepage
Title
Cited by
Cited by
Year
Explainable reactive synthesis
T Baumeister, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2020
72020
Parameterized verification of round-based distributed algorithms via extended threshold automata
T Baumeister, P Eichler, S Jacobs, M Sakr, M Völp
International Symposium on Formal Methods, 638-657, 2024
12024
Automatic WSTS-based Repair and Deadlock Detection of Parameterized Systems
T Baumeister, S Jacobs, M Sakr, M Völp
2024
The system can't perform the operation now. Try again later.
Articles 1–3