PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Novikov, Evgeny"

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.

Prof. Evgeny Kharlamov University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Visual Modeling of Dynamical Systems by Instrumental Facilities., , , und . MIM, Seite 2185-2190. International Federation of Automatic Control, (2013)Verification of Operating System Monolithic Kernels Without Extensions., und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 230-248. Springer, (2018)Using linux device drivers for static verification tools benchmarking., , , , und . Programming and Computer Software, 38 (5): 245-256 (2012)Precision Reuse in CPAchecker., , , , und . Software Engineering, Volume P-227 von LNI, Seite 41-42. GI, (2014)Reusing Precisions for Efficient Regression Verification, , , , und . CoRR, (2013)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)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 . Programming and Computer Software, 41 (1): 49-64 (2015)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)Precision reuse for efficient regression verification., , , , und . ESEC/SIGSOFT FSE, Seite 389-399. ACM, (2013)