Miroslav Stankovic

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023

(Un)Solvable Loop Analysis.

[BibT_eX]

[DOI]

CoRR, 2023

2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

[BibT_eX]

[DOI]

Dataset, July, 2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

[BibT_eX]

[DOI]

Dataset, July, 2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

[BibT_eX]

[DOI]

Dataset, July, 2022

This is the Moment for Probabilistic Loops - Artifact (Polar).

[BibT_eX]

[DOI]

Dataset, July, 2022

Moment-based analysis of Bayesian network properties.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

This is the moment for probabilistic loops.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Solving Invariant Generation for Unsolvable Loops.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Distribution Estimation for Probabilistic Loops.

[BibT_eX]

[DOI]

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

2020

Mora - Automatic Generation of Moment-Based Invariants.

[BibT_eX]

[DOI]

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

Analysis of Bayesian Networks via Prob-Solvable Loops.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]