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

Hybrid Concolic Testing., und . ICSE, Seite 416-426. IEEE Computer Society, (2007)Efficient Decentralized Monitoring of Safety in Distributed Systems., , , und . ICSE, Seite 418-427. IEEE Computer Society, (2004)TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications., , , und . ICSE (2), Seite 717-720. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs., , , und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 675-681. Springer, (2009)Learning to Verify Safety Properties., , , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 274-289. Springer, (2004)Maximizing Communication Overlap with Dynamic Program Analysis., , , und . HPC Asia, Seite 1-11. ACM, (2018)Model-Checking omega-Regular Properties of Interval Markov Chains., , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 302-317. Springer, (2008)Semantic fuzzing with zest., , , , und . ISSTA, Seite 329-340. ACM, (2019)PerfFuzz: automatically generating pathological inputs., , , und . ISSTA, Seite 254-265. ACM, (2018)Online Efficient Predictive Safety Analysis of Multithreaded Programs., , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 123-138. Springer, (2004)