Carsten Otto

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode

Jürgen Giesl, Marc Brockschmidt, Thomas Ströder, 2011, FoVeOOS.

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting

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

Automated Termination Proofs for Java Bytecode with Cyclic Data

Marc Brockschmidt, Juergen Giesl, Carsten Otto, 2012 .

Java program analysis by symbolic execution

Carsten Otto, Carsten Otto, 2015 .

Automated Termination Analysis of Java Bytecode by Term Rewriting

Christian von Essen, Jürgen Giesl, Marc Brockschmidt, 2010, RTA.

Search Techniques for Rational Polynomial Orders

Salvador Lucas, Jürgen Giesl, Peter Schneider-Kamp, 2008, AISC/MKM/Calculemus.

Termination Graphs for Java Bytecode

Christian von Essen, Jürgen Giesl, Marc Brockschmidt, 2010, Verification, Induction, Termination Analysis.

Automated Termination Proofs for Java Programs with Cyclic Data

Jürgen Giesl, Marc Brockschmidt, Carsten Otto, 2012, CAV.