PhD Student
Computer Aided Verification (CAV) TACO: A Toolsuite for the Verification of Threshold Automata
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI) Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
Formal Methods (FM) Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI) Parameterized Verification of Disjunctive Timed Networks.