Doktorand:in
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.