Analyzing program termination and complexity automatically with AProVE J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ... Journal of Automated Reasoning 58 (1), 3-31, 2017 | 173 | 2017 |
Proving termination of programs automatically with AProVE J Giesl, M Brockschmidt, F Emmes, F Frohn, C Fuhs, C Otto, M Plücker, ... International Joint Conference on Automated Reasoning, 184-191, 2014 | 128 | 2014 |
Automated Termination Analysis of Java Bytecode by Term Rewriting. C Otto, M Brockschmidt, C Von Essen, J Giesl RTA 10, 259-276, 2010 | 105 | 2010 |
Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M Brockschmidt, T Ströder, C Otto, J Giesl Formal Verification of Object-Oriented Software, 123, 0 | 74* | |
Automated termination proofs for Java programs with cyclic data M Brockschmidt, R Musiol, C Otto, J Giesl International Conference on Computer Aided Verification, 105-122, 2012 | 57 | 2012 |
Modular termination proofs of recursive Java Bytecode programs by term rewriting M Brockschmidt, C Otto, J Giesl Proc. RTA 11, 155-170, 2011 | 38 | 2011 |
Termination graphs for Java bytecode M Brockschmidt, C Otto, C Von Essen, J Giesl Verification, Induction, Termination Analysis, 17-37, 2010 | 33 | 2010 |
Search techniques for rational polynomial orders C Fuhs, R Navarro-Marset, C Otto, J Giesl, S Lucas, P Schneider-Kamp International Conference on Intelligent Computer Mathematics, 109-124, 2008 | 27 | 2008 |
Termination analysis of java bytecode by term rewriting C Otto, M Brockschmidt, C von Essen, J Giesl International Workshop on Termination WST 9, 2009 | 7 | 2009 |
Automated detection of nontermination and NullPointerExceptions for JBC M Brockschmidt, T Ströder, C Otto, J Giesl Proc. FoVeOOS 11, 0 | 6 | |
Java Program Analysis by Symbolic Execution C Otto RWTH Aachen University, 2015 | 1 | 2015 |
Automated Termination Analysis for Imperative Programs with Dynamic Data Structures C Otto Diplomarbeit. Fachgruppe Informatik, Rheinisch-Westfälische Technische …, 2008 | 1 | 2008 |
Proving Termination of Java Bytecode with Cyclic Data M Brockschmidt, R Musiol, C Otto, J Giesl 12th International Workshop on Termination (WST 2012), 34, 2012 | | 2012 |
Proving Non-Termination for Java Bytecode M Brockschmidt, T Ströder, C Otto, J Giesl 12th International Workshop on Termination (WST 2012), 39, 2012 | | 2012 |
Semi-Deciding QF NIA with AProVE via Bit-Blasting J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ... | | |