Marc Brockschmidt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proving termination through conditional termination Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Learning shape analysis Static 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} Journal of Automated Reasoning	2017-07-10	Paper
Automatically proving termination and memory safety for programs with pointer arithmetic Journal of Automated Reasoning	2017-07-10	Paper
Lower runtime bounds for integer programs Automated Reasoning	2016-09-05	Paper
Proving termination of programs automatically with AProVE Automated Reasoning	2014-09-26	Paper
Proving termination and memory safety for programs with pointer arithmetic Automated Reasoning	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 Verification, Induction, Termination Analysis	2010-11-22	Paper

Research outcomes over time

This page was built for person: Marc Brockschmidt