Stephan Falke
Stephan Falke
Afiliação desconhecida
E-mail confirmado em kit.edu - Página inicial
TítuloCitado porAno
Mechanizing and improving dependency pairs
J Giesl, R Thiemann, P Schneider-Kamp, S Falke
Journal of automated reasoning 37 (3), 155-203, 2006
2332006
Automated Termination Proofs with AProVE
J Giesl, R Thiemann, P Schneider-Kamp, S Falke
International Conference on Rewriting Techniques and Applications, 210-220, 2004
1932004
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
F Merz, S Falke, C Sinz
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
1702012
Alternating runtime and size complexity analysis of integer programs
M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl
International Conference on Tools and Algorithms for the Construction and …, 2014
642014
Proving termination of integer term rewriting
C Fuhs, J Giesl, M Plücker, P Schneider-Kamp, S Falke
International Conference on Rewriting Techniques and Applications, 32-47, 2009
592009
Termination analysis of C programs using compiler intermediate languages
S Falke, D Kapur, C Sinz
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
562011
Analyzing runtime and size complexity of integer programs
M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (4), 1-50, 2016
522016
Improving dependency pairs
J Giesl, R Thiemann, P Schneider-Kamp, S Falke
International Conference on Logic for Programming Artificial Intelligence …, 2003
512003
Termination analysis of imperative programs using bitvector arithmetic
S Falke, D Kapur, C Sinz
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
452012
A precise memory model for low-level bounded model checking
C Sinz, S Falke, F Merz
Proceedings of the 5th international conference on Systems software …, 2010
412010
The bounded model checker LLBMC
S Falke, F Merz, C Sinz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
382013
A term rewriting approach to the automated termination analysis of imperative programs
S Falke, D Kapur
International Conference on Automated Deduction, 277-293, 2009
352009
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM
S Falke, F Merz, C Sinz
International Conference on Tools and Algorithms for the Construction and …, 2013
332013
Rewriting Induction+ Linear Arithmetic= Decision Procedure
S Falke, D Kapur
292012
LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation
C Sinz, F Merz, S Falke
272012
Dependency pairs for rewriting with built-in numbers and semantic data structures
S Falke, D Kapur
International Conference on Rewriting Techniques and Applications, 94-109, 2008
252008
Inductive decidability using implicit induction
S Falke, D Kapur
International Conference on Logic for Programming Artificial Intelligence …, 2006
202006
AProVE: A system for proving termination
J Giesl, R Thiemann, P Schneider-Kamp, S Falke
Extended Abstracts of the 6th International Workshop on Termination, WST 3 …, 2003
162003
Mechanizing dependency pairs
J Giesl, R Thiemann, P Schneider-Kamp, S Falke
Technical Report AIB-2003-081, RWTH Aachen, Germany, 2003
122003
Extending the Theory of Arrays: memset, memcpy, and Beyond
S Falke, F Merz, C Sinz
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
82013
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20