Carsten Otto

According to our database, Carsten Otto authored at least 10 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Analyzing Program Termination and Complexity Automatically with AProVE.

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

J. Autom. Reason., 2017

2015

Java program analysis by symbolic execution.

Carsten Otto

PhD thesis, 2015

2014

Proving Termination of Programs Automatically with AProVE.

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

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2012

Automated Termination Proofs for Java Programs with Cyclic Data.

Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.

Marc Brockschmidt, Carsten Otto, Jürgen Giesl

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.

Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl

Proceedings of the Formal Verification of Object-Oriented Software, 2011

AProVE - Automated Program VerificationEnvironment.

Carsten Otto

Proceedings of the Entwicklung und Evolution von Forschungssoftware: Tagungsband des Workshops, 2011

2010

Automated Termination Analysis of Java Bytecode by Term Rewriting.

Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Termination Graphs for Java Bytecode.

Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl

Proceedings of the Verification, Induction, Termination Analysis, 2010

2008

Search Techniques for Rational Polynomial Orders.

Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008