( en | de | ru )

 

Disambiguierung von "Zakharov, Ilja S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modeling Environment for Static Verification of Linux Kernel Modules.

, , , und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 400-414. Springer, (2014)

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.

Olga Iljassova-Morger

Maxim Zakharov

Vasily Zakharov

Andrey Zakharov

Dmitry Zakharov

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Automated Static Verification of GNU C Programs., und . Ershov Informatics Conference, Volume 10742 von Lecture Notes in Computer Science, Seite 402-416. Springer, (2017)Pattern-based environment modeling for static verification of Linux kernel modules., , und . Program. Comput. Softw., 41 (3): 183-195 (2015)Klever: Verification Framework for Critical Industrial C Programs., , und . CoRR, (2023)Modeling Environment for Static Verification of Linux Kernel Modules., , , und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 400-414. Springer, (2014)Configurable toolset for static verification of operating systems kernel modules., , , , , und . Program. Comput. Softw., 41 (1): 49-64 (2015)Verification of Operating System Monolithic Kernels Without Extensions., und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 230-248. Springer, (2018)