|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 161 | | Kovacs, Laura | Can Computers Think as Humans? | Presentation Vortrag | 26-Jan-2022 |
| 162 | | Stankovič, Miroslav ; Bartocci, Ezio ; Kovács, Laura | Moment-based analysis of Bayesian network properties | Artikel Article  | 2022 |
| 163 | | Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav | Solving Invariant Generation for Unsolvable Loops | Inproceedings Konferenzbeitrag | 2022 |
| 164 | | Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia | Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments | Inproceedings Konferenzbeitrag | 2022 |
| 165 | | Pagel, Jens ; Zuleger, Florian | Strong-separation Logic | Konferenzbeitrag Inproceedings | 2022 |
| 166 | | Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian | ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures | Konferenzbeitrag Inproceedings | 2022 |
| 167 |  | Bhayat, Ahmed ; Georgiou, Pamina ; Eisenhofer, Clemens ; Kovács, Laura ; Reger, Giles | Lemmaless Induction in Trace Logic | Inproceedings Konferenzbeitrag   | 2022 |
| 168 |  | Durand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob | Model Checking AUTOSAR Components with CBMC | Inproceedings Konferenzbeitrag | Oct-2021 |
| 169 |  | Hajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei | Induction with Recursive Definitions in Superposition | Beitrag in Tagungsband Inproceedings | Oct-2021 |
| 170 |  | Piskac, Ruzica ; Whalen, Michael W. | Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 | Konferenzband Proceedings | Oct-2021 |
| 171 |  | Vukmirović, Petar ; Blanchette, Jasmin ; Heule, Marijn | SAT-Inspired Eliminations for Superposition | Inproceedings Konferenzbeitrag | Oct-2021 |
| 172 |  | Gao, Dapeng ; Melham, Tom | End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers | Inproceedings Konferenzbeitrag | Oct-2021 |
| 173 |  | Rawson, Michael ; Reger, Giles | A Multithreaded Vampire with Shared Persistent Grounding | Inproceedings Konferenzbeitrag | Oct-2021 |
| 174 | | Vaandrager, Frits | Active Automata Learning: from L* to L# | Konferenzbeitrag Inproceedings | Oct-2021 |
| 175 |  | Chattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish | Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition | Inproceedings Konferenzbeitrag | Oct-2021 |
| 176 |  | Golia, Priyanka ; Soos, Mate ; Chakraborty, Sourav ; Meel, Kuldeep S. | Designing Samplers is Easy: The Boon of Testers | Inproceedings Konferenzbeitrag | Oct-2021 |
| 177 |  | Bar Kama, Neta ; Kaivola, Roope | Hardware Security Leak Detection by Symbolic Simulation | Inproceedings Konferenzbeitrag | Oct-2021 |
| 178 |  | Sewell, Peter | Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V | Inproceedings Konferenzbeitrag | Oct-2021 |
| 179 | | Kamara, Seny | Algorithms for the People | Konferenzbeitrag Inproceedings | Oct-2021 |
| 180 | | Liskov, Barbara | From Viewstamped Replication to Blockchains | Konferenzbeitrag Inproceedings | Oct-2021 |
