Alexander K. Petrenko
Высшая школа экономики
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Formal Methods in Verification
- Real-Time Systems Scheduling
- Real-time simulation and control systems
Чем занимается
Ключевые темы по публикациям: Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Formal Methods in Verification; Real-Time Systems Scheduling; Real-time simulation and control systems.
Последние работы
Все 89 в OpenAlex- UniTesK Test Suite Architecture2002
- Establishing Linux Driver Verification Process2010
- KVEST: Automated Generation of Test Suites from Formal Specifications1999
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,…
- The UniTesK Approach to Designing Test Suites2003
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
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Alexander K. Petrenko! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «UniTesK Test Suite Architecture» (2002) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.