Doktorand:in
Computer Aided Verification (CAV) TACO: A Toolsuite for the Verification of Threshold Automata
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