( en | de | ru )

 

Disambiguierung von "Reps, Thomas W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Directed Proof Generation for Machine Code.

, , , , , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 288-305. 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.

Markus Reps

Christian Repschläger

Ingeborg Reps

Albert Reps

Bruno Reps

 

Weitere Publikationen von Autoren mit dem selben Namen

Debugging via Run-Time Type Checking., , , und . FASE, Volume 2029 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2001)A System for Generating Static Analyzers for Machine Instructions., und . CC, Volume 4959 von Lecture Notes in Computer Science, Seite 36-52. Springer, (2008)Recovery of Class Hierarchies and Composition Relationships from Machine Code., und . CC, Volume 8409 von Lecture Notes in Computer Science, Seite 61-84. Springer, (2014)Secure Programming via Visibly Pushdown Safety Games., , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 581-598. Springer, (2012)A Method for Symbolic Computation of Abstract Operations., und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 174-192. Springer, (2012)Improving Pushdown System Model Checking., und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 343-357. Springer, (2006)On the Sequential Nature of Interprocedural Program-Analysis Problems.. Acta Inf., 33 (8): 739-757 (1996)Design and Implementation of a Fine-Grained Software Inspection Tool., , und . IEEE Trans. Software Eng., 29 (8): 721-733 (2003)Finite differencing of logical formulas for static analysis., , und . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations., , und . ACM Trans. Softw. Eng. Methodol., 1 (3): 310-354 (1992)