关注
Peter Schrammel
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
在 diffblue.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Abstract acceleration of general linear loops
B Jeannet, P Schrammel, S Sankaranarayanan
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
862014
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
822018
Safety Verification and Refutation by k-invariants and k-induction
M Brain, S Joshi, D Kroening, P Schrammel
Static Analysis, 145-161, 2015
782015
2LS for Program Analysis: (Competition Contribution)
P Schrammel, D Kroening
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
482016
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
402015
Logico-numerical abstract acceleration and application to the verification of data-flow programs
P Schrammel, B Jeannet
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
392011
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, 911-931, 2017
362017
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
362016
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution)
LC Cordeiro, D Kroening, P Schrammel
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years …, 2019
322019
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
322015
Abstract acceleration in linear relation analysis
L Gonnord, P Schrammel
Science of Computer Programming 93, 125-153, 2014
292014
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
282015
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
252012
Accelerated test execution using gpus
A Rajan, S Sharma, P Schrammel, D Kroening
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
242014
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
22*2015
Parallel bug-finding in concurrent programs via reduced interleaving instances
TL Nguyen, P Schrammel, B Fischer, S La Torre, G Parlato
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
202017
Chaining test cases for reactive system testing
P Schrammel, T Melham, D Kroening
IFIP International Conference on Testing Software and Systems, 133-148, 2013
202013
Bit-precise procedure-modular termination analysis
HY Chen, C David, D Kroening, P Schrammel, B Wachter
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-38, 2017
18*2017
Applying abstract acceleration to (co-) reachability analysis of reactive programs
P Schrammel, B Jeannet
Journal of Symbolic Computation 47 (12), 1512-1532, 2012
182012
Necessary and sufficient preconditions via eager abstraction
MN Seghir, P Schrammel
Asian Symposium on Programming Languages and Systems, 236-254, 2014
142014
系统目前无法执行此操作,请稍后再试。
文章 1–20