Чем занимается
Ключевые темы по публикациям: Методы тестирования и отладки ПО; Исследования надёжности и анализа ПО; Формальные методы верификации; Планирование задач в системах реального времени; Моделирование в реальном времени и системы управления.
Темы посчитаны по публикациям в OpenAlex; научный руководитель их не подтверждал
Выбранные работы
Все 89 в OpenAlexЧасть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.
Software Security by Design2025 · аннотациясвернуть
Abstract Secure by Design is an important approach to ensure software security and reliability. It has already been developing for more than 50 years, but its principles and techniques are still not well known among the…
Software Model Checking for Memory Consistency Verification2025 · аннотациясвернуть
Abstract Optimization transformations performed by a compiler may violate memory consistency requirements for a multithreaded program. This leads to errors, when the program behavior will differ from expected. The…
- Динамическая верификация промышленных средств защиты информации на основе формальных моделей управления доступом2025
Software Security by Design2024 · аннотациясвернуть
Abstract Secure by Design is an important approach to ensure software security and reliability. It has already been developing for more than 50 years, but its principles and techniques are still not well known among the…
- Runtime Verification of Operating Systems Based on Abstract Models2023
Configurable toolset for static verification of operating systems kernel modules2015 · аннотациясвернуть
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of modern OS kernels is already high enough. However, this is not the case for kernel modules, like, for example,…
- Establishing Linux Driver Verification Process2010
- The UniTesK Approach to Designing Test Suites2003
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Предложена самая свежая из выбранных работ профиля. Упомяни её, только если прочитал(а) и видишь связь со своей задачей.
Шаблон письма
Здравствуйте, [Имя Отчество]! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Хочу решать задачу: [какую задачу хочу решать / тема ВКР]. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
Замени поля в квадратных скобках своими данными и отправь письмо из своей почты. Копирование сохраняет черновик и не отправляет письмо научруку.