☰

Stephan Falke, Ph.D.

Affiliations: 
2009 Computer Science University of New Mexico, Albuquerque, NM, United States 
Area:
Computer Science
Google:
"Stephan Falke"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Deepak Kapur grad student 2009 Univ. of New Mexico
 (Term rewriting with built-in numbers and collection data structures.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Brockschmidt M, Emmes F, Falke S, et al. (2016) Analyzing Runtime and Size Complexity of Integer Programs Acm Transactions On Programming Languages and Systems. 38: 13
Falke S, Kapur D. (2015) When is a formula a loop invariant? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9200: 264-286
Brockschmidt M, Emmes F, Falke S, et al. (2014) Alternating runtime and size complexity analysis of integer programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8413: 140-155
Falke S, Merz F, Sinz C. (2014) Extending the theory of arrays: Memset, memcpy, and beyond Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8164: 108-128
Falke S, Merz F, Sinz C. (2013) LLBMC: Improved bounded model checking of C programs using LLVM: (Competition contribution) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7795: 623-626
Falke S, Kapur D. (2012) Rewriting induction + linear arithmetic = decision procedure Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7364: 241-255
Sinz C, Merz F, Falke S. (2012) LLBMC: A bounded model checker for LLVM's intermediate representation (competition contribution) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7214: 542-544
Falke S, Kapur D, Sinz C. (2012) Termination analysis of imperative programs using bitvector arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7152: 261-277
Merz F, Falke S, Sinz C. (2012) LLBMC: Bounded model checking of C and C++ programs using a compiler IR Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7152: 146-161
Merz F, Sinz C, Falke S. (2012) Challenges in comparing software analysis tools for C Ceur Workshop Proceedings. 873: 60-65
See more...