Stephan Falke

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Alternating Runtime and Size Complexity Analysis of Integer Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Extending the Theory of Arrays: memset, memcpy, and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

The bounded model checker LLBMC.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

SIGACT News, 2012

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

[BibT_eX]

[DOI]

SIGACT News, 2012

LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Termination Analysis of Imperative Programs Using Bitvector Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Challenges in Comparing Software Verification Tools for C.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

A Theory of Arrays with set and copy Operations.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

Rewriting Induction + Linear Arithmetic = Decision Procedure.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Termination Analysis of C Programs Using Compiler Intermediate Languages.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

A Precise Memory Model for Low-Level Bounded Model Checking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2009

Proving Termination of Integer Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Termination of Integer Term Rewriting.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2009

2008

Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007

Dependency Pairs for Rewriting with Non-free Constructors.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

2006

Mechanizing and Improving Dependency Pairs.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Inductive Decidability Using Implicit Induction.

[BibT_eX]

[DOI]