| 2026 | TACAS | Iekk: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution). | Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, Gennaro Parlato |
| 2024 | ISSTA | JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. | Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro |
| 2023 | SAC | BlueCov: Integrating Test Coverage and Model Checking with JBMC. | Matthias Gdemann, Peter Schrammel |
| 2023 | TACAS | 2LS: Arrays and Loop Unwinding - (Competition Contribution). | Viktor Malk, Frantisek Necas, Peter Schrammel, Toms Vojnar |
| 2022 | TACAS | Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). | Tong Wu, Peter Schrammel, Lucas C. Cordeiro |
| 2020 | FMCAD | The FMCAD 2020 Student Forum. | Peter Schrammel |
| 2020 | FMCAD | How testable is business software? | Peter Schrammel |
| 2020 | TACAS | 2LS: Heap Analysis and Memory Safety - (Competition Contribution). | Viktor Malk, Peter Schrammel, Toms Vojnar |
| 2019 | TACAS | JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). | Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel |
| 2018 | CAV | JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. | Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtk |
| 2018 | FMCAD | Template-Based Verification of Heap-Manipulating Programs. | Viktor Malk, Martin Hruska, Peter Schrammel, Toms Vojnar |
| 2018 | TACAS | 2LS: Memory Safety and Non-termination - (Competition Contribution). | Viktor Malk, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Toms Vojnar, Johanan Wahlang |
| 2017 | ATVA | Compositional Safety Refutation Techniques. | Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas |
| 2017 | ATVA | Lifting CDCL to Template-Based Abstract Domains for Program Verification. | Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham |
| 2017 | ATVA | Concurrent Program Verification with Invariant-Guided Underapproximation. | Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |
| 2017 | CAV | Sound Numerical Computations in Abstract Acceleration. | Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening |
| 2016 | DATE | Unbounded safety verification for hardware using software analyzers. | Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham |
| 2016 | TACAS | 2LS for Program Analysis - (Competition Contribution). | Peter Schrammel, Daniel Kroening |
| 2015 | DATE | Effective verification of low-level software with nested interrupts. | Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig |
| 2015 | EMSOFT | Unbounded-time reachability analysis of hybrid systems by abstract acceleration. | Peter Schrammel |
| 2015 | FMICS | Successful Use of Incremental BMC in the Automotive Industry. | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmller |
| 2015 | SAS | Safety Verification and Refutation by k-Invariants and k-Induction. | Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel |
| 2015 | SAS | Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. | Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening |
| 2014 | APLAS | Necessary and Sufficient Preconditions via Eager Abstraction. | Mohamed Nassim Seghir, Peter Schrammel |
| 2014 | ESOP | Model and Proof Generation for Heap-Manipulating Programs. | Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel |
| 2014 | POPL | Abstract acceleration of general linear loops. | Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan |
| 2014 | SAS | Speeding Up Logico-Numerical Strategy Iteration. | David Monniaux, Peter Schrammel |
| 2013 | VMCAI | Logico-Numerical Max-Strategy Iteration. | Peter Schrammel, Pavle Subotic |
| 2011 | SAS | Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. | Peter Schrammel, Bertrand Jeannet |