Stephan Falke

Affiliations:
  • Karlsruhe Institute of Technology, Institute for Theoretical Computer Science, Germany
  • University of New Mexico, Department of Computer Science, USA


According to our database1, Stephan Falke authored at least 27 papers between 2003 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Analyzing Runtime and Size Complexity of Integer Programs.
ACM Trans. Program. Lang. Syst., 2016

2015
When Is a Formula a Loop Invariant?
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Alternating Runtime and Size Complexity Analysis of Integer Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013
Extending the Theory of Arrays: memset, memcpy, and Beyond.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

The bounded model checker LLBMC.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012
Review of transitions and trees: an introduction to structural operational semantics, by Hans Hüttel.
SIGACT News, 2012

Review of introduction to mathematics of satisfiability, by Victor W. Marek.
SIGACT News, 2012

LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Termination Analysis of Imperative Programs Using Bitvector Arithmetic.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Challenges in Comparing Software Verification Tools for C.
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

A Theory of Arrays with set and copy Operations.
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

Rewriting Induction + Linear Arithmetic = Decision Procedure.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Termination Analysis of C Programs Using Compiler Intermediate Languages.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010
A Precise Memory Model for Low-Level Bounded Model Checking.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

2009
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.
Proceedings of the Functional and Constraint Logic Programming, 2009

Proving Termination of Integer Term Rewriting.
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Termination of Integer Term Rewriting.
Proceedings of the Interaction versus Automation: The two Faces of Deduction, 04.10., 2009

A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs.
Proceedings of the Automated Deduction, 2009

2008
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures.
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008

Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007
Dependency Pairs for Rewriting with Non-free Constructors.
Proceedings of the Automated Deduction, 2007

2006
Mechanizing and Improving Dependency Pairs.
J. Autom. Reason., 2006

Inductive Decidability Using Implicit Induction.
Proceedings of the Logic for Programming, 2006

2004
Automated Termination Proofs with AProVE.
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

2003
Improving Dependency Pairs.
Proceedings of the Logic for Programming, 2003


  Loading...