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 | 34 | 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 | 22 | 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 | 17 | 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 | 16 | 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 | 14 | 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 |