Carsten Otto

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Venues

IJCAR

J. Autom. Reason.

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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
Analyzing Program Termination and Complexity Automatically with AProVE. J. Autom. Reason. 58 (1) (2017)
Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
Proving Termination of Programs Automatically with AProVE. IJCAR (2014)
Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl
Automated Termination Proofs for Java Programs with Cyclic Data. CAV (2012)
Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. FoVeOOS (2011)
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. RTA (2011)
Carsten Otto
AProVE - Automated Program VerificationEnvironment. EEFSW (2011)
Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl
Automated Termination Analysis of Java Bytecode by Term Rewriting. RTA (2010)
Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl
Termination Graphs for Java Bytecode. Verification, Induction, Termination Analysis (2010)
Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp
Search Techniques for Rational Polynomial Orders. AISC/MKM/Calculemus (2008)

Carsten Otto.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carsten Otto