Миронов Андрей Михайлович

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

1. Математическая модель и методы верификации криптографических протоколов
   
   Интеллектуальные системы. Теория и приложения, 26:2 (2022),  85–144
2. Процессный подход к моделированию и верификации параллельных программ
   
   Интеллектуальные системы. Теория и приложения, 26:1 (2022),  101–106
3. Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ
   
   Модел. и анализ информ. систем, 28:4 (2021),  394–412
4. Верификация функциональных программ методом построения диаграмм состояний
   
   Интеллектуальные системы. Теория и приложения, 24:1 (2020),  25–54
5. Доклады семинара «Теория автоматов»
   
   Интеллектуальные системы. Теория и приложения, 22:4 (2018),  137–142
6. Новая математическая модель протоколов аутентификации и основанный на ней метод верификации
   
   Интеллектуальные системы. Теория и приложения, 22:4 (2018),  79–98
7. Верификация программ методом инвариантов
   
   Интеллектуальные системы. Теория и приложения, 21:4 (2017),  31–49
8. Протоколы безопасности, часть 1
   
   Интеллектуальные системы. Теория и приложения, 21:3 (2017),  65–105
9. Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности
   
   Интеллектуальные системы. Теория и приложения, 20:3 (2016),  214–219
10. Основные понятия теории вероятностных автоматов (часть 2)
    
    Интеллектуальные системы. Теория и приложения, 20:2 (2016),  283–330
11. Основные понятия теории функциональных программ
    
    Интеллектуальные системы. Теория и приложения, 20:1 (2016),  79–180
12. Реализуемость вероятностных реакций конечными вероятностными автоматами
    
    Информ. и её примен., 9:3 (2015),  85–96
13. Основные понятия теории вероятностных автоматов
    
    Интеллектуальные системы. Теория и приложения, 19:4 (2015),  75–116
14. Алгоритм проверки ограниченности числа точек управления в экземпляре бизнес-процесса
    
    Пробл. управл., 2015, № 1,  30–37
15. Минимизация вероятностных моделей программ
    
    Фундамент. и прикл. матем., 19:1 (2014),  121–163
16. Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных систем
    
    Информ. и её примен., 8:4 (2014),  58–69
17. Метод доказательства наблюдаемой эквивалентности процессов с передачей сообщений
    
    Информ. и её примен., 8:2 (2014),  55–69
18. Математическая модель и методы верификации программных систем
    
    ИТиВС, 2005, № 1,  49–67
19. Нечёткие модальные логики
    
    Фундамент. и прикл. матем., 9:1 (2003),  201–230
20. Каноническая реализация частичного морфизма реакции в классе разложимых систем
    
    УМН, 47:1(283) (1992),  213–214
21. Универсальные разложимые системы
    
    Докл. АН СССР, 315:2 (1990),  302–308