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, 3-31, 2017 | 178 | 2017 |
Automatically proving termination and memory safety for programs with pointer arithmetic T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ... Journal of Automated Reasoning 58, 33-65, 2017 | 35 | 2017 |
Lower runtime bounds for integer programs F Frohn, M Naaf, J Hensel, M Brockschmidt, J Giesl Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 35 | 2016 |
AProVE: Termination and Memory Safety of C Programs: (Competition Contribution) T Ströder, C Aschermann, F Frohn, J Hensel, J Giesl International Conference on Tools and Algorithms for the Construction and …, 2015 | 31 | 2015 |
Proving termination and memory safety for programs with pointer arithmetic T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ... Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014 | 26 | 2014 |
Lower bounds for runtime complexity of term rewriting F Frohn, J Giesl, J Hensel, C Aschermann, T Ströder Journal of Automated Reasoning 59, 121-163, 2017 | 20 | 2017 |
Proving termination of programs with bitvector arithmetic by symbolic execution J Hensel, J Giesl, F Frohn, T Ströder Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016 | 19 | 2016 |
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution J Hensel, J Giesl, F Frohn, T Ströder Journal of Logical and Algebraic Methods in Programming 97, 105-130, 2018 | 18 | 2018 |
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs: (Competition Contribution) J Hensel, F Emrich, F Frohn, T Ströder, J Giesl International Conference on Tools and Algorithms for the Construction and …, 2017 | 12 | 2017 |
Inferring lower bounds for runtime complexity F Frohn, J Giesl, J Hensel, C Aschermann, T Ströder 26th International Conference on Rewriting Techniques and Applications (RTA …, 2015 | 12 | 2015 |
AProVE: Non-Termination Witnesses for C Programs: (Competition Contribution) J Hensel, C Mensendiek, J Giesl International Conference on Tools and Algorithms for the Construction and …, 2022 | 8 | 2022 |
Proving termination of C programs with lists J Hensel, J Giesl International Conference on Automated Deduction, 266-285, 2023 | 3 | 2023 |
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs F Emrich, J Hensel, J Giesl arXiv preprint arXiv:2302.02382, 2023 | 3 | 2023 |
Automated termination analysis for programs with pointer arithmetic T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ... RWTH Aachen, Department of Computer Science, 2014 | 2 | 2014 |
AProVE: Non-Termination Witnesses for C Programs J Hensel, C Mensendiek, J Giesl Universitätsbibliothek der RWTH Aachen, 2022 | 1 | 2022 |
Aprove at smt-comp 2020 M Brockschmidt, F Frohn, C Fuhs, J Giesl, J Hensel, P Schneider-Kamp, ... | 1 | 2020 |
Automated Termination Proofs for C Programs with Lists (Short WST Version) J Hensel, J Giesl arXiv preprint arXiv:2307.11024, 2023 | | 2023 |
Automated termination analysis of C programs J Hensel Dissertation, RWTH Aachen University, 2023, 2023 | | 2023 |
26th International Conference on Rewriting Techniques and Applications (RTA 2015) H Kirchner, G Rosu, C Talcott, M Avanzini, C Sternagel, R Thiemann, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | | 2015 |
Semi-Deciding QF NIA with AProVE via Bit-Blasting J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ... | | |