Карнов Алексей Александрович

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

1. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.
   
   Труды ИСП РАН, 37:3 (2025),  277–290
2. Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации
   
   Труды ИСП РАН, 36:4 (2024),  169–182
3. Анализ регулярности матриц
   
   Труды ИСП РАН, 34:1 (2022),  101–122
4. Stochastic methods for analysis of complex hardware-software systems
   
   Труды ИСП РАН, 29:4 (2017),  191–202