| Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Sastry, Srikanth ; Welch, Jennifer L. ; Widder, Josef | Wait-Free Stabilizing Dining Using Regular Registers | Konferenzbeitrag Inproceedings  | 2012 |
| 2 | | Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei | Vinter: A Vampire-Based Tool for Interpolation | Konferenzbeitrag Inproceedings | 2012 |
| 3 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking | Konferenzbeitrag Inproceedings | 2019 |
| 4 | | Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo ; Clark, Barett ; Yang, Jin | Verifying Relational Properties using Trace Logic | Konferenzbeitrag Inproceedings | 2019 |
| 5 |  | Liew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob ; Ivrii, Alexander ; Strichman, Ofer | Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning | Konferenzbeitrag Inproceedings   | 2020 |
| 6 | | Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef | Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries | Konferenzbeitrag Inproceedings | 2019 |
| 7 | | Kovacs, Laura ; Voronkov, Andrei | Vampire 2017. Proceedings of the 4th Vampire Workshop | Konferenzband Proceedings | 2018 |
| 8 |  | Cook, Byron ; Döbel, Björn ; Kroening, Daniel ; Manthey, Norbert ; Pohlack, Martin ; Polgreen, Elizabeth ; Tautschnig, Michael ; Wieczorkiewicz, Pawel ; Ivrii, Alexander ; Strichman, Ofer | Using model checking tools to triage the severity of security bugs in the Xen hypervisor | Konferenzbeitrag Inproceedings | 2020 |
| 9 | | Cadek, Pavel ; Danninger, Clemens ; Sinn, Moritz ; Zuleger, Florian | Using Loop Bound Analysis For Invariant Generation | Konferenzbeitrag Inproceedings | 2018 |
| 10 | | Reger, Giles ; Suda, Martin ; Voronkov, Andrei ; Beyer, Dirk ; Huisman, Marieke | Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning | Konferenzbeitrag Inproceedings | 2018 |
| 11 |  | Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer | Tutorial on World-Level Model Checking | Konferenzbeitrag Inproceedings | 2020 |
| 12 | | Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef | Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms | Buchbeitrag Book Contribution | 2014 |
| 13 | | Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | Treewidth-Preserving Modeling in ASP | Bericht Report | 2016 |
| 14 | | Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer | Trace Logic for Inductive Loop Reasoning | Konferenzbeitrag Inproceedings | 2020 |
| 15 |  | Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer | Trace Logic for Inductive Loop Reasoning | Konferenzbeitrag Inproceedings | 2020 |
| 16 | | Janota, Mikolas ; Suda, Martin | Towards Smarter MACE-style Model Finders | Konferenzbeitrag Inproceedings | 2018 |
| 17 |  | Amir, Guy ; Schapira, Michael ; Katz, Guy | Towards Scalable Verification of Deep Reinforcement Learning | Konferenzbeitrag Inproceedings | Oct-2021 |
| 18 | | John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef | Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms | Konferenzbeitrag Inproceedings | 2013 |
| 19 |  | Goel, Aman ; Sakallah, Karem | Towards an Automatic Proof of Lamport's Paxos | Konferenzbeitrag Inproceedings | Oct-2021 |
| 20 | | Schmid, Ulrich ; Steininger, Andreas ; Veith, Helmut | Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits | Konferenzbeitrag Inproceedings | 2007 |
