Гаранина Наталья Олеговна Россия, Новосибирск Степень кандидат физико-математических наук Область научных интересов модальные логики логики знаний мультиагентные системы дескриптивные логики формальный анализ понятий распределенные системы распределенные алгоритмы проверка моделей символьная проверка моделей лингвистический анализ текста Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — научный сотрудник Адрес электронной почты garanina@iis.nsk.su
Гаранина Н.О. Верификация мультиагентной модели протокола скользящего окна // Системная информатика. — 2013. — № 1. — С. 35-48
Гаранина Н.О., Сидорова Е.А. Метод верификации семейства мультиагентных систем разрешения неоднозначности // Системная информатика. — 2016. — № 8. — С. 1-10
Гаранина Н.О., Зюбин В.Е., Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем // Системная информатика. — 2017. — № 9. — С. 111-132
Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // Системная информатика. — 2019. — № 14. — С. 19-30
Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — 2020. — № 17. — С. 33-42
Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // Системная информатика. — 2023. — № 22. — С. 21-30
Гаранина Н.О. Точный тест планируемости для систем реального времени с абстрактным планировщиком // Системная информатика. — 2024. — № 25. — С. 29-38
