Autor der Publikation

The Static Driver Verifier Research Platform.

, , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 119-122. Springer, (2010)

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

CloudSDV Enabling Static Driver Verifier Using Microsoft Azure., , , , , und . IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 523-536. Springer, (2016)Thorough static analysis of device drivers., , , , , , , , und . EuroSys, Seite 73-85. ACM, (2006)Difference Decision Diagrams., , , und . CSL, Volume 1683 von Lecture Notes in Computer Science, Seite 111-125. Springer, (1999)Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost., , , , , , , , und . FMCAD, Seite 169-178. IEEE, (2020)The Static Driver Verifier Research Platform., , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 119-122. Springer, (2010)