Ефимов Василий Юрьевич

Публикации в базе данных Math-Net.Ru

1. Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода
   
   Труды ИСП РАН, 31:6 (2019),  33–64
2. Автоматизированное тестирование фронтенда транслятора TCG для Qemu
   
   Труды ИСП РАН, 31:5 (2019),  7–24
3. Автоматизация разработки моделей устройств и вычислительных машин для QEMU
   
   Труды ИСП РАН, 29:6 (2017),  77–104
4. Об особенностях детерминированного воспроизведения при минимальном наборе устройств
   
   Труды ИСП РАН, 27:2 (2015),  65–92