Jera Hensel - RankMe

16 papers A 4B 1Journal 7Unranked 3

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. CoRR Frank Emrich, Jera Hensel, Jürgen Giesl
2023	J	`jnl`	Automated Termination Proofs for C Programs with Lists (Short WST Version). CoRR Jera Hensel, Jürgen Giesl
2023	—	`—`	Automated termination analysis of C programs. Jera Hensel
2023	A	`conf`	Proving Termination of C Programs with Lists. CADE Jera Hensel, Jürgen Giesl
2023	J	`jnl`	Proving Termination of C Programs with Lists. CoRR Jera Hensel, Jürgen Giesl
2022	—	`conf`	AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution). TACAS (2) Jera Hensel, Constantin Mensendiek, Jürgen Giesl
2018	J	`jnl`	Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution. J. Log. Algebraic Methods Program. Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder
2017	—	`conf`	AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution). TACAS (2) Jera Hensel, Frank Emrich, Florian Frohn, Thomas Ströder, Jürgen Giesl
2017	J	`jnl`	Analyzing Program Termination and Complexity Automatically with AProVE. J. Autom. Reason. Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
2017	J	`jnl`	Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. J. Autom. Reason. Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann
2017	J	`jnl`	Lower Bounds for Runtime Complexity of Term Rewriting. J. Autom. Reason. Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder
2016	A	`conf`	Lower Runtime Bounds for Integer Programs. IJCAR Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl
2016	B	`conf`	Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution. SEFM Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder
2015	A	`conf`	AProVE: Termination and Memory Safety of C Programs - (Competition Contribution). TACAS Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl
2015	—	`conf`	Inferring Lower Bounds for Runtime Complexity. RTA Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder
2014	A	`conf`	Proving Termination and Memory Safety for Programs with Pointer Arithmetic. IJCAR Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp