Peter Schrammel

Orcid: 0000-0002-5713-1381

According to our database1, Peter Schrammel authored at least 66 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Static Data Race Detection via Lazy Sequentialization.
Proceedings of the Networked Systems - 12th International Conference, 2024

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Template-Based Verification of Array-Manipulating Programs.
Proceedings of the Taming the Infinities of Concurrency, 2024

2023



CBMC: The C Bounded Model Checker.
CoRR, 2023

JBMC: A Bounded Model Checking Tool for Java Bytecode.
CoRR, 2023

2LS for Program Analysis.
CoRR, 2023

2LS: Arrays and Loop Unwinding - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

BlueCov: Integrating Test Coverage and Model Checking with JBMC.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022
WIT4JAVA (SV-COMP 2023).
Dataset, December, 2022


Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).
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.
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.
J. Autom. Reason., 2021

2020
The 2LS Software Verification Framework for SV-COMP 2020.
Dataset, February, 2020

2LS: Heap Analysis and Memory Safety - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

How testable is business software?
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

The FMCAD 2020 Student Forum.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

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

JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Bit-Precise Procedure-Modular Termination Analysis.
ACM Trans. Program. Lang. Syst., 2018

Effective Verification for Low-Level Software with Competing Interrupts.
ACM Trans. Embed. Comput. Syst., 2018

Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP).
ACM SIGSOFT Softw. Eng. Notes, 2018

2LS: Memory Safety and Non-termination - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Template-Based Verification of Heap-Manipulating Programs.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Incremental bounded model checking for embedded software.
Formal Aspects Comput., 2017

Parallel bug-finding in concurrent programs via reduced interleaving instances.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Sound Numerical Computations in Abstract Acceleration.
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

Concurrent Program Verification with Invariant-Guided Underapproximation.
Proceedings of the Automated Technology for Verification and Analysis, 2017

Lifting CDCL to Template-Based Abstract Domains for Program Verification.
Proceedings of the Automated Technology for Verification and Analysis, 2017

Compositional Safety Refutation Techniques.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Generating test case chains for reactive systems.
Int. J. Softw. Tools Technol. Transf., 2016

Challenges in Decomposing Encodings of Verification Problems.
Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

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

2LS for Program Analysis - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Assisted Coverage Closure.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Sound static deadlock analysis for C/Pthreads.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Unbounded safety verification for hardware using software analyzers.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

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

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version).
CoRR, 2015

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

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Safety Verification and Refutation by k-Invariants and k-Induction.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Synthesising Interprocedural Bit-Precise Termination Proofs (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Successful Use of Incremental BMC in the Automotive Industry.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Unbounded-time reachability analysis of hybrid systems by abstract acceleration.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Effective verification of low-level software with nested interrupts.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
Abstract acceleration in linear relation analysis.
Sci. Comput. Program., 2014

Incremental Bounded Model Checking for Embedded Software (extended version).
CoRR, 2014

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

Speeding Up Logico-Numerical Strategy Iteration.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Abstract acceleration of general linear loops.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Accelerated test execution using GPUs.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Model and Proof Generation for Heap-Manipulating Programs.
Proceedings of the Programming Languages and Systems, 2014

Necessary and Sufficient Preconditions via Eager Abstraction.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

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

Logico-Numerical Max-Strategy Iteration.
Proceedings of the Verification, 2013

Chaining Test Cases for Reactive System Testing.
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).
PhD thesis, 2012

Applying abstract acceleration to (co-)reachability analysis of reactive programs.
J. Symb. Comput., 2012

From hybrid data-flow languages to hybrid automata: a complete translation.
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.
Proceedings of the Static Analysis - 18th International Symposium, 2011

2010
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs.
Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010


  Loading...