Баар Т.., Шульте Х.. Safety Analysis of Longitunal Motion Controllers during Climb Flight // № 14, 2019
Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // № 15, 2019
Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // № 16, 2020
Шелехов В.И. Дедуктивная верификация и оптимизация предикатной программы конкатенации строк // № 12, 2018
Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // № 15, 2019
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // № 21, 2022
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // № 10, 2017
Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // № 18, 2021
Тумуров Э.Г., Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // № 16, 2020
