Stephan Falke

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Integer Program

Multistage Stochastic

Top Venues

Publications

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
Analyzing Runtime and Size Complexity of Integer Programs. ACM Trans. Program. Lang. Syst. 38 (4) (2016)
Stephan Falke, Deepak Kapur
When Is a Formula a Loop Invariant? Logic, Rewriting, and Concurrency (2015)
Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
Alternating Runtime and Size Complexity Analysis of Integer Programs. TACAS (2014)
Stephan Falke, Florian Merz, Carsten Sinz
The bounded model checker LLBMC. ASE (2013)
Stephan Falke, Florian Merz, Carsten Sinz
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). TACAS (2013)
Stephan Falke, Florian Merz, Carsten Sinz
Extending the Theory of Arrays: memset, memcpy, and Beyond. VSTTE (2013)
Stephan Falke, Carsten Sinz, Florian Merz
A Theory of Arrays with set and copy Operations. SMT@IJCAR (2012)
Florian Merz, Stephan Falke, Carsten Sinz
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. VSTTE (2012)
Stephan Falke
Review of transitions and trees: an introduction to structural operational semantics, by Hans Hüttel. SIGACT News 43 (4) (2012)
Stephan Falke
Review of introduction to mathematics of satisfiability, by Victor W. Marek. SIGACT News 43 (3) (2012)
Stephan Falke, Deepak Kapur, Carsten Sinz
Termination Analysis of Imperative Programs Using Bitvector Arithmetic. VSTTE (2012)
Florian Merz, Carsten Sinz, Stephan Falke
Challenges in Comparing Software Verification Tools for C. COMPARE (2012)
Stephan Falke, Deepak Kapur
Rewriting Induction + Linear Arithmetic = Decision Procedure. IJCAR (2012)
Carsten Sinz, Florian Merz, Stephan Falke
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). TACAS (2012)
Stephan Falke, Deepak Kapur, Carsten Sinz
Termination Analysis of C Programs Using Compiler Intermediate Languages. RTA (2011)
Carsten Sinz, Stephan Falke, Florian Merz
A Precise Memory Model for Low-Level Bounded Model Checking. SSV (2010)
Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
Termination of Integer Term Rewriting. Interaction versus Automation: The two Faces of Deduction (2009)
Stephan Falke, Deepak Kapur
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures. WFLP (2009)
Stephan Falke, Deepak Kapur
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. Electron. Notes Theor. Comput. Sci. 237 (2009)
Stephan Falke, Deepak Kapur
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs. CADE (2009)
Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
Proving Termination of Integer Term Rewriting. RTA (2009)
Stephan Falke, Deepak Kapur
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures. RTA (2008)
Stephan Falke, Deepak Kapur
Dependency Pairs for Rewriting with Non-free Constructors. CADE (2007)
Stephan Falke, Deepak Kapur
Inductive Decidability Using Implicit Induction. LPAR (2006)
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
Mechanizing and Improving Dependency Pairs. J. Autom. Reason. 37 (3) (2006)
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
Automated Termination Proofs with AProVE. RTA (2004)
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
Improving Dependency Pairs. LPAR (2003)