Carsten Otto

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Marc Brockschmidt, René Thiemann, 2016, Journal of Automated Reasoning.

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting

Jürgen Giesl, Marc Brockschmidt, Carsten Otto, 2011, RTA.

Java program analysis by symbolic execution

Carsten Otto, Carsten Otto, 2015 .

Automated Termination Proofs for Java Bytecode with Cyclic Data

Marc Brockschmidt, Juergen Giesl, Carsten Otto, 2012 .

Proving Termination of Programs Automatically with AProVE

Jürgen Giesl, Marc Brockschmidt, René Thiemann, 2014, IJCAR.