Stephan Falke

KIT

other persons with the same name:

• Stephan Falke

	2012
14		Carsten Sinz, Florian Merz, Stephan Falke: LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). TACAS 2012: 542-544
13		Florian Merz, Stephan Falke, Carsten Sinz: LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR. VSTTE 2012: 146-161
12		Stephan Falke, Deepak Kapur, Carsten Sinz: Termination Analysis of Imperative Programs Using Bitvector Arithmetic. VSTTE 2012: 261-277
	2011
11		Stephan Falke, Deepak Kapur, Carsten Sinz: Termination Analysis of C Programs Using Compiler Intermediate Languages. RTA 2011: 41-50
	2009
10		Stephan Falke, Deepak Kapur: A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs. CADE 2009: 277-293
9		Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke: Proving Termination of Integer Term Rewriting. RTA 2009: 32-47
8		Stephan Falke, Deepak Kapur: Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures. WFLP 2009: 44-61
7		Stephan Falke, Deepak Kapur: Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. Electr. Notes Theor. Comput. Sci. 237: 75-90 (2009)
	2008
6		Stephan Falke, Deepak Kapur: Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures. RTA 2008: 94-109
	2007
5		Stephan Falke, Deepak Kapur: Dependency Pairs for Rewriting with Non-free Constructors. CADE 2007: 426-442
	2006
4		Stephan Falke, Deepak Kapur: Inductive Decidability Using Implicit Induction. LPAR 2006: 45-59
3		Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke: Mechanizing and Improving Dependency Pairs. J. Autom. Reasoning 37(3): 155-203 (2006)
	2004
2		Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke: Automated Termination Proofs with AProVE. RTA 2004: 210-220
	2003
1		Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke: Improving Dependency Pairs. LPAR 2003: 167-182

Coauthor Index

1	Carsten Fuhs	[9]
2	Jürgen Giesl	[1] [2] [3] [9]
3	Deepak Kapur	[4] [5] [6] [7] [8] [10] [11] [12]
4	Florian Merz	[13] [14]
5	Martin Plücker	[9]
6	Peter Schneider-Kamp	[1] [2] [3] [9]
7	Carsten Sinz	[11] [12] [13] [14]
8	René Thiemann	[1] [2] [3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page