Concepedia

Artem Borzilov

AB

4

Publications

62

Citations

4

H-Index

2014

Active since

Affiliations

Institute for System Programming(Current)

Artem Borzilov is an author at Institute for System Programming specializing in source code analysis, system software, and software design.

Top concepts

Publications per year

2014–2017

4

Publications

4

SharpChecker: Static analysis tool for C# programs

V. Koshelev, Valery Ignatiev, Artem Borzilov et al. · Programming and Computer Software · 2017 · 22 citations

Methods and software tools for combined binary code analysis

V.A. Padaryan, Aleksandr Igorevich Getman, Mikhail Solovyev et al. · Proceedings of the Institute for System Programming of RAS · 2014 · 15 citations · Full text

, , +21

C# static analysis framework

V. Koshelev, V. N. Ignatyev, Artem Borzilov · Proceedings of the Institute for System Programming of RAS · 2016 · 15 citations · Full text

Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference

V. Koshelev, V. N. Ignatyev, Artem Borzilov · Proceedings of the Institute for System Programming of RAS · 2015 · 10 citations · Full text

Rows per page

1–4 of 4