Autor der Publikation

Configurable toolset for static verification of operating systems kernel modules.

, , , , , und . Programming and Computer Software, 41 (1): 49-64 (2015)

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

Region analysis for deductive verification of C programs., und . Programming and Computer Software, 42 (5): 257-278 (2016)Pattern-based environment modeling for static verification of Linux kernel modules., , und . Programming and Computer Software, 41 (3): 183-195 (2015)Configurable toolset for static verification of operating systems kernel modules., , , , , und . Programming and Computer Software, 41 (1): 49-64 (2015)Deductive Verification of Unmodified Linux Kernel Library Functions., , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 216-234. Springer, (2018)Integrating AADL-Based Tool Chain into Existing Industrial Processes., , , und . ICECCS, Seite 367-371. IEEE Computer Society, (2011)Towards an Open Framework for C Verification Tools Benchmarking., , , , und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 179-192. Springer, (2011)Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols., und . Programming and Computer Software, 33 (6): 316-335 (2007)High-level memory model with low-level pointer cast support for Jessie intermediate language., und . Programming and Computer Software, 41 (4): 197-207 (2015)Automated Formal Testing of C API Using T2C Framework., , und . ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 56-70. Springer, (2008)Open Source Certification and Educational Process.. ECEASST, (2009)