Tom Baumeister

Formal methods in system design Automatic WSTS-based repair and deadlock detection of parameterized systems

Formal Methods (FM)
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata

International Symposium on Automated Technology for Verification and Analysis (ATVA)
Automated Technology for Verification and Analysis