|
| | 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 | | Maderbacher, Benedikt ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Könighofer, Bettina | An Adaptive, Provable Correct Simplex Architecture | Article Artikel | 2025 |
| 5 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 6 | | Bartocci, Ezio ; Essbai, Wasim | A Comparison of Monitoring Techniques for Deep Neural Networks | Inproceedings Konferenzbeitrag | 30-Dec-2024 |
| 7 | | Biffl, Stefan ; Meixner, Kristof ; Vierhauser, Michael | Agile Field Test Support for Drone Rescue Missions | Inproceedings Konferenzbeitrag | 19-Dec-2024 |
| 8 | | Rahmani, Hossein ; Biffl, Stefan ; Meixner, Kristof ; Hoffmann, David ; Lüder, Arndt ; Winkler, Dietmar | Business Risk Analysis of Production Variants Considering Technical Dependencies | Inproceedings Konferenzbeitrag | 19-Dec-2024 |
| 9 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel   | 11-Nov-2024 |
| 10 | | Rinker, Felix Paul ; Meixner, Kristof ; Dogaru, Roxana ; Biffl, Stefan | Graph-Based Change Impact Visualization for Agile Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 11 | | Rinker, Felix Paul ; Meixner, Kristof ; Vysoká, Diana ; Biffl, Stefan | Multi-Domain Modeling for Change Management in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 12 | | Rinker, Felix Paul ; Vysoká, Diana ; Meixner, Kristof ; Biffl, Stefan | Survey of Practitioner Needs and Approaches for Multi-Domain Change Management in Cyber-Physical Production Systems Engineering | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 13 | | Lüder, Arndt ; Hoffmann, David ; Biffl, Stefan ; Meixner, Kristof | Identifying Required Knowledge for Production System Digitalization Projects | Inproceedings Konferenzbeitrag | 16-Oct-2024 |
| 14 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 15 |  | Eiter, Thomas ; Hadl, Jan ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Declarative Knowledge Distillation from Large Language Models forVisual Question Answering Datasets | Inproceedings Konferenzbeitrag | 12-Oct-2024 |
| 16 |  | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 17 |  | Eiter, Thomas ; Fichte, Johannes Klaus ; Hecher, Markus ; Woltran, Stefan | Epistemic Logic Programs: Non-Ground and Counting Complexity | Inproceedings Konferenzbeitrag | 9-Aug-2024 |
| 18 | | 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 |
| 19 | | Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed ; Graham-Lengrand, Stéphane ; Kovács, Laura | MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper) | Inproceedings Konferenzbeitrag | 1-Jul-2024 |
| 20 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Predictable and optimized single-path code for predicated processors | Article Artikel | 17-Jun-2024 |
