|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Vana, Laura ; Visconti, Ennio ; Nenzi, Laura ; Cadonna, Annalisa ; Kastner, Gregor | Bayesian Machine Learning Meets Formal Methods: An Application to Spatio-Temporal Data | Article Artikel  | 18-Jun-2025 |
| 2 | | Parzer, Roman ; Filzmoser, Peter ; Vana Gür, Laura | Sparse data-driven random projection in regression for high-dimensional data | Article Artikel   | May-2025 |
| 3 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | Automated Monitoring of Web User Interfaces | Article Artikel | 2025 |
| 4 | | Pfeiffer, Pia ; Vana Gür, Laura ; Filzmoser, Peter | Cellwise robust and sparse principal component analysis | Article Artikel | 2025 |
| 5 | | Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès ; Nenzi, Laura | Adaptable Configuration of Decentralized Monitors | Inproceedings Konferenzbeitrag | 2024 |
| 6 | | Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu | Lightweight Verification of Hyperproperties | Inproceedings Konferenzbeitrag | 19-Oct-2023 |
| 7 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra | Hypernode Automata | Inproceedings Konferenzbeitrag | 7-Sep-2023 |
| 8 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele | MoonLight: a lightweight tool for monitoring spatio-temporal properties | Article Artikel | 1-Aug-2023 |
| 9 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | WebMonitor: Verification of Web User Interfaces | Inproceedings Konferenzbeitrag | 5-Jan-2023 |
| 10 | | Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina | Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties | Inproceedings Konferenzbeitrag | 2023 |
| 11 | | Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz | Justification logic for constructive modal logic | Article Artikel | Sep-2021 |
