Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // № 22, 2023
Зюбин В.Е., Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // № 8, 2016
Гаранина Н.О., Сидорова Е.А. Метод верификации семейства мультиагентных систем разрешения неоднозначности // № 8, 2016
Шилов Н.В. О необходимости онтологии для классификации и навигации по универсуму компьютерных языков // № 13, 2018
Идрисов Р.И., Одинцов С.П., Шилов Н.В. Онтологический подход к проблеме классификации компьютерных языков: состояние и перспективы // № 1, 2013
Гнатенко А.Р., Захаров В.А. Применение одного расширения CTL* для спецификации и верификации последовательных реагирующих систем // № 17, 2020
Шошмина И.В. Разработка формальных требований к поведению распределенных программных систем // № 8, 2016
Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // № 17, 2020
Гаранина Н.О. Точный тест планируемости для систем реального времени с абстрактным планировщиком // № 25, 2024
