| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 |  | Chockler, Hana ; Griggio, Alberto ; Rungta, Neha | Why Do Things Go Wrong (or Right)_Applications of Causal Reasoning to Verification | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 2 |  | Amir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael ; Griggio, Alberto ; Rungta, Neha | Verification-Aided Deep Ensemble Selection | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 3 |  | Padon, Oded ; Griggio, Alberto ; Rungta, Neha | Verification of Distributed Protocols: Decidable Modeling and Invariant Inference | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 4 |  | Esen, Zafer ; Ruemmer, Philipp ; Griggio, Alberto ; Rungta, Neha | TRICERA Verifying C Programs Using the Theory of Heaps | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 5 |  | Kaivola, Roope ; Bar Kama, Neta ; Griggio, Alberto ; Rungta, Neha | Timed Causal Fanin Analysis for Symbolic Circuit Simulation | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 6 |  | Bryant, Randal ; Griggio, Alberto ; Rungta, Neha | TBUDDY: A Proof-Generating BDD Package | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 7 |  | Grover, Anvay ; Ehlers, Alexander ; D'Antoni, Loris ; Griggio, Alberto ; Rungta, Neha | Synthesizing Transducers from Complex Specifications | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 8 |  | Ebnenasir, Ali ; Griggio, Alberto ; Rungta, Neha | Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 9 |  | Zhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar ; Griggio, Alberto ; Rungta, Neha | Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 10 |  | Daly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat ; Griggio, Alberto ; Rungta, Neha | Synthesizing Instruction Selection Rewrite Rules from RTL using SMT | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 11 |  | Kalita, Pankaj Kumar ; Kumar, Miriyala Jeevan ; Roy, Subhajit ; Griggio, Alberto ; Rungta, Neha | Synthesis of Semantic Actions in Attribute Grammars | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 12 |  | Yu, Emily ; Frolyeks, Nils ; Biere, Armin ; Heljanko, Keijo ; Griggio, Alberto ; Rungta, Neha | Stratified Certification for k-Induction | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 13 |  | Blicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha ; Griggio, Alberto ; Rungta, Neha | Split Transition Power Abstraction for Unbounded Safety | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 14 |  | Flatt, Oliver ; Coward, Samuel ; Willsey, Max ; Tatlock, Zachary ; Panchekha, Pavel ; Griggio, Alberto ; Rungta, Neha | Small Proofs from Congruence Closure | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 15 |  | Andronick, June ; Griggio, Alberto ; Rungta, Neha | The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 16 |  | Chen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony ; Griggio, Alberto ; Rungta, Neha | Reducing NEXP-complete problems to DQBF | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 17 |  | Noetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare ; Griggio, Alberto ; Rungta, Neha | Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 18 |  | Lööw, Andreas ; Griggio, Alberto ; Rungta, Neha | Reconciling Verified-Circuit Development and Verilog Development | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 19 |  | Maderbacher, Benedikt ; Bloem, Roderick ; Griggio, Alberto ; Rungta, Neha | Reactive Synthesis Modulo Theories using Abstraction Refinement | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 20 |  | Georgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovacs, Laura ; Reger, Giles ; Griggio, Alberto ; Rungta, Neha | The RAPID Software Verification Framework | Konferenzbeitrag Inproceedings  | Oct-2022 |