Automata tutor v3 L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 23 | 2020 |
Succinct population protocols for presburger arithmetic M Blondin, J Esparza, B Genest, M Helfrich, S Jaax 37th International Symposium on Theoretical Aspects of Computer Science …, 2020 | 20 | 2020 |
Fast and Succinct Population Protocols for Presburger Arithmetic P Czerner, R Guttenberg, M Helfrich, J Esparza 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022), 2022 | 9 | 2022 |
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 | 8 | 2020 |
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 | 5 | 2020 |
Abstraction-Based Segmental Simulation of Chemical Reaction Networks M Helfrich, M Češka, J Křetínský, Š Martiček International Conference on Computational Methods in Systems Biology, 41-60, 2022 | 4 | 2022 |
Abstraction-based segmental simulation of reaction networks using adaptive memoization M Helfrich, R Andriushchenko, M Češka, J Křetinský, Š Martiček, ... | | 2024 |
Efficient Analysis of Population Protocols and Chemical Reaction Networks M Helfrich Technische Universität München, 2023 | | 2023 |
Decision Power of Weak Asynchronous Models of Distributed Computing P Czerner, R Guttenberg, M Helfrich, J Esparza Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing …, 2021 | | 2021 |
Automatic Verification of non-silent Population Protocols M Helfrich | | 2019 |
Kontextfreie Grammatiken in AutomataTutor M Helfrich | | 2017 |