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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2016
ACM Trans. Program. Lang. Syst., 2016
2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
2013
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
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
SIGACT News, 2012
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012
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
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
2010
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
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
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
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
2007
Proceedings of the Automated Deduction, 2007
2006
Proceedings of the Logic for Programming, 2006
2004
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004
2003