|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
U. V. Tsiazhkorob, M. V. Belyaev, A. A. Belevancev, V. N. Ignatyev, “Machine learning-based validation of warnings in an industrial static code analyzer”, Proceedings of ISP RAS, 37:6(1) (2025), 101–120 |
|
2020 |
| 2. |
M. V. Belyaev, E. S. Romanenkov, V. N. Ignatyev, “Modeling of library functions in an industrial static code analyzer”, Proceedings of ISP RAS, 32:3 (2020), 21–31 |
1
|
|
2017 |
| 3. |
M. V. Belyaev, N. V. Shimchik, V. N. Ignatyev, A. A. Belevancev, “Comparative analysis of two approaches to the static taint analysis”, Proceedings of ISP RAS, 29:3 (2017), 99–116 |
2
|
|
| Organisations |
|
|