Jera Hensel

Available identifiers

zbMath Open hensel.jeraMaRDI QIDQ1647966

List of research outcomes

Publication	Date of Publication	Type
Proving Termination of C Programs with Lists	2024-04-26	Paper
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution	2018-07-06	Paper
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution	2018-06-27	Paper
Lower bounds for runtime complexity of term rewriting	2017-08-15	Paper
Inferring Lower Bounds for Runtime Complexity	2017-07-12	Paper
Analyzing program termination and complexity automatically with \textsf{AProVE}	2017-07-10	Paper
Automatically proving termination and memory safety for programs with pointer arithmetic	2017-07-10	Paper
Lower Runtime Bounds for Integer Programs	2016-09-05	Paper
Proving Termination and Memory Safety for Programs with Pointer Arithmetic	2014-09-26	Paper

Research outcomes over time

This page was built for person: Jera Hensel