Marc Brockschmidt

Available identifiers

zbMath Open brockschmidt.marcMaRDI QIDQ1687547

List of research outcomes

Publication	Date of Publication	Type
Proving Termination Through Conditional Termination	2020-08-05	Paper
Learning Shape Analysis	2019-09-16	Paper
Complexity analysis for term rewriting by integer transition systems	2018-01-04	Paper
Certifying safety and termination proofs for integer transition systems	2017-09-22	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 of Programs Automatically with AProVE	2014-09-26	Paper
Proving Termination and Memory Safety for Programs with Pointer Arithmetic	2014-09-26	Paper
Automated termination analysis of Java bytecode by term rewriting	2012-04-25	Paper
Modular termination proofs of recursive Java bytecode programs by term rewriting	2012-04-24	Paper
Termination graphs for Java bytecode	2010-11-22	Paper

Research outcomes over time

This page was built for person: Marc Brockschmidt