Peter Schrammel

68 papers A* 6A 5B 12C 2Misc 2Journal 25Unranked 14
YearRankTypeTitle / Venue / Authors
2026 — conf
Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution).
TACAS (2)
Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, Gennaro Parlato
2024 A conf
JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking.
ISSTA
Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro
2024 — conf
Static Data Race Detection via Lazy Sequentialization.
NETYS
Bernd Fischer, Giulio Garbi, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
2024 — conf
Template-Based Verification of Array-Manipulating Programs.
Taming the Infinities of Concurrency
Viktor Malík, Peter Schrammel, Tomás Vojnar
2023 J jnl
2LS for Program Analysis.
CoRR
Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar
2023 — conf
2LS: Arrays and Loop Unwinding - (Competition Contribution).
TACAS (2)
Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar
2023 Misc conf
BlueCov: Integrating Test Coverage and Model Checking with JBMC.
SAC
Matthias Güdemann, Peter Schrammel
2023 J jnl
CBMC: The C Bounded Model Checker.
CoRR
Daniel Kroening, Peter Schrammel, Michael Tautschnig
2023 J jnl
JBMC: A Bounded Model Checking Tool for Java Bytecode.
CoRR
Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2022 J jnl
BlueCov: Integrating Test Coverage and Model Checking with JBMC.
CoRR
Matthias Güdemann, Peter Schrammel
2022 A* conf
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory.
ASE
Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
2022 — conf
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).
TACAS (2)
Tong Wu, Peter Schrammel, Lucas C. Cordeiro
2021 J jnl
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.
J. Autom. Reason.
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2020 — conf
2LS: Heap Analysis and Memory Safety - (Competition Contribution).
TACAS (2)
Viktor Malík, Peter Schrammel, Tomás Vojnar
2020 J jnl
How Testable is Business Software?
CoRR
Peter Schrammel
2020 B conf
How testable is business software?
FMCAD
Peter Schrammel
2020 — ed.
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
VSTTE
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
2020 B conf
The FMCAD 2020 Student Forum.
FMCAD
Peter Schrammel
2019 J jnl
2LS: Heap Analysis and Memory Safety (Competition Contribution).
CoRR
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
2019 — conf
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution).
TACAS (3)
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2018 — conf
2LS: Memory Safety and Non-termination - (Competition Contribution).
TACAS (2)
Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang
2018 J jnl
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP).
CoRR
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2018 J jnl
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP).
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2018 J jnl
Bit-Precise Procedure-Modular Termination Analysis.
ACM Trans. Program. Lang. Syst.
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
2018 J jnl
Effective Verification for Low-Level Software with Competing Interrupts.
ACM Trans. Embed. Comput. Syst.
Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig
2018 — conf
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
CAV (1)
Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík
2018 B conf
Template-Based Verification of Heap-Manipulating Programs.
FMCAD
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
2017 B conf
Compositional Safety Refutation Techniques.
ATVA
Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas
2017 B conf
Concurrent Program Verification with Invariant-Guided Underapproximation.
ATVA
Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar
2017 J jnl
Incremental bounded model checking for embedded software.
Formal Aspects Comput.
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
2017 B conf
Lifting CDCL to Template-Based Abstract Domains for Program Verification.
ATVA
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
2017 J jnl
Lifting CDCL to Template-based Abstract Domains for Program Verification.
CoRR
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
2017 A* conf
Parallel bug-finding in concurrent programs via reduced interleaving instances.
ASE
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2017 — conf
Sound Numerical Computations in Abstract Acceleration.
NSV@CAV
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2016 A conf
2LS for Program Analysis - (Competition Contribution).
TACAS
Peter Schrammel, Daniel Kroening
2016 — conf
Assisted Coverage Closure.
NFM
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
2016 — conf
Challenges in Decomposing Encodings of Verification Problems.
HCVS@ETAPS
Peter Schrammel
2016 J jnl
Generating test case chains for reactive systems.
Int. J. Softw. Tools Technol. Transf.
Peter Schrammel, Tom Melham, Daniel Kroening
2016 J jnl
Sound Static Deadlock Analysis for C/Pthreads (Extended Version).
CoRR
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter
2016 A* conf
Sound static deadlock analysis for C/Pthreads.
ASE
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter
2016 A conf
Unbounded safety verification for hardware using software analyzers.
DATE
Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham
2015 J jnl
Assisted Coverage Closure.
CoRR
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
2015 A conf
Effective verification of low-level software with nested interrupts.
DATE
Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig
2015 B conf
Safety Verification and Refutation by k-Invariants and k-Induction.
SAS
Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
2015 J jnl
Safety Verification and Refutation by k-invariants and k-induction (extended version).
CoRR
Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
2015 C conf
Successful Use of Incremental BMC in the Automotive Industry.
FMICS
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
2015 A* conf
Synthesising Interprocedural Bit-Precise Termination Proofs (T).
ASE
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
2015 J jnl
Synthesising Interprocedural Bit-Precise Termination Proofs (extended version).
CoRR
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
2015 J jnl
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version).
CoRR
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2015 B conf
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.
SAS
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
2015 Misc conf
Unbounded-time reachability analysis of hybrid systems by abstract acceleration.
EMSOFT
Peter Schrammel
2014 J jnl
Abstract acceleration in linear relation analysis.
Sci. Comput. Program.
Laure Gonnord, Peter Schrammel
2014 A* conf
Abstract acceleration of general linear loops.
POPL
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
2014 A* conf
Accelerated test execution using GPUs.
ASE
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
2014 J jnl
Incremental Bounded Model Checking for Embedded Software (extended version).
CoRR
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
2014 A conf
Model and Proof Generation for Heap-Manipulating Programs.
ESOP
Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel
2014 B conf
Necessary and Sufficient Preconditions via Eager Abstraction.
APLAS
Mohamed Nassim Seghir, Peter Schrammel
2014 J jnl
Scaling up logico-numerical strategy iteration (extended version).
CoRR
David Monniaux, Peter Schrammel
2014 B conf
Speeding Up Logico-Numerical Strategy Iteration.
SAS
David Monniaux, Peter Schrammel
2013 J jnl
Abstract Acceleration of General Linear Loops.
CoRR
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
2013 J jnl
Chaining Test Cases for Reactive System Testing (extended version).
CoRR
Peter Schrammel, Tom Melham, Daniel Kroening
2013 C conf
Chaining Test Cases for Reactive System Testing.
ICTSS
Peter Schrammel, Tom Melham, Daniel Kroening
2013 B conf
Logico-Numerical Max-Strategy Iteration.
VMCAI
Peter Schrammel, Pavle Subotic
2012 J jnl
Applying abstract acceleration to (co-)reachability analysis of reactive programs.
J. Symb. Comput.
Peter Schrammel, Bertrand Jeannet
2012 — conf
From hybrid data-flow languages to hybrid automata: a complete translation.
HSCC
Peter Schrammel, Bertrand Jeannet
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
2011 B conf
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs.
SAS
Peter Schrammel, Bertrand Jeannet
2010 — conf
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs.
NSAD@SAS
Peter Schrammel, Bertrand Jeannet