|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Korovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei | ALASCA: Reasoning in Quantified Linear Arithmetic | Inproceedings Konferenzbeitrag   | 2023 |
| 2 | | Lukina, Anna ; Esterle, Lukas ; Hirsch, Christian ; Bartocci, Ezio ; Yang, Junxing ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans | Konferenzbeitrag Inproceedings  | 2017 |
| 3 | | Randone, Francesca ; Doz, Romina ; Tribastone, Mirco ; Bortolussi, Luca | DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling | Inproceedings Konferenzbeitrag | 2026 |
| 4 | | Bartocci, Ezio ; Falcone, Yliès ; Reger, Giles | International Competition on Runtime Verification (CRV) | Konferenzbeitrag Inproceedings | 2019 |
| 5 | | Blom, Stefan ; van Dijk, Tom ; Gijis, Kant ; Laarman, Alfons ; Meijer, Jeroen ; van de Pol, Jaco | LTSmin: High-Performance Language-Independent Model Checking | Konferenzbeitrag Inproceedings | 2015 |
| 6 | | Bartocci, Ezio ; Grosu, Radu ; Katsaros, Panagiotis ; Ramakrishnan, C.R. ; Smolka, Scott A. | Model Repair for Probabilistic Systems | Konferenzbeitrag Inproceedings | 2011 |
| 7 | | Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav | Mora - Automatic Generation of Moment-Based Invariants | Konferenzbeitrag Inproceedings | 2020 |
| 8 | | Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut | Proving Reachability Using FShell | Konferenzbeitrag Inproceedings | 2012 |
| 9 | | Cook, Byron ; See, Abigail ; Zuleger, Florian | Ramsey vs. Lexicographic Termination Proving | Konferenzbeitrag Inproceedings | 2013 |
