Name Card

Full name Familienname, Vorname
Stankovic, Miroslav
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-10 of 10 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Stankovic Miroslav - 2023 - Moment-Based Loop Analysis.pdf.jpgStankovic, Miroslav Moment-based loop analysisThesis Hochschulschrift 2023
2Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022
3Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
4Stankovič, Miroslav ; Bartocci, Ezio ; Kovács, Laura Moment-based analysis of Bayesian network propertiesArtikel Article 2022
5Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav Solving Invariant Generation for Unsolvable LoopsInproceedings Konferenzbeitrag 2022
6Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022
7Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav Mora - Automatic Generation of Moment-Based InvariantsKonferenzbeitrag Inproceedings2020
8Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav Analysis of Bayesian Networks via Prob-Solvable LoopsKonferenzbeitrag Inproceedings2020
9Bartocci, Ezio ; Kovacs, Laura ; Stankovic, Miroslav Automatic Generation of Moment-Based Invariants for Prob-Solvable LoopsKonferenzbeitrag Inproceedings 2019
10Stankovic, Miroslav Automatic Analysis for Prob-Solvable LoopsPräsentation Presentation2019