Peter Schrammel
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
Verified email at sussex.ac.uk - Homepage
TitleCited byYear
Abstract acceleration of general linear loops
B Jeannet, P Schrammel, S Sankaranarayanan
ACM SIGPLAN Notices 49 (1), 529-540, 2014
452014
Safety Verification and Refutation by k-invariants and k-induction
M Brain, S Joshi, D Kroening, P Schrammel
Static Analysis, 145-161, 2015
352015
2LS for program analysis
P Schrammel, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2016
282016
Logico-numerical abstract acceleration and application to the verification of data-flow programs
P Schrammel, B Jeannet
International Static Analysis Symposium, 233-248, 2011
262011
From hybrid data-flow languages to hybrid automata: A complete translation
P Schrammel, B Jeannet
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
212012
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
D Cattaruzza, A Abate, P Schrammel, D Kroening
Static Analysis, 312-331, 2015
20*2015
Abstract acceleration in linear relation analysis
L Gonnord, P Schrammel
Science of Computer Programming 93, 125-153, 2014
192014
Incremental bounded model checking for embedded software
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
Formal Aspects of Computing 29 (5), 911-931, 2017
16*2017
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015
162015
Effective verification of low-level software with nested interrupts
D Kroening, L Liang, T Melham, P Schrammel, M Tautschnig
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 229-234, 2015
162015
Applying abstract acceleration to (co-) reachability analysis of reactive programs
P Schrammel, B Jeannet
Journal of Symbolic Computation 47 (12), 1512-1532, 2012
162012
Synthesising interprocedural bit-precise termination proofs (T)
HY Chen, C David, D Kroening, P Schrammel, B Wachter
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
152015
Chaining test cases for reactive system testing
P Schrammel, T Melham, D Kroening
IFIP International Conference on Testing Software and Systems, 133-148, 2013
152013
Accelerated test execution using GPUs
A Rajan, S Sharma, P Schrammel, D Kroening
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
142014
Extending abstract acceleration methods to data-flow programs with numerical inputs
P Schrammel, B Jeannet
Electronic Notes in Theoretical Computer Science 267 (1), 101-114, 2010
142010
Sound static deadlock analysis for C/Pthreads
D Kroening, D Poetzl, P Schrammel, B Wachter
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
132016
Logico-Numerical Verification Methods for Discrete and Hybrid Systems
P Schrammel
University of Grenoble, 2012
122012
JBMC: A bounded model checking tool for verifying Java bytecode
L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik
International Conference on Computer Aided Verification, 183-190, 2018
112018
Speeding up logico-numerical strategy iteration
D Monniaux, P Schrammel
International Static Analysis Symposium, 253-267, 2014
72014
Logico-numerical max-strategy iteration
P Schrammel, P Subotic
International Workshop on Verification, Model Checking, and Abstract …, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20