Stephan Falke

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