Tom Baumeister

According to our database, Tom Baumeister authored at least 2 papers between 2020 and 2024.

Collaborative distances:

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

2024

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.

Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp

Proceedings of the Formal Methods - 26th International Symposium, 2024

2020

Explainable Reactive Synthesis.

Tom Baumeister, Bernd Finkbeiner, Hazem Torfah

Proceedings of the Automated Technology for Verification and Analysis, 2020