Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Java program analysis by symbolic execution.. RWTH Aachen University, Germany, (2015)Automated Termination Proofs for Java Programs with Cyclic Data., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 105-122. Springer, (2012)AProVE - Automated Program VerificationEnvironment.. EEFSW, volume 14 of Aachener Informatik-Berichte, Software Engineering, page 49-54. Shaker, (2011)Automated Termination Analysis of Java Bytecode by Term Rewriting., , , and . RTA, volume 6 of LIPIcs, page 259-276. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Termination Graphs for Java Bytecode., , , and . Verification, Induction, Termination Analysis, volume 6463 of Lecture Notes in Computer Science, page 17-37. Springer, (2010)Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting., , and . RTA, volume 10 of LIPIcs, page 155-170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode., , , and . FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 123-141. Springer, (2011)