Martin Helfrich
Title
Cited by
Cited by
Year
Checking qualitative liveness properties of replicated systems with stochastic scheduling
M Blondin, J Esparza, M Helfrich, A Kučera, PJ Meyer
International Conference on Computer Aided Verification, 372-397, 2020
42020
Succinct Population Protocols for Presburger Arithmetic
M Blondin, J Esparza, B Genest, M Helfrich, S Jaax
arXiv preprint arXiv:1910.04600, 2019
42019
Automata tutor v3
L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger
International Conference on Computer Aided Verification, 3-14, 2020
12020
Decision Power of Weak Asynchronous Models of Distributed Computing
P Czerner, R Guttenberg, M Helfrich, J Esparza
arXiv preprint arXiv:2102.11630, 2021
2021
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs
J Esparza, M Helfrich, S Jaax, PJ Meyer
International Symposium on Automated Technology for Verification and …, 2020
2020
Automatic Verification of non-silent Population Protocols
M Helfrich
2019
Kontextfreie Grammatiken in AutomataTutor
M Helfrich
2017
The system can't perform the operation now. Try again later.
Articles 1–7