Peter Schrammel

According to our database, Peter Schrammel authored at least 57 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CBMC: The C Bounded Model Checker.

Daniel Kroening, Peter Schrammel, Michael Tautschnig

CoRR, 2023

JBMC: A Bounded Model Checking Tool for Java Bytecode.

Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel

CoRR, 2023

2LS for Program Analysis.

Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar

CoRR, 2023

2LS: Arrays and Loop Unwinding - (Competition Contribution).

Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

BlueCov: Integrating Test Coverage and Model Checking with JBMC.

Matthias Güdemann, Peter Schrammel

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).

Tong Wu, Peter Schrammel, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory.

Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

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

2020

2LS: Heap Analysis and Memory Safety - (Competition Contribution).

Viktor Malík, Peter Schrammel, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

How testable is business software?

Peter Schrammel

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

The FMCAD 2020 Student Forum.

Peter Schrammel

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

2LS: Heap Analysis and Memory Safety (Competition Contribution).

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

CoRR, 2019

JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution).

Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

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

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

2LS: Memory Safety and Non-termination - (Competition Contribution).

Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Template-Based Verification of Heap-Manipulating Programs.

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.

Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

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

Parallel bug-finding in concurrent programs via reduced interleaving instances.

Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Sound Numerical Computations in Abstract Acceleration.

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

Concurrent Program Verification with Invariant-Guided Underapproximation.

Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar

Proceedings of the Automated Technology for Verification and Analysis, 2017

Lifting CDCL to Template-Based Abstract Domains for Program Verification.

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham

Proceedings of the Automated Technology for Verification and Analysis, 2017

Compositional Safety Refutation Techniques.

Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Generating test case chains for reactive systems.

Peter Schrammel, Tom Melham, Daniel Kroening

Int. J. Softw. Tools Technol. Transf., 2016

Challenges in Decomposing Encodings of Verification Problems.

Peter Schrammel

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

Sound Static Deadlock Analysis for C/Pthreads (Extended Version).

Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter

CoRR, 2016

2LS for Program Analysis - (Competition Contribution).

Peter Schrammel, Daniel Kroening

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Assisted Coverage Closure.

Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Sound static deadlock analysis for C/Pthreads.

Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Unbounded safety verification for hardware using software analyzers.

Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Synthesising Interprocedural Bit-Precise Termination Proofs (extended version).

Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter

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

Safety Verification and Refutation by k-invariants and k-induction (extended version).

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

CoRR, 2015

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Safety Verification and Refutation by k-Invariants and k-Induction.

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Synthesising Interprocedural Bit-Precise Termination Proofs (T).

Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Successful Use of Incremental BMC in the Automotive Industry.

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Unbounded-time reachability analysis of hybrid systems by abstract acceleration.

Peter Schrammel

Proceedings of the 2015 International Conference on Embedded Software, 2015

Effective verification of low-level software with nested interrupts.

Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Abstract acceleration in linear relation analysis.

Laure Gonnord, Peter Schrammel

Sci. Comput. Program., 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

Scaling up logico-numerical strategy iteration (extended version).

David Monniaux, Peter Schrammel

CoRR, 2014

Speeding Up Logico-Numerical Strategy Iteration.

David Monniaux, Peter Schrammel

Proceedings of the Static Analysis - 21st International Symposium, 2014

Abstract acceleration of general linear loops.

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Accelerated test execution using GPUs.

Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Model and Proof Generation for Heap-Manipulating Programs.

Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel

Proceedings of the Programming Languages and Systems, 2014

Necessary and Sufficient Preconditions via Eager Abstraction.

Mohamed Nassim Seghir, Peter Schrammel

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Chaining Test Cases for Reactive System Testing (extended version).

Peter Schrammel, Tom Melham, Daniel Kroening

CoRR, 2013

Logico-Numerical Max-Strategy Iteration.

Peter Schrammel, Pavle Subotic

Proceedings of the Verification, 2013

Chaining Test Cases for Reactive System Testing.

Peter Schrammel, Tom Melham, Daniel Kroening

Proceedings of the Testing Software and Systems, 2013

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

PhD thesis, 2012

Applying abstract acceleration to (co-)reachability analysis of reactive programs.

Peter Schrammel, Bertrand Jeannet

J. Symb. Comput., 2012

From hybrid data-flow languages to hybrid automata: a complete translation.

Peter Schrammel, Bertrand Jeannet

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs.

Peter Schrammel, Bertrand Jeannet

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs.

Peter Schrammel, Bertrand Jeannet

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010