|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 |  | Calzavara, Stefano ; Casarin, Samuele ; Squarcina, Marco ; Maffei, Matteo | From Syntactic Matching to Taint Tracking and Back: A Comparative Study of Web Tracking Detection Techniques | Inproceedings Konferenzbeitrag    | Oct-2026 |
| 2 | | Bartocci, Ezio | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk) | Inproceedings Konferenzbeitrag | Aug-2026 |
| 3 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 4 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 5 | | Sallinger, Sarah Sophie ; Graussam, Lukas ; Weissenbacher, Georg ; Zuleger, Florian ; Ignatiev, Alexey | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 6 | | Pollitt, Florian ; Fleury, Mathias ; Fazekas, Katalin ; Froleyks, Nils ; Schidler, André ; Schreiber, Dominik ; Biere, Armin | CaDiCaL 3.0 (Tool Paper) | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 7 |  | Kovács, Laura | SAT in Saturation: A Satisfied Match | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 8 |  | Kovács, Laura | Saturation-Guided Inductive Synthesis | Inproceedings Konferenzbeitrag | 15-Jul-2026 |
| 9 | | Kaindlstorfer, David ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Interrogation Testing of CHC Solvers | Article Artikel | 30-Jun-2026 |
| 10 | | Schreiber, Dominik ; Fleury, Mathias ; Fazekas, Katalin ; Biere, Armin | Real-time Proof Checking for Distributed Incremental SAT Solving | Inproceedings Konferenzbeitrag | 16-Apr-2026 |
| 11 | | Clement, Mihaela-Larisa ; Farsang, Monika ; Stanusoiu, Mihai-Teodor ; Rus, Daniela ; Hasani, Ramin ; Grosu, Radu ; Bartocci, Ezio | Evaluating Domain-Shift Generalization of Liquid Neural Networks in Autonomous Driving | Inproceedings Konferenzbeitrag | 28-Feb-2026 |
| 12 |  | Kovács, Laura | Moments in Time: Algebraic Analysis for Solvable Loops | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 13 | | Christakis, Maria ; Donaldson, Alastair F. ; Regehr, John ; Sotiropoulos, Thodoris | Testing Program Analyzers and Verifiers | Article Artikel | 17-Feb-2026 |
| 14 | | Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico | Fault Injection for Simulink-based CPS Models: Insights and Future Directions | Inproceedings Konferenzbeitrag | 28-Jan-2026 |
| 15 | | Indri, Patrick ; Drucks, Tamara ; Gärtner, Thomas | On the trade-off between expressivity and privacy in graph representation learning | Inproceedings Konferenzbeitrag | 26-Jan-2026 |
| 16 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 17 | | Van Nguyen, Phuoc-Chung ; To, Van-Thinh ; Nguyen Tran, Ngoc-Vi ; Phan, Tieu-Long ; Truong, Tuyen Ngoc ; Gärtner, Thomas ; Merkle, Daniel ; Stadler, Peter F. | SynCat: molecule-level attention graph neural network for precise reaction classification | Article Artikel | 2026 |
| 18 | | Coutelier, Robin ; Hader, Thomas ; Kovacs, Laura | Generalizing CDCL with Graph Backtracking | Inproceedings Konferenzbeitrag | 2026 |
| 19 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | Inproceedings Konferenzbeitrag | 2026 |
| 20 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 21 | | Christakis, Maria | Systematic Testing for Complex Systems in the Absence of Oracles | Inproceedings Konferenzbeitrag | 2026 |
| 22 | | Avarikioti, Georgia ; Fuchsbauer, Georg ; Keer, Pim ; Maffei, Matteo ; Regen, Fabian | A Composable Game-Theoretic Framework for Blockchains | Inproceedings Konferenzbeitrag | 2026 |
| 23 | | Moeini Jam, Mehran ; Kalantari, Hamed ; Khamespanah, Ehsan ; Sirjani, Marjan ; Movaghar, Ali | Compositional Verification of Timed Automata via Violation Assumptions | Inproceedings Konferenzbeitrag | 2026 |
| 24 | | Marzari, Luca ; Bartocci, Ezio ; Marchesini, Enrico | A Survey on the Verification of Reinforcement Learning Policies | Inproceedings Konferenzbeitrag | 2026 |
| 25 | | Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs | Presentation Vortrag | 17-Dec-2025 |
| 26 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 27 | | Zamyatin, Anton ; Indri, Patrick ; Malhotra, Sagar ; Gärtner, Thomas | Is BatchEnsemble a Single Model? On Calibration and Diversity of Efficient Ensembles | Presentation Vortrag | 6-Dec-2025 |
| 28 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel | Dec-2025 |
| 29 | | Hochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Fuzzing Processing Pipelines for Zero-Knowledge Circuits | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 30 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 31 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 32 | | Weinbauer, Klaus ; Phan, Tieu-Long ; Stadler, Peter F. ; Gärtner, Thomas ; Malhotra, Sagar | Prime Implicant Explanations for Reaction Feasibility Prediction | Preprint Preprint | 10-Oct-2025 |
| 33 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 34 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 35 | | Bocevska, Ivana ; Petković Komel, Anja ; Kovacs, Laura ; Rain, Sophie ; Rawson, Michael | Divide and Conquer: A Compositional Approach to Game-Theoretic Security | Article Artikel | Oct-2025 |
| 36 | | Chen, Hongkai ; Zhang, Zeyu ; Roy, Shouvik ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott ; Lin, Shan | Cumulative-Time Signal Temporal Logic | Article Artikel | 26-Sep-2025 |
| 37 | | Indri, Patrick ; Drucks, Tamara ; Gärtner, Thomas | Private and Expressive Graph Representations | Presentation Vortrag | 15-Sep-2025 |
| 38 | | Sandrock, Christoph ; Lüderssen, Sebastian Johannes ; Thiessen, Maximilian ; Gärtner, Thomas | Efficient Minimization of Peakless Functions on Bounded-degree Graphs | Presentation Vortrag | 15-Sep-2025 |
| 39 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel | Sep-2025 |
| 40 | | Manduchi, Laura ; Meister, Clara ; Pandey, Kushagra ; Bamler, Robert ; Cotterel, Ryan ; Däubener, Sina ; Fellenz, Sophie ; Fischer, Asja ; Gärtner, Thomas ; Kirchler, Matthias ; Kloft, Marius ; Li, Yingzhen ; Lippert, Christoph ; De Melo, Gerard ; Nalisnick, Eric ; Ommer, Björn ; Ranganath, Rajesh ; Waldron, Maja ; Ullrich, Karen ; Van den Broeck, Guy ; Vogt, Julia E. ; Wang, Yixin ; Wenzel, Florian ; Wood, Frank ; Mandt, Stephan ; Fortuin, Vincent | On the Challenges and Opportunities in Generative AI | Article Artikel | 22-Aug-2025 |
| 41 | | Blohm, Peter ; Indri, Patrick ; Gärtner, Thomas ; Malhotra, Sagar | Probably Approximately Global Robustness Certification | Inproceedings Konferenzbeitrag | 16-Aug-2025 |
| 42 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 43 |  | Codel, Cayden ; Fazekas, Katalin ; Heule, Marijn J. H. ; Iser, Markus | Proceedings of SAT Competition 2025 : Solver and Benchmark Descriptions | Proceedings Tagungsband | Aug-2025 |
| 44 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 45 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 46 | | Eniser, Hasan Ferit ; Lin, Songtuan ; Müller, Nicola ; Isychev, Anastasia ; Wüstholz, Valentin ; Valera, Isabel ; Hoffmann, Jörg ; Christakis, Maria | Using Action-Policy Testing in RL to Reduce the Number of Bugs | Inproceedings Konferenzbeitrag | 20-Jul-2025 |
| 47 | | Christakis, Maria | Just Nail It: Systematic Testing for Complex Systems | Presentation Vortrag | 15-Jul-2025 |
| 48 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLM-based Generation of Weakest Preconditions and Precise Array Invariants | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 49 | | Christakis, Maria | Just Nail It: Systematic Testing for Complex Systems | Presentation Vortrag | 10-Jun-2025 |
| 50 | | Nesterini, Eleonora ; Bartocci, Ezio ; Gambi, Alessio ; Nickovic, Dejan ; Seshia, Sanjit A. ; Torfah, Hazem | Mining Specifications for Predictive Safety Monitoring | Inproceedings Konferenzbeitrag | 7-May-2025 |
| 51 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Inproceedings Konferenzbeitrag | 3-May-2025 |
| 52 | | Bause, Franka ; Jogl, Fabian ; Indri, Patrick ; Drucks, Tamara ; Penz, David ; Kriege, Nils ; Gärtner, Thomas ; Welke, Pascal ; Thiessen, Maximilian | Maximally Expressive GNNs for Outerplanar Graphs | Article Artikel | Jan-2025 |
| 53 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
| 54 | | Negishi, Masahiro ; Gärtner, Thomas ; Welke, Pascal | WILTing Trees: Interpreting the Distance Between MPNN Embeddings | Inproceedings Konferenzbeitrag | 2025 |
| 55 | | 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 |
| 56 | | Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin | Incremental Inprocessing Rules beyond Resolution | Inproceedings Konferenzbeitrag | 2025 |
| 57 |  | Scaffino, Giulia ; Aumayr, Lukas ; Bastankhah, Mahsa ; Avarikioti, Zeta ; Maffei, Matteo | Alba: The Dawn of Scalable Bridges for Blockchains | Inproceedings Konferenzbeitrag | 2025 |
| 58 | | Lopez-Miguel, Ignacio D. ; Adam, Sebastian Philipp ; Bartocci, Ezio ; Eiter, Thomas ; Tappler, Martin | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents | Inproceedings Konferenzbeitrag | 2025 |
| 59 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Voronkov, Andrei ; Wagner, Eva Maria ; Žilinčík, Richard Steven | Synthesis Benchmarks for Automated Reasoning | Inproceedings Konferenzbeitrag | 2025 |
| 60 | | Jogl, Fabian ; Welke, Pascal ; Gärtner, Thomas | Is Expressivity Essential for the Predictive Performance of Graph Neural Networks? | Inproceedings Konferenzbeitrag | 2024 |
| 61 | | Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovacs, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav | Correction: (Un)Solvable loop analysis | Article Artikel | 2024 |
| 62 | | Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Manjunath ; Ničković, Dejan | Adaptive testing for specification coverage and refinement in CPS models | Article Artikel | Nov-2022 |
