| 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 | 159 | 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 | 125 | 2014 |
| Automated Termination Analysis of Java Bytecode by Term Rewriting. C Otto, M Brockschmidt, C Von Essen, J Giesl RTA 10, 259-276, 2010 | 103 | 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 | 71* | |
| 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 | 52 | 2012 |
| Modular termination proofs of recursive Java Bytecode programs by term rewriting M Brockschmidt, C Otto, J Giesl Proc. RTA 11, 155-170, 2011 | 37 | 2011 |
| Termination graphs for Java bytecode M Brockschmidt, C Otto, C Von Essen, J Giesl Verification, Induction, Termination Analysis, 17-37, 2010 | 32 | 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, ... | | |
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
