A. A. Belevantsev

According to our database, A. A. Belevantsev authored at least 12 papers between 2003 and 2023.

Collaborative distances:

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

2023

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., December, 2023

2021

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

2018

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

2017

SharpChecker: Static analysis tool for C# programs.

V. K. Koshelev, V. N. Ignatiev, A. I. Borzilov, 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

Multilevel static analysis for improving program quality.

A. A. Belevantsev

Program. Comput. Softw., 2017

Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code.

Andrey Belevantsev, Arutyun Avetisyan

Proceedings of the Perspectives of System Informatics, 2017

2016

Scalable and accurate detection of code clones.

Sevak Sargsyan, Shamil F. Kurmangaleev, A. A. Belevantsev, Arutyun Avetisyan

Program. Comput. Softw., 2016

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

2014

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

2008

Construction of speculative optimization algorithms.

A. A. Belevantsev, Sergey S. Gaisaryan, V. P. Ivannikov

Program. Comput. Softw., 2008

2003

A Thread Partitioning Algorithm for Data Locality Improvement.

Alexander Chernov, Andrey Belevantsev, Oleg Malikov

Proceedings of the Parallel Processing and Applied Mathematics, 2003