Constructing the formal grammar of system calls N Efanov, P Emelyanov Proceedings of the 13th Central & Eastern European Software Engineering …, 2017 | 14 | 2017 |
Linux Process Tree Reconstruction Using The Attributed Grammar-Based Tree Transformation Model N Efanov, P Emelyanov Proceedings of the 14th Central and Eastern European Software Engineering …, 2018 | 10 | 2018 |
О некоторых комбинаторных свойствах деревьев процессов LINUX НН Ефанов Чебышевский сборник 19 (2 (66)), 151-162, 2018 | 6 | 2018 |
On some combinatorial properties of LINUX process trees NN Efanov Chebyshevskii Sbornik 19 (2), 151-162, 2018 | 5 | 2018 |
Построение формальной грамматики системных вызовов НН Ефанов, ПВ Емельянов М. Информационное обеспечение математических моделей, 83-90, 2017 | 5 | 2017 |
On semilattice of Linux processes’ states NN Efanov ЧЕБЫШЕВСКИЙ СБОРНИК 20 (4), 121-135, 2020 | 3* | 2020 |
О некоторых полурешеточных свойствах состояний процессов Linux НН Ефанов Конференция проводится при финансовой поддержке РФФИ, проект № 19-01-20049, 165, 2019 | 3 | 2019 |
О формальной корректности атрибутного алгоритма реконструкции деревьев процессов Linux НН Ефанов Председатель программного комитета–, 88, 2019 | 1 | 2019 |
Исправление аномалий в графах реконструкции деревьев процессов Linux НН Ефанов Труды Московского физико-технического института 11 (3 (43)), 50-60, 2019 | 1 | 2019 |
Классификация правил проверки атрибутов в деревьях процессов Linux НН Ефанов Естественные и технические науки, 216-221, 2018 | 1 | 2018 |
Комбинаторные и групповые свойства деревьев процессов Linux НН Ефанов Сборник трудов XV международной конференции «Алгебра, теория чисел и …, 2018 | 1 | 2018 |
Верификатор промежуточного представления компилятора OpenArkCompiler ДД Томашев, НН Ефанов Труды МФТИ 57 (15), 14-22, 2023 | | 2023 |
Performance prediction for chosen types of loops over one-dimensional arrays with embedding-driven intermediate representations analysis RK Zavodskikh, NN Efanov Компьютерные исследования и моделирование 15 (1), 211-224, 2023 | | 2023 |
Предсказание производительности избранных типов циклов над одномерными массивами посредством анализа эмбеддингов промежуточных представлений РК Заводских, НН Ефанов Компьютерные исследования и моделирование 15 (1), 211-224, 2023 | | 2023 |
ТРУДЫ МФТИ. ТРУДЫ МОСКОВСКОГО ФИЗИКО-ТЕХНИЧЕСКОГО ИНСТИТУТА (НАЦИОНАЛЬНОГО ИССЛЕДОВАТЕЛЬСКОГО УНИВЕРСИТЕТА) РК ЗАВОДСКИХ, НН ЕФАНОВ, ДД ТОМАШЕВ ТРУДЫ 14 (3), 34-45, 2022 | | 2022 |
Cтатическая оценка производительности посредством эмбеддингов промежуточных представлений LLVM РК Заводских, НН Ефанов, ДД Томашев Труды Московского физико-технического института 14 (3 (55)), 34-45, 2022 | | 2022 |
ТРУДЫ МФТИ. ТРУДЫ МОСКОВСКОГО ФИЗИКО-ТЕХНИЧЕСКОГО ИНСТИТУТА (НАЦИОНАЛЬНОГО ИССЛЕДОВАТЕЛЬСКОГО УНИВЕРСИТЕТА) НН ЕФАНОВ, АР ФЕДОРОВ, ЭВ ШАМБЕР, АА ЩЕРБАКОВ, ... ТРУДЫ 13 (4), 14-29, 2021 | | 2021 |
Pathfinder: статический анализатор программ на базе решения задач достижимости на графах в КС-ограничениях НН Ефанов, АР Федоров, ЭВ Шамбер, АА Щербаков, АП Елесина Труды МФТИ, 2021 | | 2021 |
Проблемы вычислительно эффективного сравнения деревьев процессов локализованными тестами графовых изоморфизмов ИА Склонин, НН Ефанов Председатель программного комитета—профессор ВН Чубариков Сопредседатели …, 2021 | | 2021 |
On Synthetic Process Trees Reconstruction Using Graph-Based Operation Restore Model NN Efanov 2020 International Conference Engineering and Telecommunication (En&T), 1-5, 2020 | | 2020 |