Miroslav Stankovic

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 16

Top Topics

Automatically Generating

Moment Invariants

Invariant Features

Zernike Moments

Top Venues

Proc. ACM Program. Lang.

Publications

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. CoRR (2023)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
(Un)Solvable Loop Analysis. CoRR (2023)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. SAS (2022)
Miroslav Stankovic, Ezio Bartocci, Laura Kovács
Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. 903 (2022)
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
Distribution Estimation for Probabilistic Loops. QEST (2022)
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
This is the Moment for Probabilistic Loops. CoRR (2022)
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
This is the moment for probabilistic loops. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. CoRR (2022)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. QEST (2022)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. CoRR (2022)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
MORA - Automatic Generation of Moment-Based Invariants. CoRR (2021)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Mora - Automatic Generation of Moment-Based Invariants. TACAS (1) (2020)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Analysis of Bayesian Networks via Prob-Solvable Loops. CoRR (2020)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC (2020)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. CoRR (2019)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA (2019)