Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // № 22, 2023
Гаранина Н.О., Сидорова Е.А. Метод верификации семейства мультиагентных систем разрешения неоднозначности // № 8, 2016
Гаранина Н.О. Точный тест планируемости для систем реального времени с абстрактным планировщиком // № 25, 2024
