A Thread Partitioning Algorithm for Data Locality Improvement. - Alexander Chernov; Andrey Belevantsev; Oleg Malikov (PPAM, 2003)

Construction of speculative optimization algorithms. - A. A. Belevantsev; Sergey S. Gaisaryan; V. P. Ivannikov (Program. Comput. Softw., 2008)

Static analyzer Svace for finding defects in a source program code. - V. P. Ivannikov; A. A. Belevantsev; Alexey E. Borodin; V. N. Ignatiev; D. M. Zhurikhin; Arutyun Avetisyan (Program. Comput. Softw., 2014)

Analysis of entities in C and C++ programs and relations between them for program understanding. - A. A. Belevantsev; E. A. Veselevich; V. P. Ivannikov (Program. Comput. Softw., 2016)

Scalable and accurate detection of code clones. - Sevak Sargsyan; Shamil F. Kurmangaleev; A. A. Belevantsev; Arutyun Avetisyan (Program. Comput. Softw., 2016)

Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code. - Andrey Belevantsev; Arutyun Avetisyan (Ershov Informatics Conference, 2017)

Multilevel static analysis for improving program quality. - A. A. Belevantsev (Program. Comput. Softw., 2017)

Using static symbolic execution to detect buffer overflows. - I. A. Dudina; A. A. Belevantsev (Program. Comput. Softw., 2017)

SharpChecker: Static analysis tool for C# programs. - V. K. Koshelev; V. N. Ignatiev; A. I. Borzilov; A. A. Belevantsev (Program. Comput. Softw., 2017)

Comparative Analysis of Two Approaches to Static Taint Analysis. - M. V. Belyaev; N. V. Shimchik; V. N. Ignatyev; A. A. Belevantsev (Program. Comput. Softw., 2018)

Searching for Taint Vulnerabilities with Svace Static Analysis Tool. - Alexey E. Borodin; A. V. Goremykin; Sergey P. Vartanov; A. A. Belevantsev (Program. Comput. Softw., 2021)

Kotlin from the Point of View of Static Analysis Developer. - Vitaly O. Afanasyev; Sergey A. Polyakov; Alexey E. Borodin; A. A. Belevantsev (Program. Comput. Softw., 2023)