Subject Areas
Currently Not Available
Published Items by Year
Keywords
Colleague Collaboration
Author’s Latest Publications
- Article
Proving Termination of C Programs with Lists
July 2023Automated Deduction – CADE 29https://doi.org/10.1007/978-3-031-38499-8_16 - Article
AProVE: Non-Termination Witnesses for C Programs: (Competition Contribution)
April 2022Tools and Algorithms for the Construction and Analysis of Systemshttps://doi.org/10.1007/978-3-030-99527-0_21 - article
Lower Bounds for Runtime Complexity of Term Rewriting
June 2017Journal of Automated Reasoning, Volume 59, Issue 1https://doi.org/10.1007/s10817-016-9397-x - Article
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs
April 2017Proceedings, Part II, of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 10206https://doi.org/10.1007/978-3-662-54580-5_21 - article
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
- Thomas Ströder,
- Jürgen Giesl,
- Marc Brockschmidt,
- Florian Frohn,
- Carsten Fuhs,
- Jera Hensel,
- Peter Schneider-Kamp,
- Cornelius Aschermann
January 2017Journal of Automated Reasoning, Volume 58, Issue 1https://doi.org/10.1007/s10817-016-9389-x - article
Analyzing Program Termination and Complexity Automatically with AProVE
- 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
January 2017Journal of Automated Reasoning, Volume 58, Issue 1https://doi.org/10.1007/s10817-016-9388-y