Андрианов Павел Сергеевич

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

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