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

A bit too precise? Verification of quantized digital filters., , und . STTT, 16 (2): 175-190 (2014)Differential Performance Debugging with Discriminant Regression Trees., , , und . CoRR, (2017)Construction of Abstract Domains for Heterogeneous Properties (Position Paper)., , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 489-492. Springer, (2014)A vision for online verification-validation., , und . GPCE, Seite 190-201. ACM, (2016)Trustless Grid Computing in ConCert., , , , , , und . GRID, Volume 2536 von Lecture Notes in Computer Science, Seite 112-125. Springer, (2002)Android apps consistency scrutinized., , , , , und . CHI Extended Abstracts, Seite 2347-2352. ACM, (2014)QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 866-873. Springer, (2014)An Abstract Domain Combinator for Separately Conjoining Memory Abstractions., , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 285-301. Springer, (2014)Automatic Analysis of Open Objects in Dynamic Language Programs., , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 134-150. Springer, (2014)Analysis of Low-Level Code Using Cooperating Decompilers., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 318-335. Springer, (2006)