| 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 | 47 | 2019 |
| 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 | 32 | 2022 |
| Solving invariant generation for unsolvable loops D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... International Static Analysis Symposium, 19-43, 2022 | 30 | 2022 |
| 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 | 28 | 2020 |
| 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 | 20 | 2020 |
| 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 | 13 | 2022 |
| Moment-based analysis of Bayesian network properties M Stankovič, E Bartocci, L Kovács Theoretical Computer Science 903, 113-133, 2022 | 10 | 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, 2024 | 9 | 2024 |
| 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 | 9 | 2022 |
| (Un) Solvable loop analysis D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... Formal Methods in System Design, 1-32, 2024 | 5 | 2024 |
| Probabilistic loop synthesis from sequences of moments M Stankovič, E Bartocci International Conference on Quantitative Evaluation of Systems and Formal …, 2024 | 1 | 2024 |
| Probabilistic Loop Synthesis M Stankovič, E Bartoccid Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed …, 2024 | | 2024 |
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
