Peter Schrammel

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 37

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

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

Peter Schrammel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Schrammel