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

Context-aware statistical debugging: from bug predictors to faulty control flow paths., und . ASE, Seite 184-193. ACM, (2007)Algot: An Educational Programming Language with Human-Intuitive Visual Syntax., und . VL/HCC, Seite 1-5. IEEE, (2021)Static Detection of Unsafe Component Loadings., und . CC, Volume 7210 von Lecture Notes in Computer Science, Seite 122-143. Springer, (2012)Validating SMT solvers via semantic fusion., , und . PLDI, Seite 718-730. ACM, (2020)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)Scalable detection of semantic clones., , und . ICSE, Seite 321-330. ACM, (2008)An Empirical Study on Real Bug Fixes., und . ICSE (1), Seite 913-923. IEEE Computer Society, (2015)