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

DETERMIN: inferring likely deterministic specifications of multithreaded programs., und . ICSE (1), Seite 415-424. ACM, (2010)Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions., , und . FMOODS, Volume 3535 von Lecture Notes in Computer Science, Seite 211-226. Springer, (2005)Efficient and transferable adversarial examples from bayesian neural networks., , , , und . UAI, Volume 180 von Proceedings of Machine Learning Research, Seite 738-748. PMLR, (2022)Runtime safety analysis of multithreaded programs., , und . ESEC / SIGSOFT FSE, Seite 337-346. ACM, (2003)When deep learning met code search., , , , und . ESEC/SIGSOFT FSE, Seite 964-974. ACM, (2019)Asserting and checking determinism for multithreaded programs., und . ESEC/SIGSOFT FSE, Seite 3-12. ACM, (2009)DART: directed automated random testing., , und . PLDI, Seite 213-223. ACM, (2005)QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis., , , und . QCE, Seite 232-243. IEEE, (2021)JQF: coverage-guided property-based testing in Java., , und . ISSTA, Seite 398-401. ACM, (2019)CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration., , , und . HotPar, USENIX Association, (2012)