Соловьев Михаил Александрович

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

1. Модель и декларативный язык спецификации бинарных форматов данных
   
   Труды ИСП РАН, 33:6 (2021),  27–50
2. Практическая абстрактная интерпретация бинарного кода
   
   Труды ИСП РАН, 32:6 (2020),  101–110
3. Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
   
   Труды ИСП РАН, 31:6 (2019),  65–88
4. Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода
   
   Труды ИСП РАН, 31:6 (2019),  33–64
5. О новом поколении промежуточных представлений, применяемых для анализа бинарного кода
   
   Труды ИСП РАН, 30:6 (2018),  39–68
6. Автоматизированная генерация декодеров машинных команд
   
   Труды ИСП РАН, 30:2 (2018),  65–80
7. Распараллеливание реализаций сугубо последовательных алгоритмов
   
   Труды ИСП РАН, 30:2 (2018),  25–44