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

Bottom-up shape analysis using LISF., , , und . ACM Trans. Program. Lang. Syst., 33 (5): 17:1-17:41 (2011)Secure Medical Image Analysis with CrypTFlow., , , , , , , , und . CoRR, (2020)Quantifying the effectiveness of testing via efficient residual path profiling., , und . ESEC/SIGSOFT FSE, Seite 545-548. ACM, (2007)The economics of static analysis tools., und . ESEC/SIGSOFT FSE, Seite 707-710. ACM, (2013)Specification Inference and Invariant Generation: A Machine Learning Perspective.. ATx/WInG@IJCAR, Volume 17 von EPiC Series in Computing, Seite 54. EasyChair, (2012)Efficient synthesis of probabilistic programs., , , und . PLDI, Seite 208-217. ACM, (2015)Robustness of neural networks: a probabilistic and practical approach., , und . ICSE (NIER), Seite 93-96. IEEE / ACM, (2019)A user-guided approach to program analysis., , , und . ESEC/SIGSOFT FSE, Seite 462-473. ACM, (2015)Automating Software Testing Using Program Analysis, , , , , , und . IEEE Software, 25 (5): 30-37 (2008)Efficiently Sampling Probabilistic Programs via Program Analysis., , und . AISTATS, Volume 31 von JMLR Workshop and Conference Proceedings, Seite 153-160. JMLR.org, (2013)