Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Establishing Linux Driver Verification Process.

A. Khoroshilov, V. Mutilin, A. Petrenko, and V. Zakharov. Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 165-176. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Vladimir Knjasev University of Stuttgart

Dr. Vladimir Atanasov University of Stuttgart

Vladimir Mikheev University of Stuttgart

Vladimir Yussupov University of Stuttgart

Other publications of authors with the same name

Transparent integration of a real-time collision safety system to a motor control chain of a service robot.V. Zakharov, R. Cubek, and W. Ertel. TePRA, page 1-6. IEEE, (2015)Establishing Linux Driver Verification Process.A. Khoroshilov, V. Mutilin, A. Petrenko, and V. Zakharov. Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 165-176. Springer, (2009)Is it possible to unify sequential programs?T. Novikova, and V. Zakharov. UNIF@RTA/TLCA, volume 19 of EPiC Series in Computing, page 35-45. EasyChair, (2013)Об автоматической рубрикации терминов тезауруса открытой информационно-аналитической системы (On the Automatic Structuring of the Thesaurus for an Open Information-Analytical System).V. Boikov, V. Zakharov, M. Karyaeva, and V. Sokolov. RCDL, volume 1297 of CEUR Workshop Proceedings, page 75-80. CEUR-WS.org, (2014)On the Model Checking of Sequential Reactive Systems.D. Kozlova, and V. Zakharov. CS&P, volume 1698 of CEUR Workshop Proceedings, page 233-244. CEUR-WS.org, (2016)An invariant-based approach to the verification of asynchronous parameterized networks.I. Konnov, and V. Zakharov. J. Symb. Comput., 45 (11): 1144-1162 (2010)The current state of art in program obfuscations: definitions of obfuscation security.N. Varnovskiy, V. Zakharov, N. Kuzyurin, and A. Shokurov. Programming and Computer Software, 41 (6): 361-372 (2015)Algorithms of Two-Level Parallelization for DSMC of Unsteady Flows in Molecular GasdynamicsA. Bogdanov, N. Bykov, I. Grishin, G. Khanlarov, G. Lukianov, and V. Zakharov. CoRR, (1999)Equivalence Checking Problem for Finite State Transducers over Semigroups.V. Zakharov. CAI, volume 9270 of Lecture Notes in Computer Science, page 208-221. Springer, (2015)An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.V. Zakharov. ICALP, volume 1443 of Lecture Notes in Computer Science, page 247-258. Springer, (1998)