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

Symbolic Execution and Model Checking for Testing., und . Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 17-18. Springer, (2007)Predicate Abstraction with Under-Approximation Refinement., , und . Logical Methods in Computer Science, (2007)Statistical Symbolic Execution with Informed Sampling., , , und . Software Engineering & Management, Volume P-239 von LNI, Seite 51-52. GI, (2015)A survey of new trends in symbolic execution for software testing and analysis., und . Int. J. Softw. Tools Technol. Transf., 11 (4): 339-353 (2009)Parallelization Techniques for Verifying Neural Networks., , , , , , , , , und . CoRR, (2020)Analysing the effect of uncertainty in airport surface operations., , und . ISSTA/ECOOP Workshops, Seite 132-137. ACM, (2018)On the probabilistic analysis of neural networks., , , und . SEAMS@ICSE, Seite 5-8. ACM, (2020)Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis., , , , , und . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 14 (2019)Guest editorial: special multi-issue on selected topics in Automated Software Engineering., und . Autom. Softw. Eng., 22 (3): 289-290 (2015)Case Study: Analysis of Autonomous Center Line Tracking Neural Networks., , , und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 104-121. Springer, (2021)