AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Alexey Borodin

Alexey Borodin

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Others
AD Scientific Index ID: 4603936
Институт системного программирования Российской академии наук
person_outline Alexey Borodin's MOST POPULAR ARTICLES
1-) Static analyzer Svace for finding defects in a source program code Programming and Computer Software 40 (5), 265-275, 2014
2-) A static analysis tool Svace as a collection of analyzers with various complexity levels Proceedings of the Institute for System Programming of the RAS 27 (6), 111-134, 2015
3-) Design and development of Svace static analyzers 2018 Ivannikov Memorial Workshop (IVMEM), 3-9, 2018
4-) Static analyzer Svace for finding of defects in program source code Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014
5-) Using static analysis for finding security vulnerabilities and critical errors in source code Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2011