Follow
Jera Hensel
Jera Hensel
Verified email at cs.rwth-aachen.de
Title
Cited by
Cited by
Year
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
1702017
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
352017
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
352016
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
312015
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
262014
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
202017
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
192016
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
172018
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
122017
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
122015
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
72022
Proving termination of C programs with lists
J Hensel, J Giesl
International Conference on Automated Deduction, 266-285, 2023
32023
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
F Emrich, J Hensel, J Giesl
arXiv preprint arXiv:2302.02382, 2023
32023
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
22014
Aprove at smt-comp 2020
M Brockschmidt, F Frohn, C Fuhs, J Giesl, J Hensel, P Schneider-Kamp, ...
12020
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
AProVE: Non-Termination Witnesses for C Programs
J Hensel, C Mensendiek, J Giesl
Universitätsbibliothek der RWTH Aachen, 2022
2022
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, ...
The system can't perform the operation now. Try again later.
Articles 1–20