Инварианто-ориентированная оценка качества программного обеспечения космических систем/Под ред БМ Конорев, ЮС Манжос, ВС Харченко Под ред. Конорева БМ, Харченко ВС–Харьков: ГП Госцентркачества, Национальный …, 2009 | 13 | 2009 |
Концепция и принципы реализации интегрированной инструментальной системы для поддержки экспертизы и независимой верификации критического программного обеспечения БМ Конорев, ВС Харченко, ГН Чертков Х.: ГКЯРУ Сертцентр АСУ, 2003.–60 с, 2003 | 7 | 2003 |
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью БМ Конорев, ВВ Сергиенко, ВС Харченко, ГМ Жолткевич Радіоелектронні і комп’ютерні системи, 50-54, 2014 | 4 | 2014 |
ДОКАЗОВА НЕЗАЛЕЖНА ВЕРИФІКАЦІЯ ТА ПРОГНОЗУВАННЯ ПРИХОВАНИХ ДЕФЕКТІВ КРИТИЧНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НА БАЗІ ДИВЕРСНОГО ВИМІРЮВАННЯ ІНВАРІАНТІВ БМ Конорев, ВВ Сергієнко, ІБ Туркін Інженерія програмного забезпечення 5 (1), 5, 2011 | 3 | 2011 |
Доказательная независимая верификация и оценка скрытых дефектов критического программного обеспечения на основе диверсифицированного измерения инвариантов БМ Конорев, ВВ Сергиенко, ГН Чертков, ЮГ Алексеев Радіоелектронні і комп’ютерні системи, 192–199-192–199, 2009 | 3 | 2009 |
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения БМ Конорев, ЮГ Алексеев, ВВ Сергиенко, ВС Харченко, ГН Чертков Радіоелектронні і комп’ютерні системи, 162–170-162–170, 2007 | 3 | 2007 |
The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario K Borys, S Volodymyr, C Georgiy 2011 9th East-West Design & Test Symposium (EWDTS), 263-266, 2011 | 2 | 2011 |
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов ВВ Сергиенко, БМ Конорев, Л Новы, ГН Чертков Радіоелектронні і комп’ютерні системи, 161–167-161–167, 2008 | 2 | 2008 |
Estimating of critical software latent faults presence with required trustworthiness B Konorev, V Sergiienko, V Kharchenko, G Zholtkevych Reliability: Theory & Applications 9 (2 (33)), 2014 | 1 | 2014 |
Concept of critical software independent verification based on invariant-oriented model-checking approach BM Konorev, VV Sergiienko, GN Zholtkevych, GN Chertkov, YG Alexeev Радіоелектронні і комп’ютерні системи, 184–190-184–190, 2012 | | 2012 |
ДОКАЗАТЕЛЬНАЯ НЕЗАВИСИМАЯ ВЕРИФИКАЦИЯ И ПРОГНОЗИРОВАНИЕ СКРЫТЫХ ДЕФЕКТОВ КРИТИЧЕСКОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА БАЗЕ ДИВЕРСНОГО ИЗМЕРЕНИЯ ИНВАРИАНТОВ БМ Конорев, ВВ Сергієнко, ІБ Туркін Iнженерiя програмного забезпечення, 5-14, 2011 | | 2011 |
Модель инварианто-ориентированной оценки характеристик качества программного обеспечения БМ Конорев, ВВ Сергиенко, ЮГ Алексеев, ГН Чертков Радіоелектронні і комп’ютерні системи, 117–120-117–120, 2010 | | 2010 |
Сертификационный центр АСУ, Украина МОДЕЛЬ ИНВАРИАНТО-ОРИЕНТИРОВАННОЙ ОЦЕНКИ ХАРАКТЕРИСТИК КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ БМ КОНОРЕВ, ВВ СЕРГИЕНКО, ЮГ АЛЕКСЕЕВ, ГН ЧЕРТКОВ | | |