Autor der Publikation

Termination Graphs for Java Bytecode.

, , , und . Verification, Induction, Termination Analysis, Volume 6463 von Lecture Notes in Computer Science, Seite 17-37. Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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