Concepedia

Ilja Zakharov

IZ

Statistics

Publications

2

Citations

44

H-Index

2

Active since

2014

Affiliations

Institute for System Programming(Current)

Ilja Zakharov is an author at Institute for System Programming specializing in system software, formal methods, and formal verification.

ORCID

Top concepts

Publications per year

2014–2015

2

Publications

2

Configurable toolset for static verification of operating systems kernel modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Programming and Computer Software · 2015 · 33 citations

Configurable Toolset for Static Verification of Operating Systems Kernel Modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Proceedings of the Institute for System Programming of RAS · 2014 · 11 citations · Full text

, , +17

1–2 of 2