Stephan Falke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
When is a formula a loop invariant? Lecture Notes in Computer Science	2015-09-14	Paper
Operational termination of conditional rewriting with built-in numbers and semantic data structures Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
Rewriting Induction + Linear Arithmetic = Decision Procedure Automated Reasoning	2012-09-05	Paper
Termination Analysis of C Programs Using Compiler Intermediate Languages	2012-04-24	Paper
Predicting failures of and repairing inductive proof attempts Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems	2010-06-02	Paper
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures Functional and Constraint Logic Programming	2010-04-27	Paper
Improving dependency pairs	2010-02-24	Paper
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs Automated Deduction – CADE-22	2009-07-28	Paper
Proving Termination of Integer Term Rewriting Rewriting Techniques and Applications	2009-06-30	Paper
Dependency Pairs for Rewriting with Non-free Constructors Automated Deduction – CADE-21	2009-03-06	Paper
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures Rewriting Techniques and Applications	2008-08-28	Paper
Inductive Decidability Using Implicit Induction Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Mechanizing and improving dependency pairs Journal of Automated Reasoning	2007-05-03	Paper

Research outcomes over time

This page was built for person: Stephan Falke