|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich ; Drmota, Michael | Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs | Article Artikel    | May-2025 |
| 2 | | Zilk, Felix ; Tundo, Alessandro ; De Maio, Vincenzo ; Brandic, Ivona | Breaking Down Quantum Compilation: Profiling and Identifying Costly Passes | Preprint Preprint | 21-Apr-2025 |
| 3 | | Lemmel, Julian ; Grosu, Radu | Real-Time Recurrent Reinforcement Learning | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 4 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel | Apr-2025 |
| 5 |  | Bhole, Mukund ; Sauter, Thilo ; Semper, Sabrina ; Kastner, Wolfgang | Why to Fail Fast and Often: A Strategy for OT Safety and Security Evaluation | Article Artikel | 20-Mar-2025 |
| 6 | | 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 |
| 7 | | Pacher, Felix ; Steindl, Gernot | Enabling Semantically Enriched Data Streams from OPC UA in Industrial Cyber-Physical Systems | Inproceedings Konferenzbeitrag | Feb-2025 |
| 8 | | Felber, Stephan ; Galeana, Hugo Rincon | Stabilizing Consensus Is Impossible in Lossy Iterated Immediate Snapshot Models | Inproceedings Konferenzbeitrag | 8-Jan-2025 |
| 9 |  | Fischer, Jonas | AI-Powered Rule Generation for Automated Fault Detection and Diagnostics | Thesis Hochschulschrift | 2025 |
| 10 |  | Bhole, Mukund ; Sauter, Thilo ; Kastner, Wolfgang | Enhancing Industrial Cybersecurity: Insights from Analyzing Threat Groups and Strategies in Operational Technology Environments | Article Artikel | 2025 |
| 11 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Signal Feature Coverage and Testing for CPS Dataflow Models | Article Artikel | 2025 |
| 12 |  | Fürst, Lisa | Reentrancy in Ethereum Smart Contracts : methods and tools for detection | Thesis Hochschulschrift | 2025 |
| 13 |  | Dallinger, Hannes | Verfication of concurrent programs in weak memory models | Thesis Hochschulschrift | 2025 |
| 14 | | Maderbacher, Benedikt ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Könighofer, Bettina | An Adaptive, Provable Correct Simplex Architecture | Article Artikel | 2025 |
| 15 | | 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 |
| 16 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 17 |  | Amiri, Amirali ; Nastic, Stefan ; Javadi, Bahman ; Kastner, Wolfgang | Self-Adaptive Intelligent Deployment of Message Brokers: An Empirical Study on IoT Performance | Inproceedings Konferenzbeitrag | 2025 |
| 18 |  | Putra, Rachmad Vidya Wicaksana | Energy efficiency and fault tolerance for spiking and deep neural networks | Thesis Hochschulschrift | 2025 |
| 19 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | Automated Monitoring of Web User Interfaces | Article Artikel | 2025 |
| 20 |  | Fromherz, Thomas | Optimization Strategies for Locating Extrema in a 5G Cellular Transceiver Model | Thesis Hochschulschrift | 2025 |
