Miroslav Stankovic

According to our database, Miroslav Stankovic authored at least 10 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

CoRR, 2023

(Un)Solvable Loop Analysis.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

CoRR, 2023

2022

Moment-based analysis of Bayesian network properties.

Miroslav Stankovic, Ezio Bartocci, Laura Kovács

Theor. Comput. Sci., 2022

This is the moment for probabilistic loops.

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács

Proc. ACM Program. Lang., 2022

Solving Invariant Generation for Unsolvable Loops.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

Proceedings of the Static Analysis - 29th International Symposium, 2022

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Distribution Estimation for Probabilistic Loops.

Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2020

Mora - Automatic Generation of Moment-Based Invariants.

Ezio Bartocci, Laura Kovács, Miroslav Stankovic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Analysis of Bayesian Networks via Prob-Solvable Loops.

Ezio Bartocci, Laura Kovács, Miroslav Stankovic

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.

Ezio Bartocci, Laura Kovács, Miroslav Stankovic

Proceedings of the Automated Technology for Verification and Analysis, 2019