Equid—a static analysis framework for industrial applications M Menshikov Computational Science and Its Applications–ICCSA 2019: 19th International …, 2019 | 7 | 2019 |
Scalable semantic virtual machine framework for language-agnostic static analysis M Menshchikov | 5 | 2018 |
5W+ 1H static analysis report quality measure M Menshchikov, T Lepikhin Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018 | 5 | 2018 |
Towards a resident static analysis M Menshikov Computational Science and Its Applications–ICCSA 2019: 19th International …, 2019 | 2 | 2019 |
Midair: An Intermediate Representation for Multi-purpose Program Analysis M Menshikov Computational Science and Its Applications–ICCSA 2020: 20th International …, 2020 | 1 | 2020 |
Применение модели MapReduce в архитектуре статического анализатора кода МА Меньщиков, ТА Лепихин Процессы управления и устойчивость 4 (1), 433-444, 2017 | 1 | 2017 |
Review of static analyzer service models MA Menshikov Труды Института системного программирования РАН 33 (3), 27-40, 2021 | | 2021 |
Static analyzer debugging and quality assurance approaches MA Menshikov Труды института системного программирования РАН 32 (3), 33-47, 2020 | | 2020 |
Подход к организации хранения семантики в статическом анализаторе кода МА Меньшиков Процессы управления управления и устойчивость, 2019 | | 2019 |
Design and testing of LXC-based virtualization system for resource-constrained MIPS devices M Menshchikov Software Engineering and Information Management, 13-21, 2018 | | 2018 |
Определение контекстов выполнения пользовательских функций в программном коде МА Меньщиков, ТА Лепихин Процессы управления и устойчивость 3 (1), 435-439, 2016 | | 2016 |