Jera Hensel

Orcid: 0000-0003-2852-9830

According to our database1, Jera Hensel authored at least 15 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Automated termination analysis of C programs.
PhD thesis, 2023

Automated Termination Proofs for C Programs with Lists (Short WST Version).
CoRR, 2023

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs.
CoRR, 2023

Proving Termination of C Programs with Lists.
Proceedings of the Automated Deduction - CADE 29, 2023

2022
AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2018
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution.
J. Log. Algebraic Methods Program., 2018

2017
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
J. Autom. Reason., 2017

Analyzing Program Termination and Complexity Automatically with AProVE.
J. Autom. Reason., 2017

Lower Bounds for Runtime Complexity of Term Rewriting.
J. Autom. Reason., 2017

AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Lower Runtime Bounds for Integer Programs.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Inferring Lower Bounds for Runtime Complexity.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2014
Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014


  Loading...