|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Lemmel, Julian ; Grosu, Radu | Real-Time Recurrent Reinforcement Learning | Inproceedings Konferenzbeitrag  | 11-Apr-2025 |
| 2 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel | Apr-2025 |
| 3 | | Liu, Wenliang ; Alsalehi, Suhail ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control | Article Artikel | 4-Feb-2025 |
| 4 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Signal Feature Coverage and Testing for CPS Dataflow Models | Article Artikel | 2025 |
| 5 | | Maderbacher, Benedikt ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Könighofer, Bettina | An Adaptive, Provable Correct Simplex Architecture | Article Artikel | 2025 |
| 6 | | 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 |
| 7 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 8 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | Automated Monitoring of Web User Interfaces | Article Artikel | 2025 |
| 9 | | Bartocci, Ezio ; Essbai, Wasim | A Comparison of Monitoring Techniques for Deep Neural Networks | Inproceedings Konferenzbeitrag | 30-Dec-2024 |
| 10 | | von Berg, Benjamin ; Aichernig, Bernhard K. ; Rindler, Maximilian ; Štern, Darko ; Tappler, Martin | Hierarchical Learning of Generative Automaton Models from Sequential Data | Inproceedings Konferenzbeitrag | 26-Nov-2024 |
| 11 |  | Chiari, Michele ; Xiang, Bin ; Canzoneri, Sergio ; Nedeltcheva, Galia Novakova ; Di Nitto, Elisabetta ; Blasi, Lorenzo ; Benedetto, Debora ; Niculut, Laurentiu ; Škof, Igor | DOML: A new modeling approach to infrastructure-as-code | Article Artikel   | Nov-2024 |
| 12 |  | Yadav, Drishti | From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems | Inproceedings Konferenzbeitrag | 11-Sep-2024 |
| 13 | | Essbai, Wasim ; BOMBARDA, ANDREA ; Bonfanti, Silvia ; Gargantini, Angelo | A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers | Inproceedings Konferenzbeitrag | 12-Jul-2024 |
| 14 |  | 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 |
| 15 | | Indri, Patrick ; Blohm, Peter ; Athavale, Anagha ; Bartocci, Ezio ; Weissenbacher, Georg ; Maffei, Matteo ; Nickovic, Dejan ; Gärtner, Thomas ; Malhotra, Sagar | Distillation based Robustness Verification with PAC Guarantees | Inproceedings Konferenzbeitrag | 28-Jun-2024 |
| 16 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Predictable and optimized single-path code for predicated processors | Article Artikel | 17-Jun-2024 |
| 17 | | Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George James ; Kovacs, Laura ; Moosbrugger, Marcel ; Stankovic, Miroslav | (Un)Solvable loop analysis | Article Artikel | 11-Jun-2024 |
| 18 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas ; Nickovic, Dejan ; Oliveira da Costa, Ana | Information-flow interfaces | Article Artikel | 23-May-2024 |
| 19 | | Lopez-Miguel, Ignacio D. | Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement | Inproceedings Konferenzbeitrag | 21-May-2024 |
| 20 | | Lemmel, Julian ; Babaiee, Zahra ; Kleinlehner, Marvin ; Majic, Ivan ; Neubauer, Philipp ; Scholz, Johannes ; Grosu, Radu ; Neubauer, Sophie | Prediction of Tourism Flow with Sparse Geolocation Data | Inproceedings Konferenzbeitrag | 4-Jan-2024 |
