Ilja S. Zakharov

According to our database, Ilja S. Zakharov authored at least 6 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Klever: Verification Framework for Critical Industrial C Programs.

Ilja S. Zakharov, Evgeny Novikov, Ilya Shchepetkov

CoRR, 2023

2018

Verification of Operating System Monolithic Kernels Without Extensions.

Evgeny Novikov, Ilja S. Zakharov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Towards Automated Static Verification of GNU C Programs.

Evgeny Novikov, Ilja S. Zakharov

Proceedings of the Perspectives of System Informatics, 2017

2015

Configurable toolset for static verification of operating systems kernel modules.

Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

Pattern-based environment modeling for static verification of Linux kernel modules.

Ilja S. Zakharov, Vadim S. Mutilin, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

2014

Modeling Environment for Static Verification of Linux Kernel Modules.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov

Proceedings of the Perspectives of System Informatics, 2014