Stephan Falke
Stephan Falke
Unknown affiliation
Verified email at kit.edu - Homepage
Title
Cited by
Cited by
Year
Mechanizing and improving dependency pairs
J Giesl, R Thiemann, P Schneider-Kamp, S Falke
Journal of automated reasoning 37 (3), 155-203, 2006
2362006
Automated Termination Proofs with AProVE
J Giesl, R Thiemann, P Schneider-Kamp, S Falke
International Conference on Rewriting Techniques and Applications, 210-220, 2004
1922004
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
1782012
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
672014
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
552016
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
432010
The bounded model checker LLBMC
S Falke, F Merz, C Sinz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
382013
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
352013
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
Rewriting Induction+ Linear Arithmetic= Decision Procedure
S Falke, D Kapur
312012
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
262008
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
92013
The system can't perform the operation now. Try again later.
Articles 1–20