Ilja S. Zakharov

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Symbolic Execution

Top Venues

Program. Comput. Softw.

Ershov Memorial Conference

Publications

Ilja S. Zakharov, Evgeny Novikov, Ilya Shchepetkov
Klever: Verification Framework for Critical Industrial C Programs. CoRR (2023)
Evgeny Novikov, Ilja S. Zakharov
Verification of Operating System Monolithic Kernels Without Extensions. ISoLA (4) (2018)
Evgeny Novikov, Ilja S. Zakharov
Towards Automated Static Verification of GNU C Programs. Ershov Informatics Conference (2017)
Ilja S. Zakharov, Vadim S. Mutilin, Alexey V. Khoroshilov
Pattern-based environment modeling for static verification of Linux kernel modules. Program. Comput. Softw. 41 (3) (2015)
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
Configurable toolset for static verification of operating systems kernel modules. Program. Comput. Softw. 41 (1) (2015)
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov
Modeling Environment for Static Verification of Linux Kernel Modules. Ershov Memorial Conference (2014)