|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
V. P. Rudenchik, P. S. Andrianov, “Predicate abstraction refinement in thread-modular analysis”, Труды ИСП РАН, 35:3 (2023), 187–204  |
|
2019 |
| 2. |
П. С. Андрианов, “Анализ корректности синхронизации компонентов ядра операционных систем”, Труды ИСП РАН, 31:5 (2019), 203–232 |
|
2016 |
| 3. |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов, “Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций”, Труды ИСП РАН, 28:6 (2016), 65–86  |
1
|
|
2015 |
| 4. |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов, “Метод легковесного статического анализа для поиска состояний гонок”, Труды ИСП РАН, 27:5 (2015), 87–116 |
1
|
|
Обратная связь: