Carsten Otto
Carsten Otto
Software Engineer, Cognitran Ltd
E-mail confirmado em cognitran.com - Página inicial
Título
Citado por
Citado por
Ano
Automated Termination Analysis of Java Bytecode by Term Rewriting.
C Otto, M Brockschmidt, C Von Essen, J Giesl
RTA 10, 259-276, 2010
892010
Proving termination of programs automatically with AProVE
J Giesl, M Brockschmidt, F Emmes, F Frohn, C Fuhs, C Otto, M Plücker, ...
International Joint Conference on Automated Reasoning, 184-191, 2014
862014
Analyzing program termination and complexity automatically with AProVE
J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ...
Journal of Automated Reasoning 58 (1), 3-31, 2017
732017
Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode
M Brockschmidt, T Ströder, C Otto, J Giesl
Formal Verification of Object-Oriented Software, 123, 0
53*
Automated termination proofs for Java programs with cyclic data
M Brockschmidt, R Musiol, C Otto, J Giesl
International Conference on Computer Aided Verification, 105-122, 2012
432012
Modular termination proofs of recursive Java Bytecode programs by term rewriting
M Brockschmidt, C Otto, J Giesl
Proc. RTA 11, 155-170, 2011
312011
Termination graphs for Java bytecode
M Brockschmidt, C Otto, C Von Essen, J Giesl
Verification, Induction, Termination Analysis, 17-37, 2010
29*2010
Search techniques for rational polynomial orders
C Fuhs, R Navarro-Marset, C Otto, J Giesl, S Lucas, P Schneider-Kamp
International Conference on Intelligent Computer Mathematics, 109-124, 2008
272008
Termination analysis of java bytecode by term rewriting
C Otto, M Brockschmidt, C von Essen, J Giesl
International Workshop on Termination WST 9, 2009
62009
Automated detection of nontermination and NullPointerExceptions for JBC
M Brockschmidt, T Ströder, C Otto, J Giesl
Proc. FoVeOOS 11, 0
5
Java Program Analysis by Symbolic Execution
C Otto
RWTH Aachen University, 2015
12015
Automated Termination Analysis for Imperative Programs with Dynamic Data Structures
C Otto
Diplomarbeit. Fachgruppe Informatik, Rheinisch-Westfälische Technische …, 2008
12008
Proving Termination of Java Bytecode with Cyclic Data
M Brockschmidt, R Musiol, C Otto, J Giesl
12th International Workshop on Termination (WST 2012), 34, 2012
2012
Proving Non-Termination for Java Bytecode
M Brockschmidt, T Ströder, C Otto, J Giesl
12th International Workshop on Termination (WST 2012), 39, 2012
2012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–14