Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. - Peter Schrammel; Bertrand Jeannet (NSAD@SAS, 2010)

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. - Peter Schrammel; Bertrand Jeannet (SAS, 2011)

From hybrid data-flow languages to hybrid automata: a complete translation. - Peter Schrammel; Bertrand Jeannet (HSCC, 2012)

Applying abstract acceleration to (co-)reachability analysis of reactive programs. - Peter Schrammel; Bertrand Jeannet (J. Symb. Comput., 2012)

Méthodes logico-numériques pour la vérification des systèmes discrets et hybrides. (Logico-Numerical Verification Methods for Discrete and Hybrid Systems). - Peter Schrammel (2012)

Chaining Test Cases for Reactive System Testing. - Peter Schrammel; Tom Melham; Daniel Kroening (ICTSS, 2013)

Logico-Numerical Max-Strategy Iteration. - Peter Schrammel; Pavle Subotic (VMCAI, 2013)

Chaining Test Cases for Reactive System Testing (extended version). - Peter Schrammel; Tom Melham; Daniel Kroening (CoRR, 2013)

Necessary and Sufficient Preconditions via Eager Abstraction. - Mohamed Nassim Seghir; Peter Schrammel (APLAS, 2014)

Model and Proof Generation for Heap-Manipulating Programs. - Martin Brain; Cristina David; Daniel Kroening; Peter Schrammel (ESOP, 2014)

Accelerated test execution using GPUs. - Ajitha Rajan; Subodh Sharma 001; Peter Schrammel; Daniel Kroening (ASE, 2014)

Abstract acceleration of general linear loops. - Bertrand Jeannet; Peter Schrammel; Sriram Sankaranarayanan 001 (POPL, 2014)

Speeding Up Logico-Numerical Strategy Iteration. - David Monniaux; Peter Schrammel (SAS, 2014)

Scaling up logico-numerical strategy iteration (extended version). - David Monniaux; Peter Schrammel (CoRR, 2014)

Incremental Bounded Model Checking for Embedded Software (extended version). - Peter Schrammel; Daniel Kroening; Martin Brain; Ruben Martins; Tino Teige; Tom Bienmüller (CoRR, 2014)

Abstract acceleration in linear relation analysis. - Laure Gonnord; Peter Schrammel (Sci. Comput. Program., 2014)

Effective verification of low-level software with nested interrupts. - Daniel Kroening; Lihao Liang; Tom Melham; Peter Schrammel; Michael Tautschnig (DATE, 2015)

Unbounded-time reachability analysis of hybrid systems by abstract acceleration. - Peter Schrammel (EMSOFT, 2015)

Successful Use of Incremental BMC in the Automotive Industry. - Peter Schrammel; Daniel Kroening; Martin Brain; Ruben Martins; Tino Teige; Tom Bienmüller (FMICS, 2015)

Synthesising Interprocedural Bit-Precise Termination Proofs (T). - Hong-Yi Chen; Cristina David; Daniel Kroening; Peter Schrammel; Björn Wachter (ASE, 2015)

Safety Verification and Refutation by k-Invariants and k-Induction. - Martin Brain; Saurabh Joshi 001; Daniel Kroening; Peter Schrammel (SAS, 2015)

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (SAS, 2015)

Safety Verification and Refutation by k-invariants and k-induction (extended version). - Martin Brain; Saurabh Joshi 001; Daniel Kroening; Peter Schrammel (CoRR, 2015)

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version). - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (CoRR, 2015)

Synthesising Interprocedural Bit-Precise Termination Proofs (extended version). - Hong-Yi Chen; Cristina David; Daniel Kroening; Peter Schrammel; Björn Wachter (CoRR, 2015)

Unbounded safety verification for hardware using software analyzers. - Rajdeep Mukherjee; Peter Schrammel; Daniel Kroening; Tom Melham (DATE, 2016)

Sound static deadlock analysis for C/Pthreads. - Daniel Kroening; Daniel Poetzl; Peter Schrammel; Björn Wachter (ASE, 2016)

Assisted Coverage Closure. - Adam Nellis; Pascal Kesseli; Philippa Ryan Conmy; Daniel Kroening; Peter Schrammel; Michael Tautschnig (NFM, 2016)

2LS for Program Analysis - (Competition Contribution). - Peter Schrammel; Daniel Kroening (TACAS, 2016)

Sound Static Deadlock Analysis for C/Pthreads (Extended Version). - Daniel Kroening; Daniel Poetzl; Peter Schrammel; Björn Wachter (CoRR, 2016)

Challenges in Decomposing Encodings of Verification Problems. - Peter Schrammel (HCVS@ETAPS, 2016)

Generating test case chains for reactive systems. - Peter Schrammel; Tom Melham; Daniel Kroening (Int. J. Softw. Tools Technol. Transf., 2016)

Compositional Safety Refutation Techniques. - Kumar Madhukar; Peter Schrammel; Mandayam K. Srivas (ATVA, 2017)

Lifting CDCL to Template-Based Abstract Domains for Program Verification. - Rajdeep Mukherjee; Peter Schrammel; Leopold Haller; Daniel Kroening; Tom Melham (ATVA, 2017)

Concurrent Program Verification with Invariant-Guided Underapproximation. - Sumanth Prabhu 001; Peter Schrammel; Mandayam K. Srivas; Michael Tautschnig; Anand Yeolekar (ATVA, 2017)

Sound Numerical Computations in Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (NSV@CAV, 2017)

Parallel bug-finding in concurrent programs via reduced interleaving instances. - Truc L. Nguyen; Peter Schrammel; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ASE, 2017)

Incremental bounded model checking for embedded software. - Peter Schrammel; Daniel Kroening; Martin Brain; Ruben Martins; Tino Teige; Tom Bienmüller (Formal Aspects Comput., 2017)

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. - Lucas C. Cordeiro; Pascal Kesseli; Daniel Kroening; Peter Schrammel; Marek Trtík (CAV (1), 2018)

Template-Based Verification of Heap-Manipulating Programs. - Viktor Malík; Martin Hruska; Peter Schrammel; Tomás Vojnar (FMCAD, 2018)

2LS: Memory Safety and Non-termination - (Competition Contribution). - Viktor Malík; Stefan Marticek; Peter Schrammel; Mandayam K. Srivas; Tomás Vojnar; Johanan Wahlang (TACAS (2), 2018)

Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). - Lucas C. Cordeiro; Daniel Kroening; Peter Schrammel (ACM SIGSOFT Softw. Eng. Notes, 2018)

Effective Verification for Low-Level Software with Competing Interrupts. - Lihao Liang; Tom Melham; Daniel Kroening; Peter Schrammel; Michael Tautschnig (ACM Trans. Embed. Comput. Syst., 2018)

Bit-Precise Procedure-Modular Termination Analysis. - Hong-Yi Chen; Cristina David; Daniel Kroening; Peter Schrammel; Björn Wachter (ACM Trans. Program. Lang. Syst., 2018)

JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). - Lucas C. Cordeiro; Daniel Kroening; Peter Schrammel (TACAS (3), 2019)

2LS: Heap Analysis and Memory Safety (Competition Contribution). - Viktor Malík; Martin Hruska; Peter Schrammel; Tomás Vojnar (CoRR, 2019)

The FMCAD 2020 Student Forum. - Peter Schrammel (FMCAD, 2020)

How testable is business software? - Peter Schrammel (FMCAD, 2020)

2LS: Heap Analysis and Memory Safety - (Competition Contribution). - Viktor Malík; Peter Schrammel; Tomás Vojnar (TACAS (2), 2020)

The 2LS Software Verification Framework for SV-COMP 2020. - Viktor Malík; Peter Schrammel; Tomás Vojnar (Zenodo, 2020)

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. - Dario Cattaruzza; Alessandro Abate; Peter Schrammel; Daniel Kroening (J. Autom. Reason., 2021)

CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. - Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato; Peter Schrammel (ASE, 2022)

Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). - Tong Wu; Peter Schrammel; Lucas C. Cordeiro (TACAS (2), 2022)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2022)

WIT4JAVA (SV-COMP 2023). - Tong Wu; Peter Schrammel; Lucas C. Cordeiro (Zenodo, 2022)

BlueCov: Integrating Test Coverage and Model Checking with JBMC. - Matthias Güdemann; Peter Schrammel (SAC, 2023)

2LS: Arrays and Loop Unwinding - (Competition Contribution). - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (TACAS (2), 2023)

2LS for Program Analysis. - Daniel Kroening; Viktor Malík; Peter Schrammel; Tomás Vojnar (CoRR, 2023)

JBMC: A Bounded Model Checking Tool for Java Bytecode. - Romain Brenguier; Lucas C. Cordeiro; Daniel Kroening; Peter Schrammel (CoRR, 2023)

CBMC: The C Bounded Model Checker. - Daniel Kroening; Peter Schrammel; Michael Tautschnig (CoRR, 2023)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2023)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2023)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2023)

Template-Based Verification of Array-Manipulating Programs. - Viktor Malík; Peter Schrammel; Tomás Vojnar (Taming the Infinities of Concurrency, 2024)

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 (ISSTA, 2024)

Static Data Race Detection via Lazy Sequentialization. - Bernd Fischer 002; Giulio Garbi; Salvatore La Torre; Gennaro Parlato; Peter Schrammel (NETYS, 2024)