( en | de | ru )

 

Disambiguation of "Khoroshilov, Alexey V."

Author of the publication

copydeleteadd this publication to your clipboard
Establishing Linux Driver Verification Process.

, , , and . 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.

Alexey Mikaberidze

Alexey Shaytan

Alexey Dashevsky

Alexey Kopyshev

Alexey Pryakhin

 

Other publications of authors with the same name

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