Miroslav Stankovic

20 papers B 2C 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
(Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025 J jnl
Correction: (Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2024 J jnl
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.
ACM Trans. Model. Comput. Simul.
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2024 — conf
Probabilistic Loop Synthesis from Sequences of Moments.
QEST+FORMATS
Miroslav Stankovic, Ezio Bartocci
2023 J jnl
(Un)Solvable Loop Analysis.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2023 J jnl
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.
CoRR
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2022 — conf
Distribution Estimation for Probabilistic Loops.
QEST
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
2022 — conf
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.
QEST
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2022 J jnl
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.
CoRR
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
2022 J jnl
Moment-based analysis of Bayesian network properties.
Theor. Comput. Sci.
Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2022 B conf
Solving Invariant Generation for Unsolvable Loops.
SAS
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022 J jnl
Solving Invariant Generation for Unsolvable Loops.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022 J jnl
This is the Moment for Probabilistic Loops.
CoRR
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2022 J jnl
This is the moment for probabilistic loops.
Proc. ACM Program. Lang.
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
2021 J jnl
MORA - Automatic Generation of Moment-Based Invariants.
CoRR
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2020 C conf
Analysis of Bayesian Networks via Prob-Solvable Loops.
ICTAC
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2020 J jnl
Analysis of Bayesian Networks via Prob-Solvable Loops.
CoRR
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2020 — conf
Mora - Automatic Generation of Moment-Based Invariants.
TACAS (1)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2019 B conf
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.
ATVA
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
2019 J jnl
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.
CoRR
Ezio Bartocci, Laura Kovács, Miroslav Stankovic