Miroslav Stankovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2022
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SAS | Solving Invariant Generation for Unsolvable Loops. | Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovcs, Marcel Moosbrugger, Miroslav Stankovic |
| 2020 | ICTAC | Analysis of Bayesian Networks via Prob-Solvable Loops. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |
| 2020 | TACAS | Mora - Automatic Generation of Moment-Based Invariants. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |
| 2019 | ATVA | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |