| Static analyzer Svace for finding defects in a source program code VP Ivannikov, AA Belevantsev, AE Borodin, VN Ignatiev, DM Zhurikhin, ... Programming and Computer Software 40, 265-275, 2014 | 56 | 2014 |
| Using static symbolic execution to detect buffer overflows IA Dudina, AA Belevantsev Programming and Computer Software 43, 277-288, 2017 | 28 | 2017 |
| A static analysis tool Svace as a collection of analyzers with various complexity levels AE Borodin, AA Belevancev Proceedings of the Institute for System Programming of the RAS 27 (6), 111-134, 2015 | 28 | 2015 |
| Static analyzer Svace for finding of defects in program source code VP Ivannikov, AA Belevantsev, AE Borodin, VN Ignatiev, DM Zhurikhin, ... Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014 | 28 | 2014 |
| SharpChecker: Static analysis tool for C# programs VK Koshelev, VN Ignatiev, AI Borzilov, AA Belevantsev Programming and Computer Software 43, 268-276, 2017 | 22 | 2017 |
| Scalable and accurate detection of code clones S Sargsyan, S Kurmangaleev, A Belevantsev, A Avetisyan Programming and Computer Software 42, 27-33, 2016 | 22 | 2016 |
| LLVM-based code clone detection framework A Avetisyan, S Kurmangaleev, S Sargsyan, M Arutunian, A Belevantsev 2015 Computer Science and Information Technologies (CSIT), 100-104, 2015 | 20 | 2015 |
| Using static analysis for finding security vulnerabilities and critical errors in source code A Avetisyan, A Belevantsev, A Borodin, V Nesov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2011 | 18 | 2011 |
| Staticheskij analizator Svace dlja poiska defektov v ishodnom kode programm.[Static analyzer Svace for finding of defects in program source code] VP Ivannikov, AA Belevantsev, AE Borodin, VN Ignatiev, DM Zhurikhin, ... Trudy ISP RAN [The Proceedings of ISP RAS] 26 (1), 231-250, 2014 | 14 | 2014 |
| Ispol'zovanie staticheskogo analiza dlya poiska uyazvimostej i kriticheskikh oshibok v iskhodnom kode program [The usage of static analysis for searching vulnerabilities and … A Avetisyan, A Belevantsev, A Borodin, V Nesov Trudy ISP RАN [The Proceedings of ISP RAS] 21, 23-38, 2011 | 14 | 2011 |
| Evaluating power aware optimizations within GCC compiler D Zhurikhin, A Belevantsev, A Avetisyan, K Batuzov, S Lee GROW-2009: International Workshop on GCC Research Opportunities, 40, 2009 | 14 | 2009 |
| Comparative analysis of two approaches to static taint analysis MV Belyaev, NV Shimchik, VN Ignatyev, AA Belevantsev Programming and Computer Software 44, 459-466, 2018 | 13 | 2018 |
| Chuklyaev II The technologies of static and dynamic analyses detecting vulnerabilities of software AI Avetisyan, AA Belevantsev Voprosy kiberbezopasnosti 4 (3), 20-28, 2014 | 13* | 2014 |
| Design and development of Svace static analyzers A Belevantsev, A Borodin, I Dudina, V Ignatiev, A Izbyshev, S Polyakov, ... 2018 Ivannikov Memorial Workshop (IVMEM), 3-9, 2018 | 12 | 2018 |
| Scalable code clone detection tool based on semantic analysis S Sargsyan, S Kurmnagaleev, A Belevantsev, H Aslanyan, A Baloian Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2018 | 11 | 2018 |
| A case study: optimizing GCC on ARM for performance of libevas rasterization library D Melnik, A Belevantsev, D Plotnikov, S Lee Proceedings of GROW, 2010 | 11 | 2010 |
| Multilevel static analysis for improving program quality AA Belevantsev Programming and Computer Software 43, 321-336, 2017 | 9 | 2017 |
| Monitoring program builds for Svace static analyzer A Belevantsev, A Izbyshev, D Zhurikhin Syst. Admin, 135-139, 2017 | 8 | 2017 |
| Supporting Java programming in the Svace static analyzer AP Merkulov, SA Polyakov, AA Belevantsev Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2017 | 8 | 2017 |
| Deterministic static analysis A Borodin, A Belevantsev, D Zhurikhin, A Izbyshev 2018 Ivannikov Memorial Workshop (IVMEM), 10-14, 2018 | 7 | 2018 |
