Autor der Publikation

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

Back to the Future: A Framework for Automatic Malware Removal and System Repair, , , , und . CSE-2005-6. University of California, Davis, (2005)Static Detection of Unsafe Component Loadings., und . CC, Volume 7210 von Lecture Notes in Computer Science, Seite 122-143. Springer, (2012)Scalable detection of semantic clones., , und . ICSE, Seite 321-330. ACM, (2008)Static Checking of Dynamically Generated Queries in Database Applications., , und . ICSE, Seite 645-654. IEEE Computer Society, (2004)JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications., , und . ICSE, Seite 697-698. IEEE Computer Society, (2004)Symbolic verification of regular properties., , , , und . ICSE, Seite 871-881. ACM, (2018)Perses: syntax-guided program reduction., , , , und . ICSE, Seite 361-371. ACM, (2018)Validating SMT solvers via semantic fusion., , und . PLDI, Seite 718-730. ACM, (2020)Context-aware statistical debugging: from bug predictors to faulty control flow paths., und . ASE, Seite 184-193. ACM, (2007)A Toolkit for Constructing Type- and Constraint-Based Program Analyses., , , und . Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 78-96. Springer, (1998)