| Automatic generation of moment-based invariants for prob-solvable loops E Bartocci, L Kovács, M Stankovič International Symposium on Automated Technology for Verification and …, 2019 | 33 | 2019 |
| Mora - Automatic Generation of Moment-Based Invariants E Bartocci, L Kovács, M Stankovič International Conference on Tools and Algorithms for the Construction and …, 2020 | 21 | 2020 |
| This is the moment for probabilistic loops M Moosbrugger, M Stankovič, E Bartocci, L Kovács Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1497-1525, 2022 | 16 | 2022 |
| Analysis of bayesian networks via prob-solvable loops E Bartocci, L Kovács, M Stankovič International Colloquium on Theoretical Aspects of Computing, 221-241, 2020 | 15 | 2020 |
| Solving invariant generation for unsolvable loops D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... International Static Analysis Symposium, 19-43, 2022 | 13 | 2022 |
| Moment-based invariants for probabilistic loops with non-polynomial assignments A Kofnov, M Moosbrugger, M Stankovič, E Bartocci, E Bura International Conference on Quantitative Evaluation of Systems, 3-25, 2022 | 6 | 2022 |
| Moment-based analysis of Bayesian network properties M Stankovič, E Bartocci, L Kovács Theoretical Computer Science 903, 113-133, 2022 | 4 | 2022 |
| Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments A Kofnov, M Moosbrugger, M Stankovič, E Bartocci, E Bura ACM Transactions on Modeling and Computer Simulation, 2023 | 3 | 2023 |
| Distribution estimation for probabilistic loops A Karimi, M Moosbrugger, M Stankovič, L Kovács, E Bartocci, E Bura International Conference on Quantitative Evaluation of Systems, 26-42, 2022 | 3 | 2022 |
| (Un) Solvable Loop Analysis D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... arXiv preprint arXiv:2306.01597, 2023 | | 2023 |
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
