Peter Schrammel

According to our database1, Peter Schrammel authored at least 35 papers between 2010 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2LS: Memory Safety and Non-termination - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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 Asp. 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.
STTT, 2016

Challenges in Decomposing Encodings of Verification Problems.
Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 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
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

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
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.
Electr. Notes Theor. Comput. Sci., 2010


  Loading...