Vadim Mutilin
МФТИ
- Software Testing and Debugging Techniques
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Real-Time Systems Scheduling
- Parallel Computing and Optimization Techniques
Чем занимается
Ключевые темы по публикациям: Software Testing and Debugging Techniques; Formal Methods in Verification; Software Reliability and Analysis Research; Real-Time Systems Scheduling; Parallel Computing and Optimization Techniques.
Последние работы
Все 63 в OpenAlex- Establishing Linux Driver Verification Process2010
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,…
- Predicate Analysis with BLAST 2.72012
- CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions2017
- Towards an Open Framework for C Verification Tools Benchmarking2012
Evaluating Key Elements of Error Traces in Static Software Verification2025 · аннотациясвернуть
Software verification is a resource-intensive process that combines automatic program analysis with manual results analysis. While recent advancements in verification techniques and cloud-based infrastructures have…
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…
- Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.2025
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Vadim Mutilin! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «Establishing Linux Driver Verification Process» (2010) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.