| Подход UniTesK к разработке тестов ВВ Кулямин, АК Петренко, АС Косачев, ИБ Бурдонов Программирование 29 (6), 25-43, 2003 | 87 | 2003 |
| Операционные системы реального времени ИБ Бурдонов, АС Косачев, ВН Пономаренко М.: Институт системного программирования РАН, 2006 | 65 | 2006 |
| Неизбыточные алгоритмы обхода ориентированных графов. Детерминизированный случай ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование 29 (5), 59-69, 2003 | 62 | 2003 |
| Использование конечных автоматов для тестирования программ ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование 26 (2), 61-73, 2000 | 52 | 2000 |
| Теория соответствия для систем с блокировками и разрушением.« ИБ Бурдонов, АС Косачев, ВВ Кулямин Наука, 2008 | 48 | 2008 |
| Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 121-156, 2004 | 35 | 2004 |
| Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование 30 (1), 2-17, 2004 | 34 | 2004 |
| Формализация тестового эксперимента.« ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование 33 (5), 3-32, 2007 | 29 | 2007 |
| Обход неизвестного ориентированного графа конечным роботом ИБ Бурдонов Программирование 30 (4), 11-34, 2004 | 25 | 2004 |
| Обзор подходов к верификации распределенных систем ИБ Бурдонов, АС Косачев, ВН Пономаренко, ВЗ Шнитман ИСП РАН, препринт 16, 2003 | 25 | 2003 |
| Теория конформности для функционального тестирования программных систем на основе формальных моделей ИБ Бурдонов Диссертация на соискание учёной степени д. ф.-м. н., Москва, 2008 | 24 | 2008 |
| Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом ИБ Бурдонов Программирование 30 (6), 6-29, 2004 | 21 | 2004 |
| Полное тестирование с открытым состоянием ограниченно недетерминированных систем АСК И.Б. Бурдонов Программирование, 2009 | 20 | 2009 |
| Асинхронные автоматы: классификация и тестирование ИБ Бурдонов, АС Косачев, ВВ Кулямин Труды Института системного программирования РАН 4, 7-83, 2003 | 15 | 2003 |
| Параллельные вычисления на графе ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование, 3-20, 2015 | 14 | 2015 |
| Безопасность, верификация и теория конформности ИБ Бурдонов, АС Косачев, ВВ Кулямин Материалы Второй международной научной конференции по проблемам безопасности …, 2007 | 14 | 2007 |
| Формальные спецификации в технологиях обратной инженерии и верификации программ ИБ Бурдонов, АВ Демаков, АС Косачев, АВ Максимов, АК Петренко Труды Института системного программирования РАН 1, 39-54, 2000 | 14 | 2000 |
| Параллельное тестирование больших автоматных моделей ИБ Бурдонов, СГ Грошев, АВ Демаков, АС Камкин, АС Косачев, ... Вестник Нижегородского университета им. НИ Лобачевского, 187-193, 2011 | 12 | 2011 |
| Системы с приоритетами: конформность, тестирование, композиция ИБ Бурдонов, АС Косачев Программирование 35 (4), 24-40, 2009 | 11 | 2009 |
| Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования АС Косачев, ИБ Бурдонов Вестник Томского государственного университета. Управление, вычислительная …, 2011 | 10 | 2011 |
