Autor der Publikation

Analysis of Low-Level Code Using Cooperating Decompilers.

, , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 318-335. Springer, (2006)

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

Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , und . HotOS, USENIX Association, (2007)A logic-based approach to software system safety and security., und . ACM SIGSOFT Software Engineering Notes, 25 (1): 67-68 (2000)Efficient Representation and Validation of Proofs., und . LICS, Seite 93-104. IEEE Computer Society, (1998)Enforcing resource bounds via static verification of dynamic checks., , , , und . ACM Trans. Program. Lang. Syst., 29 (5): 28 (2007)CCured: type-safe retrofitting of legacy software., , , , und . ACM Trans. Program. Lang. Syst., 27 (3): 477-526 (2005)Lightweight Wrappers for Interfacing with Binary Code in CCured., und . ISSS, Volume 3233 von Lecture Notes in Computer Science, Seite 209-225. Springer, (2003)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs., , , und . CC, Volume 2304 von Lecture Notes in Computer Science, Seite 213-228. Springer, (2002)MultiSE: multi-path symbolic execution using value summaries., , , und . ESEC/SIGSOFT FSE, Seite 842-853. ACM, (2015)SJS: A Type System for JavaScript with Fixed Object Layout., , , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2015)Mining Temporal Specifications for Error Detection., und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 461-476. Springer, (2005)