|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | Model Checking Probabilistic Operator Precedence Automata | Article Artikel  | 2026 |
| 2 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 3 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 4 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel | Apr-2025 |
| 5 | | Bartocci, Ezio ; Desharnais, Josée ; Lindner, Peter ; Sokolova, Ana | A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case | Book Contribution Buchbeitrag | 2025 |
| 6 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 7 | | Ait El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Applications | Inproceedings Konferenzbeitrag   | 2025 |
| 8 | | Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs | Inproceedings Konferenzbeitrag | 2025 |
| 9 | | Bartocci, Ezio ; Essbai, Wasim | A Comparison of Monitoring Techniques for Deep Neural Networks | Inproceedings Konferenzbeitrag | 30-Dec-2024 |
| 10 | | Ait El Manssour, Rida ; Kenison, George James ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Synthesis | Presentation Vortrag | 19-Sep-2024 |
| 11 |  | Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Bura, Efstathia | Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments | Article Artikel | 10-Jul-2024 |
| 12 | | Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George James ; Kovacs, Laura ; Moosbrugger, Marcel ; Stankovic, Miroslav | (Un)Solvable loop analysis | Article Artikel | 11-Jun-2024 |
| 13 | | Hitarth, S. ; Kenison, George James ; Kovacs, Laura ; Varonka, Anton | Linear Loop Synthesis for Quadratic Invariants | Inproceedings Konferenzbeitrag | 11-Mar-2024 |
| 14 | | Bartocci, Ezio | Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach | Inproceedings Konferenzbeitrag | 2024 |
| 15 | | Stankovic, Miroslav ; Bartocci, Ezio | Probabilistic Loop Synthesis from Sequences of Moments | Inproceedings Konferenzbeitrag | 2024 |
| 16 | | Bartocci, Ezio | The PROBING Project: Advancing Automatic Analysis of Probabilistic Loops | Inproceedings Konferenzbeitrag | 2024 |
| 17 | | Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg | Verifying Global Two-Safety Properties in Neural Networks with Confidence | Inproceedings Konferenzbeitrag | 2024 |
| 18 | | Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovacs, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav | Correction: (Un)Solvable loop analysis | Article Artikel | 2024 |
| 19 | | Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Specification Parameters for Multi-class Classification | Inproceedings Konferenzbeitrag | 1-Oct-2023 |
| 20 | | Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie | Deductive Controller Synthesis for Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
