|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
А. А. Васильев, В. С. Мутилин, “Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями”, Труды ИСП РАН, 31:6 (2019), 7–20  |
| 2. |
Е. М. Лаврищева, В. С. Мутилин, С. В. Козин, А. Г. Рыжов, “Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет”, Труды ИСП РАН, 31:1 (2019), 7–24  |
|
2017 |
| 3. |
E. M. Lavrischeva, V. S. Mutilin, A. G. Ryzhov, “Designing variability models for software, operating systems and their families”, Труды ИСП РАН, 29:5 (2017), 93–110 |
1
|
| 4. |
S. V. Kozin, V. S. Mutilin, “Static verification of Linux kernel configurations”, Труды ИСП РАН, 29:4 (2017), 217–230 |
| 5. |
М. У. Мандрыкин, В. С. Мутилин, “Обзор подходов к моделированию памяти в инструментах статической верификации”, Труды ИСП РАН, 29:1 (2017), 195–230 |
3
|
|
2016 |
| 6. |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов, “Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций”, Труды ИСП РАН, 28:6 (2016), 65–86 |
1
|
| 7. |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко, “Верификация и анализ вариабельных операционных систем”, Труды ИСП РАН, 28:3 (2016), 189–208 |
9
|
|
2015 |
| 8. |
М. У. Мандрыкин, В. С. Мутилин, “Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях”, Труды ИСП РАН, 27:5 (2015), 117–142 |
1
|
| 9. |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов, “Метод легковесного статического анализа для поиска состояний гонок”, Труды ИСП РАН, 27:5 (2015), 87–116 |
1
|
|
Обратная связь: