Научно-технический центр исследований и анализа безопасности инфраструктур

Публикации

    2005

    1. Надійність цифрових систем. Підручник / За ред. Харченка В.С., Мін. освіти  і науки України. – 2005.- 470с.
    2. Gorbenko A.V., Kharchenko V.S., Popov P., Romanovsky A. Dependable Composite Web Services with Components Upgraded Online.  Architecting Dependable Systems III, LNCS 3549 / R. de Lemos et al. (eds.). – Springer. – 2005. – P. 92-121.

    2006

    1. Харченко В.С. Гарантоспособность и гарантоспособные системы: элементы методологии // Радіоелектронні і комп’ютерні системи. – 2006. - №. 5. – С. 7?19.
    2. Gorbenko A.V., Kharchenko V.S., Tarasyuk O.M., Furmanov A.A. F(I)MEA-Technique of Web-services Analysis and Dependability Ensuring, LNCS 4157, Rigorous Development of Complex Fault-Tolerant Systems/ Butler M. et al. (eds.). – Springer. – 2006. – P.153-168.

    2007

    1. Гордеев А.А., Андрашов А.А., Степанов В.В., Волковой А.В. Инструментальная оценка качества программного обеспечения с использованием процедур засева дефектов // Інформаційні технології та комп’ютерна інженерія. – Вінниця: Вінницький національний технічний університет, 2007. – №2(9). – С. 34-38.
    2. Kharchenko V.S., Sklyar V.V., Volkovoy A.V. Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components //Proceedings of International Conference of Dependability of Computer Systems «DepCoS-RELCOMEX 2007″. – IEEE Computer Society, 2007. – P. 43-50.
    3. Волковой А.В., Дужий В.И. и др. Программное обеспечение для компьютерных систем и сетей. Разработка технического задания. Учебное пособие. – Х.: Нац. аерокосмічний ун-т «ХАІ». – 2007. – 101 с.
    4. Andrashov A., Gordeyev A., Kharchenko V., Sklyar V.  The static analysis of a program code procedure based on metrics profiling.// Radioelectronic and computer systems. – 2007. – № 8 (27). – pp. 184-188.
    5. Ястребенецкий М.А., Васильченко В.Н., Харченко В.С. и др. Информационно-управляющие системы АЭС: проблемы безопасности / Киев: Техника. – 2004. – 472 с. (переведена в США, NRC, 2007).
    6. Оценка и обеспечение качества программных средств космических систем / Под ред. Харченко В.С., Конорева Б.М. – Нац. косм. агентство Украины, Госцентркачества, Нац. аэрокосм. ун-т «ХАИ». – 2007. – 243 с.
    7. Харченко В.С. Гарантоздатність комп’ютерних систем: межа універсальності в контексті інформаційно-технічних станів // Радіоелектронні і комп’ютерні системи. – 2007. – № 8. – P. 7-14.
    8. Kharchenko V., Sklyar V., Odaruschenko O., Dependable Computing Systems for Supporting Transformation of the Force Information Infrastructure // Information & Security, 2007, vol.22. – P. 75-91.

    2008

    1. Gordeyev A., Kharchenko V., Andrashov A., Sklyar V., Konorev B., Boyarchuk A. Case-based Software Reliability Assessment by Fault Injection Unified Procedures//In.proc. of Software Engineering in East and South Europe  (SEESE’08), May 13, 2008 Leipzig, Germany: ACM, 2008.- с.1-8.
    2. Андрашов А.А.,Герасименко А.Д., Остроумов С.Б., Прохорова Ю.Н. Тестирование программно-аппаратных средств для плис-ориентированных критических приложений // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2008. – №6(33).- c.224-228.
    3. Отказобезопасные информационно-управляющие системы на программируемой логике / Под ред Харченко В.С., Скляра В.В. – Нац. аэрокосм. ун-т «ХАИ», НПП «Радий». – 2008. – 380 с.
    4. V. S. Kharchenko, V. V. Sklyar (edits), FPGA-based NPP Instrumentation and Control Systems: Development and Safety Assessment. – Kharkiv: RPC «Radiy», National Aerospace University «KhAI», State STC on Nuclear and Radiation Safety. – 2008. – 188 р.
    5. Харченко В.С., Ирадж Эльяси Комари. Комплексный анализ гарантоспособности информационно-управляющих систем и инфраструктур: FME(C)A-модели и информационная технология // Збірник наукових праць:Випуск 1(23).- К.: НАУ, 2008. – С. 92-97.
    6. Харченко В.С. Гарантоспособные системы из негаратноспособных ком-понент: от надежных кристаллов к эволюционирующим ИТ-инфраструктурам // Труды Международного радиоэлектронного форума «Прикладная радиоэлектроника. Состояние и перспективы развития», 22-24 октября 2008, Харьков, Украина. – С. VI-12 -21.
    7. V. Kharchenko, C. Phillips, P. Popov, O. Pomorova, A.Romanovsky, E. Troubitsyna,MASTAC: New Curriculum for Master and Doctoral Studies in Critical Software and Computing  // Proceeding of Software Engineering in East and South Europe (SEESE’08), May 13, 2008 Leipzig, Germany: ACM, 2008.- Р. 59-64.
    8. V. Kharchenko, V. Sklyar, A.Siora, V.Tokarev. Scalable Diversity-oriented Decisions and Technologies for Dependable SoPC-based Safety-Critical Computer Systems and Infrastructures // Proceedings of International IEEE Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008), Szklarska Por?ba, Poland, June 26-28, 2008. – P. 339-346.
    9. ДСТУ ІЕС 62138: 2008, «Атомні електростанції інформаційні та керуючі системи, важливі для безпеки програмні аспекти комп’ютерних систем, які виконують функції категорії В або С». / А. Андрашов, Н. Молчанова, А. Сиротюк, В. Скляр, В. Харченко, М. Ястребенецький, д-р техн. наук,  проф.// Київ, Держспоживстандарт України. – 2008.
    10. ДСТУ ІЕС 60880 (Категория А): 2008, «Атомні електростанції інформаційні та керуючі системи, важливі для безпеки програмні аспекти комп’ютерних систем, які виконують функції категорії А» / Н. Молчанова, В. Скляр, В. Харченко, М. Ястребенецький.// Київ, Держспоживстандарт України. – 2008.
    11. СОУ-Н НКАУ 0058:2008 «Галузева система управління якістю. Вимоги до функціональної безпекипрограмного забезпечення програмно-технічних комплексів критичного призначення» / Алексеев Ю.Г., Скляр В.В., Харченко В.С. и др.) // Національне космічне агенство України. – 2008.

    2009

    1. Сиора А.А., Краснобаев В.А., Харченко В.С. Отказоустойчивые системы с версионно-информационной избыточностью // Под ред. Харченко В.С. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2009. – 321 с.
    2. Конорев Б.М., Манжос Ю.С., Харченко В.С. и др. Инвариантно-ориентированная оценка качества программного обеспечения космических систем // Под ред.  Конорева Б.М., Харченко В.С. – Госцентркачества ГКЯРУ, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2009. – 224 с.
    3. Gorbenko A., Kharchenko V., Romanovsky A. Dependable Systems and Networks. Lectures // Kharchenko V. (edit.). – Department of Education and Science of Ukraine, National aerospace university named after N. Zhukovsky “KhAI”, 2009. – 232 p.
    4. Андрашов А.А., А.А. Гордеев, Е.И. Неткачева, Харченко В.С. Оценка качества и экспертиза программного обеспечения. Практикум // Под ред. Харченко В.С. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2009. – 153 с.
    5. Kharchenko V., Romanovsky A., Gorbenko A. Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability // In M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna (Eds.) “Methods, Models and Tools for Fault Tolerance”, LNCS 5454, Springer, 2009. – Р. 324-341.
    6. Харченко В.С. Научно-методические результаты в области развития гарантоспособных систем // Радіоелектронні та комп’ютерні системи, 2009. – №4. – С. 24-33.
    7. Elyasi Komari I., Kharchenko V., Romanovsky A., Babeshko E. Diversity and Security of Computing Systems: Points of Interconnection. Part 1: Introduction to Methodology // MASAUM Journal of Open Problems in Science and Engineering (MJOPSE).–MASAUM Network, 2009. – Vol. 1, Issue 1. – P. 28–32.
    8. Elyasi Komari I., Kharchenko V., Romanovsky A., Babeshko E. Diversity and Security of Computing Systems: Points of Interconnection. Part 2: Methodology and Case Study // MASAUM Journal of Open Problems in Science and Engineering (MJOPSE). – MASAUM Network, 2009. – Vol. 1, Issue 1. – P. 33-41.
    9. Yakymets N., Kharchenko V. Multi-version Digital Systems Evolved with Genetic Algorithms: Designing and Estimating Fault Tolerance // Informatics and Radioelectronics, IEEE, 2009, vol. 2, №2. – P. 55-62.
    10. Kharchenko V., Sklyar V. Scalable Diversity-oriented Decisions and Technologies for Dependable SoPC-based Safety-Critical Computer Systems and Infrastructures // International Journal of Critical Computer-Based Systems table of contents archive. – Vol. 1, Issue 1/2/3, 2010, – P. 24-40.
    11. O. Tarasyuk, V. Kharchenko, A.Gorbenko. Principles of Formal Methods Integration for Development Fault-Tolerant Systems: Event-B and FME(C)A // MASAUM Journal of Computing. – Vol. 1, Issue 3, 2009. – P. 423–430.
    12. V. Kharchenko, A. Siora, V. Sklyar. Design and Testing Technique of FPGA-Based Critical Systems // The Experience of Designing and Application of CAD Systems in Microelectronics. – Lviv-Polyana, Ukraine, 24-28 February, 2009. – P. 305-314.
    13. V. Kharchenko, E. Bakhmach, A. Siora. Diversity-scalable decisions for FPGA-based safety-critical I&C systems: From theory to implementation // Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009, on CD-ROM, American Nuclear Society, LaGrange Park, IL (2009). ISBN: 978-0-89448-067-6.
    14. M. Yastrebenetsky, V. Sklyar, Yu. Rozen, S. Vinogradskaya. Safety assessment of FPGA-based ESFAS for Kozloduy NPP // Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009, on CD-ROM, American Nuclear Society, LaGrange Park, IL (2009). ISBN: 978-0-89448-067-6.
    15. Харченко В.С. Гарантоздатні системи та багатоверсійні обчислення: аспекти еволюції // Радіоелектронні і комп’ютерні системи. – 2009. – №7.– C. 46–59.
    16. Скляр В.В. Элементы методологии анализа функциональной безопасности информационно-управляющих систем // Радіоелектронні і комп’ютерні системи. – 2009. – №6. – C.75–79.
    17. Андрашов А.А., Харченко В.С., Кременчуцкий Ю.А. Анализ моделей представления требований к программному обеспечению при их профилировании // Радіоелектронні і комп’ютерні системи. – 2009. – №7.– С. 186–191.
    18. Бабешко Е.В., Харченко В.С. Возможности совместного использования современных методов анализа отказов систем, важных для безопасности // Радіоелектронні і комп’ютерні системи. – 2009. – № 6. – С. 60?64.
    19. Харченко В.С., C. Phillips. Критический компьютинг в образовании, науке, индустрии: проект TEMPUS-MASTAC // Материалы МНПК «Современные информационные и электронные технологии», Одесса, Украина, 19-21мая, 2009. – С. 23.
    20. Сhen Y., Romanovsky A., Kharchenko V. etc. Benchmarking Dependability of a System Biology Application // Proc. 14th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS’2009), Potsdam (Germany), June, 2-4, 2009. – Р. 146-153.
    21. V. Kharchenko, V. Sklyar, A. Siora. Dependability of Safety-Critical Computer Systems through Component-Based Evolution // Proceedings of International Conference on Dependability of Computer systems “DepCoS – RELCOMEX 2009”. – Brunow, Poland. – 30 June?02 July, 2009. – P. 42-49.
    22. Elyasi Komari I., Kharchenko V., Babeshko E., Gorbenko A., Siora A. Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, Application // Proceedings of International Conference on Dependability of Computer systems “DepCoS – RELCOMEX 2009”. – Brunow, Poland. – 30 June?02 July, 2009. – P. 25-32.
    23. A. Siora, V. Sklyar, Yu. Rozen, S. Vinogradskaya, M. Yastrebenetsky. Licensing Principles of FPGA-Based NPP I&C Systems // Proceedings of 17th  International Conference on Nuclear Engineering “ICONE 17”. – Brussels, Belgium. – 12-16 July, 2009, on CD-ROM. ISBN: 978-0-7918-3852-5.
    24. I. Bakhmach, V. Kharchenko, A. Siora, V. Sklyar, V. Tokarev. Advanced I&C Systems for NPPS Based on FPGA Technology: European Experience // Proceedings of 17th  International Conference on Nuclear Engineering “ICONE 17”. – Brussels, Belgium. – 12-16 July, 2009, on CD-ROM. ISBN: 978-0-7918-3852-5.
    25. Волковой А.В., Дужий В.И., Старов А.А. Экспериментальные исследования показателей качества ПО многоверсионного проекта при помощи метрик различия // Міжнародна науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2009”: Тези доповідей. – Харків: Національний аерокосмічний університет ім. М.Є. Жуковського «Харківський авіаційний інститут», 2009. – Том 2. – С. 215.
    26. Андрашов А.А. Сценарии профилирования общих требований программного обеспечения информационно-управляющих систем критического применения // «Информационные технологии и информационная безопасность в науке, технике и образовании “Инфотех–2009”», Севастополь, 12-17 сентября 2009 г. – Севастополь: Изд-во СевНТУ, 2009. – С. 3–6.
    27. Харченко В.С. ИТ-инженерия безопасности: вызовы и решения // «Информационные технологии и информационная безопасность в науке, технике и образовании “Инфотех–2009”», Севастополь, 12-17 сентября 2009 г. – Севастополь: Изд-во СевНТУ, 2009. – С. 32-34.
    28. Сиора А.А., Харченко В.С. Многоверсионные системы и ПЛИС-технологии для критических приложений: модели и критерии выбора // «Информационные технологии и информационная безопасность в науке, технике и образовании “Инфотех–2009”», Севастополь, 12-17 сентября 2009 г. – Севастополь: Изд-во СевНТУ, 2009. – С. 77-79.
    29. Кulanov V., Kharchenko V., Perepelitsyn A. Parameterized IP Infrastructures for Fault-Tolerant FPGA-Based Systems: Development, Assessment, Case-Study // Proceedings of International IEEE EWDT Symposium, 2009, Moscow, September, 11-15, 2009. – P. 170-175.
    30. Фурманов А.А., Харченко В.С. Устойчивость многоверсионных сервис-ориентированных архитектур к уязвимостям // Вісник ХНТУСГ, 2009, №4. – С. 45-49.
    31. V. Kharchenko, A. Siora. Multi-Version Computing and FPGA-based Dependable Systems // 4-th International Conference “Advanced Computer Systems and Networks: Design and Application”, Lviv, Ukraine, November 9-11, 2009. – Р. 45-47.
    32. Kharchenko V.S., Sklyar V.V. FPGA-Based ESFAS for Kozloduy NPP RPC Radiy. Example B5 // Часть Руководства EPRI по применению FPGA в ИУС АЭС.
    33. Bakhmach I.S., Siora А.А., Tokarev V.I., Reshetitsky S.V., Bezsalyi V.Т., Kharchenko V.S., Sklyar V.V. Research and Production Corporation “Radiy”: Achievements and Perspectives // “Nuclear News” Magazine.

    2010

    1. O. Tarasyuk, A. Gorbenko, V. Kharchenko. Practical Aspects of Applying the Invariant-Based Approach to the Formal System Development and Verification // Monograph of System Dependability, vol.2. Dependability of Networks, Wroclaw, Oficyna Wydawnicza Politechnki Wroclawskiej. – 2010. – Pp. 129-141.
    2. A. Boyarchuk,  V. Kharchenko, O. Odarushchenko, Y. Ponochovny. Modeling of Dependable Web-Services: Conception and Technique // Monographs of System Dependability, vol.2.. Dependability of Networks, Wroclaw, Oficyna Wydawnicza Politechnki Wroclawskiej. – 2010. – Pp. 96-112.
    3. Sklyar V., Siora A., Herasimenko A., Panarin A. Development and Verification of Dependable Multiversion Systems of the Basis of IP-Cores // Monographs of System Dependability, vol.3. Technical Approach to Dependability, Wroclaw, Oficyna Wydawnicza Politechnki Wroclawskiej. – 2010. – Pp. 133-145.
    4. V. Kharchenko, K. Netkachova, V. Sklyar, A. Siora, A. Andrashov. Safety Case-Oriented Assessment of Critical Software: Several Principles and Elements of Techniques // Monographs of System Dependability, vol.2, Dependability of Networks, Wroclaw, Oficyna Wydawnicza Politechnki Wroclawskiej. – 2010. – Pp. 11-25.
    5. Харченко В.С., Одарущенко О.Н., Поночовный Ю.Л., Скляр В.В. Технологии высокой готовности для программно-технических комплексов космических систем // Монография. Серия «Безопасность космических систем и качество программного обеспечения». Харьков: ХАИ, 2010. – 342 с.
    6. Боярчук А.В., Поночовный Ю.Л., Харченко В.С. Разработка и исследование базовых моделей отказоустойчивых web-сервисов // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №5(46). – С. 42–49.
    7. Серков О.А., Харченко В.С., Чурюмов Г.І. Принципи побудови волоконно-оптичної інтелектуальної мережі // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №5(46). – С. 287–291.
    8. Дужий В.И., Старов А.А., Харченко В.С., Русин Д.О. Исследование сервисов спортивного программирования как многоверсионных проектов // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №6(47). – С. 25–31.
    9. Руденко А.А., Одарущенко О.Н., Харченко В.С. Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №6(47). – С.191–197.
    10. Коваленко Н.С., Харченко В.С. Модели автоматизированных систем периметровой охраны объектов с »пассивным» нарушителем // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №6(47). – С. 326–332.
    11. Харченко В.С. Аналіз проблем ІТ-інженерії безпеки:проект TEMPUS-SAFEGUARD // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №7(48). – С. 297–301.
    12. Харченко В., Зайцева Е. О деградирующих системах с деградирующими компонентами // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №7(48). – C. 264-267.
    13. Скляр В.В., Харченко В.С., Панарин А.С., Сандер И. Применение концепции Model-Based Testing для верификации систем на базе IP-ядер // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №. 5(46). – С. 237-241.
    14. Скляр В.В., Малохатько С.А. Оптимизация программного кода с использованием методов математического программирования // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №. 6(47). – С. 181-185.
    15. Скляр В.В. Анализ функциональной безопасности информационно-управляющих систем с использованием логических моделей ошибок контроля и управления // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №. 7(48). – С. 267-271.
    16. Марченко И.П., Педе Т.Ю., Андрашов А.А. Особенности информационного обеспечения автоматизированной системы сопровождения проведения квалификационных испытаний бортовой аппаратуры ракетно-космической техники // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №6(47).– С. 275-279.
    17. Дубницкий В.Ю., Андрашов А.А. Наукометрический анализ трудов конференции «Гарантоспособные системы, сервисы и технологии (dessert 2006-2010)» // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №7(48).– С. 72-76.
    18. Андрашов А.А. Таксономические модели профилирования требований информационно-управляющих систем критического применения // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №7(48).– С. 104-108.
    19. Коваленко А.А., Кучук Г.А., Можаев А.А. Построение экспоненциальных временных шкал при анализе очередей мультисервисных сетей // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – №7(48). – С. 72-76.
    20. Е.В. Бабешко, О.А. Ильяшенко, В.С. Харченко. Многоэтапный анализ надежности и безопасности информационно-управляющих систем // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – № 7 (48). – С. 277-281.
    21. Котко Е.А., Волковой А.В., Лебединский С.С. Процедура выбора средств для оценки соответствия программного обеспечения нормативным требованиям // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАІ». – 2010. – № 7 (48). – С. 127-133.
    22. Gorbenko, A.; Kharchenko, V.; Mamutov, S.; Tarasyuk, O.; Chen, Y.; Romanovsky, A. Real Distribution of Response Time Instability in Service-Oriented Architecture // Proc. 29th IEEE Symposium on Reliable Distributed Systems (SRDS’2010), Oct. 31 2010-Nov. 3 2010, Delhi, India. – Рр. 92-99.
    23. Е. Zaitseva, V. Levashenko, V. Kharchenko. Аnalysis of multi-state system reliability by logical differential calculus and decision diagrams // Proceedings of 2nd IC CAD of Digital Systems, Belarus, Minsk, September, 12-16, 2010. – Pp. 120-127.
    24. Сиора А.А., Харченко В.С. Модели многоверсионных систем и их обобщение для отказоустойчивых вычислений // Вісник Харківського національного університету № 890, выпуск 13, 2010. – С. 205-217.
    25. Kharchenko V., Bakhmach I., Siora A., Sklyar V., Tokarev V. Diversity-Oriented FPGA-Based NPP I&C Systems: Safety Assessment, Development, Implementation // Proceedings of 18th  International Conference on Nuclear Engineering “ICONE 18”. – Xi’an, China. – May 17-22, 2010, on CD-ROM.
    26. Скляр В.В., Малохатько С.А. Метод вибору моделей надійності і інформаційно-управляючих систем // Вісник Харківського національного технічного університету сільського господарства імені Петра Василенка. «Проблеми енергозабезпечення та енергозбереження в АПК України». – Харків: ХНТУСГ. – 2010. –  Вип. 102. – С. 68-70.
    27. Bakhmach E.S., Siora A.A., Tokarev V.I., Kharchenko V.S., Sklyar V.V., Andrashov A.A. Safety Critical FPGA-based NPP I&C Systems: Assessment, Development and Implementation // Proceedings of the 17th PBNC. –  Cancun, Mexico, October 24-30, 2010. – Pp. 1-14.
    28. Сиора А.А., Решетицкий С.В., Андрашов А.А. Модернизация информационно-управляющих систем АЭС с использованием технологии FPGA: европейский опыт // Проблемы обеспечения безопасности информационных и управляющих систем АЭС: сборник научных трудов / под ред. М.А. Ястребенецкого. – Одесса: Астропринт, 2010. – С. 20-27.
    29. Сиора А.А., Решетицкий С.В., Андрашов А.А. Модернизация информационно-управляющих систем АЭС с использованием технологии FPGA // Інформаційні інфраструктури та технології. – №1, 2010. – С. 48-52.
    30. A. Drozd, V. Kharchenko, V. Sklyar, V.Siora. Component-Based Safety-Oriented On-Line Testing of Digital Systems» // Proceedings of IEEE East-West Design & Test Symposium, St. Petersburg, Russia, September 17 – 20, 2010. – Pp. 52-57.
    31. V. Kharchenko, V. Sklyar, L. Reva, V. Dovgopolyi, V. Golovir, A. Andrashov. Verification of FPGA Electronic Designs for Nuclear Reactor Trip Systems: Test- and Invariant-Based Methods // Proceedings of IEEE East-West Design & Test Symposium, St. Petersburg, Russia, September 17 – 20, 2010. – Pp. 92-97.
    32. Сиора А.А., Решетицкий С.В., Харченко В.С., Скляр В.В., Андрашов А.А. Разработка информационных и управляющих систем АЭС с использованием технологии ПЛИС: европейский опыт // Ядерные технологи 21 века. Минск, Беларусь – в процессе издания.
    33. Шугаев А.Ю., Андрашов А.А. Разработка инструментального средства профилирования требований информационно-управляющих систем критического применения // Тезисы докладов МНТК ИКТМ 2010. – Х.:НАКУ «ХАИ», 2010. – С. 228.
    34. В.С. Харченко, Л.А. Рева, В.А. Головир, А.Ю. Шугаев, А.А. Андрашов. Верификация алгоритмов электронных проектов ПЛИС для систем аварийной защиты ядерных реакторов // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2010. – №4(16). – С. 45-50.
    35. Коваленко А.А., Кучук Г.А., Завизиступ Ю.Ю. Применение мультифрактальных спектров для моделирования трафика мультисервисных сетей // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2010. – №2(14). – С. 207-214.
    36. Коваленко А.А., Кучук Г.А., Можаев А.А. Оценка безопасности мультисервисной сети // Збірник наукових праць Харківського університету Повітряних Сил. – Х.:ХУПС, 2009. – Вип. 4(22). – С. 89-94.
    37. Коваленко А.А., Завизиступ Ю.Ю., Мохаммад А.С., Можаев М.А. Особенности функционирования протоколов в беспроводных сетях // Системы обработки информации. – Х.: ХУВС. – 2010. – №5(86). – С. 39-42.
    38. Kuchuk G.A., Mozhaev O.O., Kovalenko A.A. An Approach To Development Of Complex Metric For Multiservice Network Security Assessment // Statistical Methods Of Signal and Data Processing (SMSDP – 2010). Proc. Kiev, Ukraine, October 13-14, 2010. / NAU, RED, IEEE Ukraine section joint SP. – Pp. 158-160.
    39. V. Kharchenko, E. Babeshko, V. Sklyar, A. Siora, V. Tokarev. Approaches to NPP I&C Systems Dependability Assessment: Analysis and Implementation // Proceedings of 2010 International Congress on Advances in Nuclear Power Plants  (ICAPP ’10), San Diego, CA, USA, June 13 17, 2010, Paper 10171 (available on CD-ROM).
    40. V. Kharchenko, A. Siora, V. Sklyar, A. Volkoviy, V. Bezsaliy. Multi-Diversity versus Common Cause Failures: FPGA-Based Multi-Version NPP I&C Systems // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 1081-1092.
    41. Bakhmach I., Kharchenko V., Siora A., Sklyar V., Tokarev V. Design and Qualification of I&C Systems on the Basis of FPGA Technologies // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 916-924.
    42. Anqing Xing A., de Grosbois J., Archer P., Awwal A., Sklyar V. FPGA-Based Controller in CANDU® Nuclear Safety-Related Applications // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 1337-1344.
    43. Bakhmach I., Kharchenko V., Siora A., Sklyar V., Andrashov A. Experience of I&C Systems Modernization Using FPGA Technology // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 1345-1352.
    44. V. Kharchenko, E. Babeshko, V. Sklyar, A. Siora, V. Tokarev. Approaches to NPP I&C Systems Dependability Assessment: Analysis and Implementation // Journal of Energy and Power Engineering ISSN 1934-8975, 2010, USA, 9 p.
    45. Тарасюк О.М., Горбенко А.В., Харченко В.С. Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A // Математические машины и системы. 2010. – № 2. – С. 166-177.
    46. Kharchenko V., Orehov A., Кochkar D., Mezentsev A. Models and technique of videomonitoring of forest fires // Information and Management, 2010, №2, 12 p. (Slovakia)
    47. Горбенко А.В., Тарасюк О.М., Харченко В.С. Створення гарантоздатних сервіс-орієнтованих систем для розподіленої обробки інформації за умов невизначеності характеристик компонентів // Тр. Международной научно-технической конференции «Автоматизация: проблемы, идеи, решения». – С.: СевНТУ, 2010. – С. 71-73.

    2011

    1. Kharchenko V., Tagarev T. (edit.) Proceedings of the 1st International Workshop Critical Infrastructure Safety and Security. – National Aerospace University KhAI, 2011. – Vol.1, 2. – 451 p.
    2. Харченко В.С.(научн. ред.), Брежнев Е.В., Скляр В.В. Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения. –Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н. Е. Жуковского «ХАИ», 2011. – 641с.
    3. Ястребенецкий М.А. (научн. ред.), Розен Ю.В., Виноградская С.В., Джонсон Г., Елисеев В.В., Сиора А.А., Скляр В.В., Спектор Л.И., Харченко В.С. Системы управления и защиты ядерных реакторов. – К: Основа–Принт, 2011. – 768 с.
    4. Sklyar V., Kharchenko V., Siora A., Malokhatko S., Golovir V., Beliy Y. Reliability and Availability of FPGA-based Instrumentation and Control Systems //     Досвід роботи та застосування приладо – технологічних САПР в мікроелектроніці : Матеріали ХІ Міжнародної науково-технічної конференції CADSM 2011. – Львів: Видавництво Національного університету «Львівська політехніка», 2011. – C. 27-33.
    5. Andrashov A., Kharchenko V., Siora A., Sklyar V., Volkoviy A. Certification of FPGA-based Safety Instrumentation and Control Platform in Accordance with IEC 61508 // Proceeding of the first International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT 2011). Kirovograd, Ukraine, May 11-13 2011. Edited by V. Kharchenko, T. Tagarev. Kharkiv, National Aerospace University named after N. E. Zhukovsky «KhAI», 2011. – Vol. 1. – Pp. 148-152.
    6. Bakhmach I., Siora O., Kharchenko V., Sklyar V., Andrashov A. Research and Production Corporation Radiy activities within Canadian nuclear market // Proceeding of 32nd Annual Conference of the Canadian Nuclear Society, Niagara Falls, Ontario, Canada, 5-8 June, 2011, on CD-ROM, ISBN: 978-1-926773-04-9.
    7. Andrashov A., Kharchenko V., Sklyar V., Siora A. Innovative Approach to Implementation of FPGA-based NPP Instrumentation and Control Systems // Proceeding of ICI2011 Conference, Daejon, Korea, 21-25 August, 2011, on CD-ROM.
    8. Sklyar V., Bakhmach I., Kharchenko V., Andrashov A., Baranova O. Advanced Instrumentation and Control Systems for CANDU Refurbishment // Proceeding of 9th International Conference on CANDU® Maintenance, Toronto, Ontario, Canada, 04-06 December, 2011, on CD-ROM.
    9. Kharchenko V., Babeshko E., Sklyar V., Siora A., Tokarev V. Combined Implementation of Dependability Analysis Techniques for NPP I&C Systems Assessment // Journal of Energy and Power Engineering. – 2011. – Vol. 5, № 5 (42). – Pp. 411 – 418.
    10. Бабешко Е.В. Использование деревьев отказов для проверки марковских моделей надежности // Интегрированные компьютерные технологии в машиностроении ИКТМ 2011. Тезисы докладов. – Х.:ХАИ, 2011. – С. 190.
    11. Бабешко Е.В., Ильяшенко О.А. Choice and complexation of techniques and tools for assessment of NPP I&C systems safety // ICONE19-43484 at 19th International Conference on Nuclear Engineering, Chiba, Japan, May 16-19, 2011.
    12. Kharchenko V., Siora A., Sklyar V. Multiversion FPGA-based NPP I&C systems: evolution of safety // Nuclear Power Plants: Reliability, Human Factor/ N. Tsvetkov (ed.), Croatia, 2011. – Pp. 121-148.
    13. Дружинин Е.Е., Волковой А.В. Методика выбора системы управления контентом сайта // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2011. – №1(17). – С. 209-213.
    14. Andrashov A., Kharchenko V., Siora A., Sklyar V., Volkoviy A. Certification of FPGA-Based Safety Instrumentation and Control Platform in Accordance with IEC 61508 // Proceedings of the first International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT 2011). – Kharkiv, National Aerospace University named after N.E. Zhukovsky “KhAI”. – 2011. – Vol.1. – Pp. 148-152.
    15. Volkoviy A., Tikhov I., Smusenok S., Trubilko A. Web-Services-Based Mobile Application for Personal Safety // Proceedings of the first International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT 2011). – Kharkiv, National Aerospace University named after N.E. Zhukovsky “KhAI”. – 2011. – Vol.1. – Pp. 390-392.
    16. Volkoviy A., Boyarchuk A., Kharchenko V., Phillips C., Popov P. Education in area of business-critical information technologies: projects and decisions in European context // Актуальні проблеми розвитку електронної освіти в галузі економіки: Тези доповідей Першої Міжнародної науково-практичної конференції (14-16 травня 2011 р.). – Х.: ФОП Александрова К.М.; ВД «ІНЖЕК», 2011. – С. 121-123.
    17. Kharchenko V., Bakhmach E., Siora A., Duzhyi V., Volkoviy A. Assessment of multi-version NPP I&C systems safety: metric-probabilistic approach, technique and tool // Proceedings of 19th International Conference on Nuclear Engineering (ICONE19). – Chiba, Japan. – May 16-19, 2011), on CD-ROM – 8 p.
    18. Kharchenko V., Volkoviy A., Siora O., Duzhyi V. Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques // Dependable Computer Systems: Advances in Intelligent and Soft Computing, Springer 2011, Volume 97/2011. Pp. 87-100. DOI: 10.1007/978-3-642-21393-9_7
    19. Ахтямов М.С., Волковой А.В. Анализ надежности избыточных систем с учетом отказов по общей причине // Всеукраїнська науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2011”: Тези доповідей. – Харків: «ХАІ», 2011. – Том 2. – C. 188.
    20. Volkoviy A. Adaptation of software-based systems verification process for real production environment // Всеукраїнська науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2011”: Тези доповідей. – Харків: «ХАІ», 2011. – Том 2. – C. 192.
    21. Yakimets N., Kharchenko V. Reliable FPGA-Based Systems out of Unreliable Automata: Multi-Version Design Using Genetic Algorithms // Design of Digital Systems and Devices, Springer, Berlin, 2011. – Рp. 165-192.
    22. Мохаммад А.С., Завизиступ Ю.Ю., Коваленко А.А. Анализ факторов, влияющих на пропускную способность беспроводных сетей // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2011. – №2(18). – С. 260-264.
    23. Завизиступ Ю.Ю., Партыка С.А., Коваленко А.А. Балансировка загрузки каналов с применением хеш-функции   // Информатика, математическое моделирование, экономика: Сборник научных статей по итогам Международной научно-практической конференции (22 апреля 2011). – Том 2. – Смоленск: Смоленский филиал АНО ВПО ЦС РФ «Российский университет кооперации», 2011. – С. 151-155.
    24. Мохаммад А.С., Завизиступ Ю.Ю., Коваленко А.А. Метод перераспределения нагрузки базовой станции в технологии WIMAX    // Информатика, математическое моделирование, экономика: Сборник научных статей по итогам Международной научно-практической конференции (22 апреля 2011). – Том 2. – Смоленск: Смоленский филиал АНО ВПО ЦС РФ «Российский университет кооперации», 2011. – С. 155-157.
    25. Мохаммад А.С., Завизиступ Ю.Ю., Коваленко А.А. Метод перераспределения нагрузки базовой станции в технологии WIMAX    // Системи обробки інформації: Зб. наук. праць. – Х.: ХУПС, 2011. – Вип. 5(95). – С. 212-217.
    26. Кучук Г.А., Мохаммад А.С., Коваленко А.А. Метод уменьшения времени передачи данных в беспроводной сети // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2011. – №3(19). – С. 209-213.
    27. Кучук Г.А., Мохаммад А.С., Коваленко А.А. Метод перераспределения пропускной способности для уменьшения времени передачи данных в беспроводной сети // Збірник наукових праць Харківського університету Повітряних Сил. – Х.:ХУПС, 2011. – Вип. 3(29). – С. 140-145.
    28. Кучук Г.А., Мохаммад А.С., Коваленко А.А. Метод параметрического управления передачей данных для модификации транспортных протоколов беспроводных сетей // Сборник научных трудов «Системы обработки информации». – 2011. – Вып. 8(98). – С. 211-218.
    29. Brezhnev E., Kharchenko V. Dynamical and Hierarchical Criticality Matrixes-Based Analysis of Power Grid Safety // Proceeding of ANS PSA 2011 International Topical Meeting on Probabilistic Safety Assessment and Analysis, Wilmington, NC, March 13-17, 2011. – Pp. 123-134.
    30. Brezhnev E. Risk-analysis in critical informational control system based on computing with words’ models    // Proceeding of Digital Technologies 2010, 7th international workshop on digital technologies, circuits, systems  and signal processing, Zilina, Slovakia, November 11-12, 2011. – Pp.14-20.
    31. Brezhnev E.FMECA-based approach for multiple failures’ risk assessment in critical infrastructure // Proceedings of the first International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT 2011). – Kharkiv, National Aerospace University named after N.E.Zhukovsky “KhAI”. – 2011. – Vol.1. – Pp. 181-194.
    32. Kharchenko V., Brezhnev E. The approach for formalization of influences in critical infrastructure // Proceedings of the first International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT 2011). – Kharkiv, National Aerospace University named after N.E.Zhukovsky “KhAI”. – 2011. – Vol.1. – Pp. 216-226.
    33. Брежнев Е.В. Анализ подходов к оценке безопасности критических инфраструктур в условиях неопределенности // Системи обробки інформації: Зб. наук. праць. – Х.: ХУПС, 2011. – Вип. 2(92). – С. 277-281.
    34. Брежнев Е.В. FMECA анализ безопасности критических инфраструктур с использованием лингвистической аппроксимации // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2011. – №1(17). – С. 248-253.
    35. Брежнев Е.В. Разработка FMECA ориентированного подхода для оценки критичности отказов по общей причине в инфраструктурах // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2011. – №2(18). – С. 203-207.
    36. Брежнев Е.В. Риск-анализ множественных отказов в инфраструктурах аппроксимации // Системи обробки інформації: Зб. наук. праць. – Х.: ХУПС, 2011. – Вип. 3(93). – С. 234-239.
    37. Брежнев Е.В. Оценка инфраструктурной безопасности с использованием байесовских сетей доверия // Системи обробки інформації: Зб. наук. праць. – Х.: ХУПС, 2011. – Вип. 4(94). – С. 123-127.
    38. Boyarchuk A., Kharchenko V., Brezhnev E. The Smart Grid’s Self-Healing: Dynamical Hierarchical Criticality Matrixes-Based Analysis  Proceedings of The second International Conference on Innovative Smart Grid Technologies, Manchester, UK, Decеmber 5 – 7, 2011. ID 241.
    39. Breznhev E., Kharchenko V., Zaitseva E. Determination of I&C degradation indicators under uncertainty // Proceeding of Digital Technologies 2011, 8th international workshop on digital technologies, circuits, systems and signal processing, November 10-11, 2011, Zilina, Slovakia. – Pp. 23-30.
    40. Reva L., Kulanov V., Kharchenko V. Design Fault Injection-Based Technique and Tool for FPGA Projects Verification  // The 9th IEEE East-West Design & Test Symposium – EWDTS’2011: Conference Proceedings. Sevastopol, Ukraine, 2011. – Pp. 191-195.
    41. Gorbenko A., Tarasyuk O., Kharchenko V., Zasukha S. Safety of Rocket-Space Engineering and Reliability of Computer Control Systems and Software: 2000-2009 yrs // Proceedings of 1st Int. Workshop on Critical Infrastructure Safety and Security – CrISS-DESSERT’2011: conference proceedings. – Vol. 1. – Kirovograd (Ukraine), 2011. – Pp. 79-93.
    42. Chen Yu., Gorbenko A., Kharchenko V., Romanovsky A. Measuring and Dealing with the Uncertainty of the SOA Solutions  // Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. / Eds.: V. Cardellini, E. Casalicchio, K. Castelo Branco, et al. – Hershey (USA): IGI Global, 2011. – Chapter 12. – Pp. 265-294.
    43. Gorbenko A., Kharchenko V., Tarasyuk O., Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions // Software Engineering for Resilient Systems, LNCS 6968 / Ed.: E. Troubitsyna. – Berlin, Heidelberg (Germany): Springer-Verlag, 2011. – Pp. 145–155.
    44. Тарасюк О.М., Горбенко А.В., Харченко В.С. Насколько формальны формальные методы? // Математичні машини і системи. – 2011. – № 1. – С. 154-167.
    45. Горбенко А.В., Засуха С.А., Рубан В.И., Тарасюк О.М., Харченко В.С. Безопасность ракетно-космической техники и надежность компьютерных систем: 2000-е годы // Авиационно-космическая техника и технология. – 2011. – №1(78). – С. 9-20.
    46. Харченко В.С., Ирадж Эльяси Комари, Горбенко А.В. Оценка надежности информационно-управляющих систем на основе иерархических FME(C)A-таблиц и марковских цепей: модели, методика и информационная технология // Научные ведомости Белгородского государственного университета: История, политология, экономика, информатика. – 2011. – №19(114), Вып. 20/1. – С. 162-171.
    47. Gorbenko A., Kharchenko V., Alaa Mohammed Abdul-Hadi. Evolution of Dependability Concept: Moving Toward Resilient and Self-Evolvable IT Systems // Proceedings of 1st  Int. Workshop on Critical Infrastructure Safety and Security – CrISS-DESSERT’2011: conference proceedings. – Vol. 2. – Kirovograd (Ukraine), 2011. – Pp. 344-349.
    48. Boyarchuk A., Kharchenko V., Phillips C. National Network of Centers of Innovative Academia-Industry Handshaking: From Critical Computing to Safety Engineering // Proceedings of International Conference on Engineering Education : 21-26 August 2011 : Belfast, Northern Ireland, UK. 2011. – Pp. 82-85.

    2012

    1. Gorbenko A., Kharchenko V., Romanovsky A., Tarasyuk O. Dependability of Service-Orienting Computing: Time-Probabilistic Failure Modelling // Lecture Notes in Computer Science, LNCS7527, Springer-Verlag Berlin Heidelberg, 2012. – P.121–133.
    2. Kharchenko V.S., Andrashov A.A., Kovalenko А.А., Siora O.A., Sklyar V.V.Gap-and-IMECA-Based Assessment of I&C Systems Cyber Security        // Complex Systems and Dependability. – Springer-Verlag Berlin Heidelberg, 2012. – Advances in intelligent and soft computing. – P.149–164.
    3. Kharchenko V. (ed.) Critical Infrastructures Safety and Security.          Information and Security, Special Issue. Vol. 28. No 1-2. – 2012.
    4. Поморова О.В., Говорущенко Т.А., Мищенко В.О. CASE-оценка критических программных систем. В 3-х томах. Том 1. Качество            / Под ред. Харченко В.С. – Министерство образования и науки. Национальный аэрокосмический университет им. Н.Е. Жуковского “ХАИ”, 2012. – 214 c.
    5. Харченко В.С., Одарущенко О.Н., Маевский Д.А. и др. CASE-оценка критических программных систем. В 3-х томах. Том 2. Надежность          / Под ред. Харченко В.С. – Министерство образования и науки. Национальный аэрокосмический университет им. Н.Е. Жуковского “ХАИ”, 2012. – 298 c.
    6. Харченко В.С., Брежнев Е.В., Бабешко Е.В.и др. CASE-оценка критических программных систем. В 3-х томах. Том 3. Безопасность        / Под ред. Харченко В.С. – Министерство образования и науки. Национальный аэрокосмический университет им. Н.Е. Жуковского “ХАИ”, 2012. – 301 c.
    7. Дрозд А.В., Харченко В.С., Антощук С.Г.  Рабочее диагностирование безопасных ИУС /Под ред. Дрозда А.В., Харченко В.С. – Министерство образования и науки. Национальный аэрокосмический университет им. Н.Е. Жуковского “ХАИ”, 2012. – 598 c.
    8. Харченко В.С., Коваленко Н.С., Орехов А.А. и др. Информационные технологии для критических инфраструктур / Под ред. Скаткова А.В. –      Министерство образования и науки. Севастопольский национальный технический университет им. Н.Е. Жуковского “ХАИ”, 2012. – 329 c.
    9. Соколов Ю.Н., Харченко В.С., Илюшко В.М. и др. Применение компьютерных технологий для оценивания надежности и безопасности программно-технических комплексов / Под ред. Ю.Н. Соколова, В.С. Харченко. – Министерство образования и науки. Национальный аэрокосмический университет им. Н.Е. Жуковского “ХАИ”, 2012. – 462 c.
    10. Андрашов А.А., Неткачова Е.И. Анализ системных требований с использованием метода Safety Case. Тренинг / Под ред. Харченко В.С. –     Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012. – 70 с.
    11. Скляр В.В. Safety-case инструментальные средства и технологии их применения. Тренинг / Под ред. Харченко В.С. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012. – 50 с.
    12. Харченко В.С., Нестеренко С.А., Антощук С.Г., Дрозд М.А. Проектирование и диагностирование встроенных систем критического применения. Практикум / Под ред. Харченко В.С., Дрозда А.В.       – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012. – 80 с.
    13. Тарасюк О.М., Горбенко А.В. Технологии для ИТ-инженерии безопасности на основе формальных методов. Практикум       / Под ред. Харченко В.С. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012. – 60 с.
    14. Горбенко А.В., Тарасюк О.М. Сервис-ориентированные бизнес-критические системы и технологии. Практикум           / Под ред. Харченко В.С. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012. – 54 с.
    15. Поморова О.В., Медзатий Д.А., Иванчишин А.И. Safety-case методы и средства получения и анализа данных. Тренинг /Под ред. Харченко В.С. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012. – 156с.
    16. Харченко В.С., Брежнев Е.В., Ильяшенко О.А., Орехова А.А. Основы ИТ-инженерии безопасности критических инфраструктур. Практикум /Под ред. Харченко В.С., Брежнева Е.В. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2012. – 146с.
    17. Коваленко Н.С., Алаа Мохаммед Абдул-Хади, Харченко В.С.        Влияние интенсивности проведения профилактического техобслуживания на готовность автоматизированных систем охраны // Радіоелектронні і комп’ютерні системи. – 2012. – № 7(59). – С. 24–30.
    18. Zaitseva E., Levashenko V., Kostolny J., Kharchenko V. Multi-valued decision diagram in importance analysis // Радіоелектронні і комп’ютерні системи. – 2012. – № 6(58). – С. 95–124.
    19. Бородавка Н.П., Остроумов Б.В., Сидоренко Н.Ф., Тарасенко В.В., Харченко В.С., Яценко C.Я. Распределенная архитектура как средство повышения надежности и живучести бортовых информационно-управляющих систем // Радіоелектронні і комп’ютерні системи. – 2012. – № 6(58). – С. 139–147.
    20. Орехова А.А., Тилинский В.Р., Харченко В.С. Методика комплексной оценки безопасности человеко-машинного интерфейса ИУС критического применения // Радіоелектронні і комп’ютерні системи. – 2012. – № 5(57). – С.230–235.
    21. Одарущенко О.Н., Живило С.В., Харченко В.С., Одарущенко Е.Б. Анализ архитектур отказоустойчивых серверов для оценки их надежности // Радіоелектронні і комп’ютерні системи. – 2012. – № 7(59). – С.60–67.
    22. Поночовный Ю.Л., Засуха С.А., Харченко В.С. Исследование имитационных моделей готовности двухканальной информационно-управляющей системы космического аппарата // Радіоелектронні і комп’ютерні системи. – 2012. – № 7(59). – С.41–47.
    23. Перепелицын А.Е., Харченко В.С.Анализ применения ПЛИС технологий в медицинском оборудовании // Радіоелектронні і комп’ютерні системи. – 2012. – № 7(59). – С.125–130.
    24. Одарущенко О.Н., Руденко А.А., Харченко В.С. Метод оценивания надежности программных средств с учетом вторичных дефектов // Радіоелектронні і комп’ютерні системи. – 2012. – № 7(59). – С.294–300.
    25. Дрозд А.В., Харченко В.С., Антощук С.Г. и др.         Оценка контролепригодности цифровых компонентов встроенных систем критического применения // Радіоелектронні і комп’ютерні системи. – 2012. – № 6 (58). – С. 184–190.
    26. Харченко В.С., Засуха С.А., Поночовный Ю.Л. Методология оперативной верификации программного обеспечения для космических систем // Труды Научно-технической конференции с международным участием. Харьков, 24-27 апреля 2012 г. – Харьков: ХНУ им. В.Н. Каразина. 2012. – С.463–466.
    27. Засуха С.А., Поночовный Ю.Л., Харченко В.С. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев // Вісник Харківського національного університету. Серія «Математичне моделювання. Інформаційні технології. АСУ». – 2012. – №1015. – С.131–147.
    28. Drozd A., Kharchenko V., Antoshchuk S., Drozd M. Checkability of Safety-Critical I&C System Components in Normal and Emergency Modes // Journal of Information, Control and Management Systems, Vol. 10, 2012, No.1. – 8 p.
    29. Yanovsky M., Kharchenko V., Gorbenko A. Self-Adaptive Mobile Wireless Hotspot Zones // Proceedings of the 2012 10th IEEE East-West Design Test Symposium, Kharkiv, Ukraine. – P. 185–190.
    30. Reva L., Kharchenko V., Sklyar V., Konorev B. Invariant-Oriented Verification of HDL-Based Safety Critical Systems // Proceedings of the 2012 10th IEEE East-West Design Test Symposium, Kharkiv, Ukraine. – P. 123–128.
    31. Drozd A., Antoshchuk S., Drozd J., Lobachev M., Sulima J., Kharchenko V. The Use of Natural Resources for Increasing a Checkability of the Digital Components in Safety-Critical Systems // Proceedings of the 2012 10th IEEE East-West Design Test Symposium, Kharkiv, Ukraine. – P. 146–152.
    32. Kharchenko V. Critical Infrastructures Safety and Security. Trends in the Context of Information Technology Development (Editorial) // Information & Security: An International Journal. Vol. 28. No 1, 2012. – P. 5–10.
    33. Kharchenko V., Odarushchenko O., Odarushchenko V. Multi-Fragmental Availability Models of Critical Infrastructures with Variable Parameters of System Dependability // Information & Security: An International Journal. Vol. 28. No 2, 2012. – P. 245–258.
    34. Ivanchenko O., Kharchenko V., Skatkov A. Management of Critical Infrastructures Based on Technical Megastate // Information & Security: An International Journal. Vol. 28. No 1, 2012. – P.37–51.
    35. Kharchenko V., Boyarchuk A., Phillips C. TEMPUS-SAFEGUARD: National Safety IT-Engineering Network of Centres of Innovative Academia-Industry Handshaking // Information & Security: An International Journal. Vol. 28. No 2, 2012. – P.315–318.
    36. Kharchenko V., Brezhnev E. Formalizing Power Grid Influence to Assess the Safety of Nuclear Power Plants // Information & Security: An International Journal. Vol. 28. No 1, 2012. – P.65–77.
    37. Gorbenko A., Kharchenko V., Tarasyuk O., Romanovsky A. Intrusion-Avoidance via System Diversity // Information & Security: An International Journal. Vol. 28. No 1, 2012. – P.154–158.
    38. Gorbenko A., Kharchenko V., Tarasyuk O., Zasukha S. A Study of Orbital Carrier Rocket and Spacecraft Failures: 2000-2009 // Information & Security: An International Journal. Vol. 28. No 2, 2012. – P.179–198.
    39. Orekhova N., Tilinskiy V., V.Kharchenko V. Integrated HMI safety assessment methodology for safety-critical I&C systems // Theory of Reliability and Risks, 2012, № 3. – P.27–39.
    40. Kharchenko V., Popov P., Odarushchenko O., Zhadan V. Empirical evaluation of accuracy of mathematical software used for availability assessment of fault-tolerant computer systems // Theory of Reliability and Risks, 2012, № 3. – P.85–90.
    41. Vilkomir S., Kharchenko V. A Diversity Model for Multi-Version Safety-Critical I&C Systems // Proceedings of International Conference ESREL-PSAM11, Helsinki, 2012, June 25-29 (on CD) – 6 p.
    42. Brezhnev E., Kharchenko V., Golovanevskiy V. Power Grid Safety: Dynamical Criticality CWW-Based Analysis // Proceedings of International Conference ESREL-PSAM11, Helsinki, 2012, June 25-29 (on CD) – 6 p.
    43. Brezhnev E., Kharchenko V., Siora A., Sklyar V. The Cost-Effective Approach to Selection OF Diverse NPP RTS based on Clustering with Linguistic Relation // Proceedings of International Conference ESREL-PSAM11, Helsinki, 2012, June 25-29 (on CD) – 6 p.
    44. Kharchenko V. Dependable Multi-version Systems and Green Computing // Proceedings of International Conference Computer Systems and Network Technologies CSNT2012, Kyiv, Ukraine, June, 13-14, 2012. – P.130–131.
    45. Харченко В.С. Многоверсионные вычисления и развитие парадигмы фон Неймана // Тезисы докладов Международной научной конференции «Компьютерные науки и информационные технологии, посвященная 80-летию А. М. Богомолова», КНИТ, Саратов, Россия, 1 – 4 июля 2012. – С.12.
    46. Kharchenko V., Kochkar D., Orekhov O. Monitoring Network-Based Infrastructure for Forest Fire Detection // Modelling, Monitoring and Management of Forest Fires III. – Great Britain, 2012. – P. 91–100.
    47. Gorbenko A., Kharchenko V., Romanovsky A., Mamutov S., Tarasyuk O. Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time // Proceedings of European Dependable Computing Conference, EDCC2012, Timshoara, Romania, May, 6-10, 2012. – IEEE Computer Society Washington, 2012, DC, USA. – P. 185–190.
    48. Харченко В.С., Горбенко А.В., Белобородов А.С. Защита Web-приложений, развернутых в Cloud-среде, от информационных вторжений // Семинар-тренинг компании DataArt_НТУУ «КПИ», Киев, 17 декабря 2012 г. – [Эл. ресурс] – Режим доступа: http://transpenetration3.rssing.com/chan-3465884/all_p12.html
    49. Volkoviy A., Tikhov I. Use of mobile applications in security and safety systems // Information & Security. An International Journal. Vol. 28. No. 1, 2012. – P. 146–153.
    50. Kharchenko V.S., Brezhnev E.V., Volkoviy A.V., Sklyar V.V. Harmonization of requirements to diversity and safety assessment of multi-version NPP I&C systems // Transactions of TopSafe-2012 ENS Conference, European Nuclear Society, 2012. – P. 80–84.
    51. Kharchenko V.S., Siora O.A., Sklyar V.V., Volkoviy A.V. Defence-in-Depth and Diversity analysis of FPGA-based NPP I&C Systems: Conception, Technique and Tool // Proceedings of 20th International Conference on Nuclear Engineering – ICONE20-POWER2012 (on CD) – 9 p.
    52. Кучук Г.А., Коваленко А.А. Особенности функционирования беспроводных компонент в телекоммуникациионных сетях // Сб. тез. доповідей по матер. 8-ї НТК Харківського університету повітряних сил ім. Івана Кожедуба «Новітні технології – для захисту повітряного простору». – Х.: ХУ ПС. – 2012. – 18-19 квітня 2012. – С. 141.
    53. Завизіступ Ю.Ю., Кучук Г.А., Коваленко А.А. Метод перераспределения нагрузки базовой станции в технологии WIMAX // Информатика, математическое моделирование, экономика. Материалы второй Международной научно-практической конференции. Сб. научных статей. – Т.2. – Смоленск, 2012. – 20 апреля 2012 г. – С. 3–10.
    54. Kharchenko V.S., Siora O.A., Kovalenko А.А. GAP- and HTT-based analysis of safety-critical systems // Радіоелектронні і комп’ютерні системи. – 2012. – № 7(59). – С. 198–204.
    55. Kharchenko V.S., Siora O.A., Andrashov A.A., Kovalenko А.А. Cyber Security of FPGA-Based NPP I&C Systems: Challenges and Solutions // Proceeding of the 8th International Conference on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2012). – San Diego, California, USA. – July 22-26, 2012. – Pp. 1338–1349.
    56. Kharchenko V.S., Illiashenko O.A., Kovalenko А.А. Cyber Security Lifecycle and Assessment Technique for FPGA-based I&C Systems // Proceeding of IEEE East-West Design & Test Symposium (EWDTS’2012). – Kharkov, Ukraine. – September 14-17, 2012. – Pp. 432–436.
    57. Завизиступ Ю.Ю., Мохаммад А.С., Коваленко А.А. Подходы к управлению трафиком в телекоммуникационных сетях // Інформаційні проблеми теорії акустичних, радіоелектронних і телекомунікаційних систем (IPST-2012). Матеріали першої міжнародної науково-технічної конференції; в збірн. наук. праць «Системи обробки інформації». – Х.: ХУ ПС, 2012. – Вип. 6(104). – С. 168.
    58. Брежнев Е.В. Прогнозирование оценок безопасности энергосистем с использованием байесовских сетей доверия // Системи обробки інформації. – Випуск 2 (100). – Харків, 2012. – С. 276–279.
    59. Харченко В.С., Брежнев Е.В. Анализ тенденций развития ИУС, важных для безопасности  // Системи управління, навігації та зв’язку. – Випуск 4(20). – Київ, 2011. – С. 263–268.
    60. Харченко В.С., Брежнев Е.В. Нечеткая оценка многоуровневой деградации критических информационного управляющих систем в условиях неопределенности // Системи управління, навігації та зв’язку. – Випуск 1(21). – Київ, 2012. – С. 218–221.
    61. Kharchenko V.S., Brezhnev E.V. Grid safety analysis based on linguistic Bayesian belief network // Радіоелектронні і комп’ютерні системи. – Випуск 7(59). – Харків, 2012. – С. 212–218.
    62. Brezhnev E.V. An Approach for Assessing Risk of Common Cause Failures in Critical Infrastructures // Information & Security. An International Journal, Volume 28, Number 2, 2012. – Рp. 199–210.
    63. Брежнев Е.В. Метод интеграции результатов априорного и апостериорного анализа безопасности критических инфраструктур // Системи управління, навігації та зв’язку. – Випуск 6(41). – Київ, 2012.
    64. Брежнев Е.В. Метод выбора рациональной стратегии диверсности ИУС АЭС в условиях неопределенности // Системи обробки інформації. – Випуск 4 (94). – Харків, 2012.
    65. Брежнев Е.В. Метод диверсификации оценок безопасности критических инфраструктур в условиях неопределенности // Системи управління, навігації та зв’язку. – Випуск 3(12). – Київ, 2012.
    66. Babeshko E., Illiashenko O. Choosing FMECA-Based Techniques and Tools for Safety Analysis of Critical Systems // Information & Security: An International Journal 28. – no. 2 (2012). – P. 275–285.

    2013

    1. Gorbenko A., Romanovsky A., Kharchenko V. (edits). Software Engineering for Resilient Systems // Lecture Notes in Computer Science, Vol. 8166. – Springer, Germany, 2013. – 199 p.
    2. Харченко В.С., Горбенко А.В., Белобородов А.Ю. и др. Технологии Web-, Grid- и Cloud для гарантоспособных ИТ-инфраструктур. / Харченко В.С., Горбенко А.В. (редакторы). – МОН Украины, ХАИ, 2013. – 828с.
    3. Brezhnev E., Kharchenko V., Sklyar V., Boyarchuk A. et al. Critical infrastructures safety assessment combining fuzzy models and Bayesian Belief Network under uncertainties. / Zamojski W (edit). – New Results in Dependability and Computer Systems: Dependability and complex systems.– Advances in Intelligent Systems and Computing, Vol. 224. – Springer, Germany, 2013. – 554 p.
    4. Харченко В.С., Скляр В.В., Брежнев Е.В. Безопасность информационно-управляющих систем и инфраструктур. – Издательство LAP, Германия, 2013. – 458 с.
    5. Соколов Ю.Н., Харченко В.С., Поночовный Ю.Л. и др. Применение компьютерных технологий для оценивания надежности и безопасности ПТК / Соколов Ю.Н., Харченко В.С. (редакторы). – МОН Украины, ХАИ, 2013. – 423с.
    6. Брежнев Е.В., Ильяшенко О.А., Орехова А.А., Харченко В.С. Основы ИТ-инженерии безопасности. Практикум           / Одарущенко О.Н., Харченко В.С. (редакторы).  – МОН Украины, ХАИ, 2013. – 189с.
    7. Одарущенко О.Н., Бутенко В.О., Харченко В.С.и др. Системы и технологии высокой готовности. Лекции и практикум / Одарущенко О.Н., Харченко В.С. (редакторы). – МОН Украины, ХАИ, 2013. – 201с.
    8. Скатков А.В., Мащенко Е.Н., Воронин Д.Ю. и др. Распределенные критические ИТ-инфраструктуры. Практикум / Скатков А.В., Харченко В.С. (редакторы).       – МОН Украины, ХАИ, 2013. – 189с.
    9. Дрозд А.В., Харченко В.С. и др. Тестирование и разработка безопасных ИУС. Практикум / Дрозд А.В., Харченко В.С. (редакторы).      – МОН Украины, ХАИ, 2013. – 154с.
    10. Волковой А.В. и др. Масштабируемые многоверсионные технологии для критических приложений. Лекции и практикум      / Харченко В.С. (редактор). – МОН Украины, ХАИ, 2013. – 202с.
    11. Скляр В.В. Качество программно-технических комплексов. Процессный подход. Лекции и практикум      /Харченко В.С. (редактор).  – МОН Украины, ХАИ, 2013. – 202с.
    12. Поморова О.В., Медзатый Д.Н., Иванчишин Д.А. Safety Case методы и средства получения и анализа данных. Тренинг             / Харченко В.С. (редактор). – МОН Украины, ХАИ, 2013. – 158с.
    13. Дрозд А.В., Харченко В.С., Антощук С.Г., Дрозд М.А. Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа «замыкание» // Радіоелектронні і комп’ютерні системи, 2013, № 5 (64). – С.142-147.
    14. Ильяшенко О.А., Харченко В.С., Ерван Г. Информационная безопасность индустриальных ИУС на FPGA: нормативная база и SIS подход // Радіоелектронні і комп’ютерні системи, 2013, № 3 (62). – С.86-91.
    15. Алаа Мохаммед Абдул-Хади, Харченко В.С., Поночовный Ю.Л. Разработка базовых марковских моделей для исследования готовности коммерческих веб-сервисов // Радіоелектронні і комп’ютерні системи, 2013, № 5 (64). – С.186-191.
    16. Иванченко О.В., Харченко В.С., Бирюков Д.Ю. Полумарковская модель протекания аварии критической инфраструктуры // Радіоелектронні і комп’ютерні системи, 2013, № 5 (64). – С.45-51.
    17. Kharchenko V.S., Butenko V.О., Odarushchenko O.N. Metric-based analysis of markov models for computer system availability assessment      // Радіоелектронні і комп’ютерні системи, 2013, № 5 (64). – С.214-221.
    18. Тюрин C.Ф., Харченко В.С. «Зелёная» программируемая логика: концепция и элементы реализации для FPGA проектов // Системи обробки інформації: збірник наукових праць. – Харків, 2013. Вип. 6(113). – С. 214-221.
    19. Kharchenko V., Brezhnev E., Boyarchuk A. Power Grid Safety Assessment Based on Linguistic Casual Network Under Uncertainties // Proceedings of The Third International Conference on Performance, Safety and Robustness in Complex Systems and Applications (PESARO 2013), ISBN:  978-1-61208-268-4, pp.22-27.
    20. Gorbenko A., Kharchenko V., Tarasyuk O., Alaa Mohammed Abdul-Hadi. Estimating Throughput Unfairness in a Mixed Data Rate Wi-Fi Environment // Proceedings of Digital Technologies (DT’2013), Zilina (Slovak Republic), 29-31 May 2013, pp. 181–184.
    21. Yanovsky M., Kharchenko V., Gorbenko A.       Adaptive WiFi systems: principles of design and application support // Proceeding of Digital Technologies (DT’2013), Zilina (Slovak Republic), 29-31 May 2013, pp. 203–206.
    22. Kharchenko V., Gorbenko A., Sklyar V., Phillips C. Green computing and communications in critical application domains: Challenges and solutions // Proceeding of Digital Technologies (DT’2013), Zilina (Slovak Republic), 29-31 May 2013, pp. 191–197.
    23. Kharchenko V., Illiashenko O., Achtyamov M. Security Assessment and Green Issues of FPGA-Based Information and Control Systems // Proceeding of IEEE Conference Digital Technologies, 2013, May 28-31, Zilina, Slovakia. – pp. 223-227.
    24. Starov O., Kharchenko  V., Khokhlenkov N., Sklyar V. Start-up Company and Spin-off Advanced Partnership via Web-Based Networking // Proceeding of Conference on University Industry Interaction, 2013, May 26-29, Amsterdam, Netherland. – 11p.
    25. Starov O., Vilkomir S., Kharchenko V. Cloud Testing for Mobile Software Systems: Concept and Prototyping // Proceedings of the 8th International Conference on Software Engineering and Applications (ICSOFT-EA 2013), July 29-31, 2013, Reykjavik, Iceland – pp.124-131.
    26. Kharchenko  V., Sklyar V., Odarushchenko O., Ivasuyk, A. Fault-injection testing: FIT-ability, optimal procedure and tool for FPGA-based systems SIL certification // Proceeding of EWDT Symposium, 2013, September 26-30, Rostov-Don, Russia. – 6p.
    27. Kharchenko  V., Duzhyi V., Sklyar V., Volkoviy A. Diversity assessment of multi-version NPP I&C Systems: NUREG7007 and CLB-BASED techniques // Proceeding of EWDT Symposium, 2013, September 26-30, Rostov-Don, Russia. – 6p.
    28. Kharchenko  V., Gorbenko A. Evolution of von Neumann’s paradigm: Dependable and green computing // Proceeding of EWDT Symposium, 2013, September 26-30, Rostov-Don, Russia. – 6p.
    29. Tyurin S. , Kharchenko  V. Green logic // Proceeding of EWDT Symposium, 2013, September 26-30, Rostov-Don, Russia. – 4p.
    30. Kharchenko  V., Boyarchuk A., Brezhnev E., Gorbenko A., Phillips C., Sklyar V. Green Information Technologies: The Trends in Research, Development and Education Domains // Proceeding of ACSN Conference, 2013, September 16-19, Lviv, Ukraine. – 4p.
    31. Харченко В.С. Безопасность ИУС и «зеленые» информационные технологии в контексте парадигмы Фон-Неймана      // Материалы международной НТК «Информационные технологии и информационная безопасность в науке, технике и образовании», ИнфоТех2013, Севастополь, 09-13 сентября 2013, Украина. – С.64-66.
    32. Иванченко О.В., Харченко В.С. CASE-оценка безопасности критических инфраструктур на основе применения аппарата моделирования полумарковских процессов // Материалы международной НТК «Информационные технологии и информационная безопасность в науке, технике и образовании», ИнфоТех2013, 09-13 сентября 2013, Севастополь, Украина. – С.41-43.
    33. Иванченко О.В., Харченко В.С. Причинно-следственная декомпозиция аварий и инцидентов критических инфраструктур // Материалы Всероссийской НТК с международным участием «Проблемы критических ситуаций в точной механике и управлении», 25-27 сентября 2013, Саратов, ИПТМУ РАН, Россия. – С.41-45.
    34. Брежнев Е.В., Харченко В.С. Совместный риск-анализ безопасности АЭС и энергосистем с использованием динамических байесовских сетей доверия в условиях неопределенности // Материалы Всероссийской НТК с международным участием «Проблемы критических ситуаций в точной механике и управлении», 25-27 сентября 2013, Саратов, ИПТМУ РАН, Россия. – С.20-24.
    35. Бутенко В.О., Одарущенко О.Н., Харченко В.С. Метрико-ориентированный анализ марковских моделей для систем высокой готовности // Материалы Всероссийской НТК с международным участием «Проблемы критических ситуаций в точной механике и управлении», 25-27 сентября 2013, Саратов, ИПТМУ РАН, Россия. – С.69-72.
    36. Харченко В.С. Проблемы теории и практики гарантоспособных ИТ-систем. Предпосылки развития // Материалы Всероссийской НТК с международным участием «Проблемы критических ситуаций в точной механике и управлении», 25-27 сентября 2013, Саратов, ИПТМУ РАН, Россия. – С.81-85.
    37. Харченко В.С. Проблемы теории и практики гарантоспособных ИТ-систем. Фактор двойственности // Материалы Всероссийской НТК с международным участием «Проблемы критических ситуаций в точной механике и управлении», 25-27 сентября 2013, Саратов, ИПТМУ РАН, Россия. – С.85-89.
    38. Орехова А.А., Харченко В.С., Брежнев Е.В., Бутенко В.О. Разработка марковских моделей готовности информационных и управляющих систем с учетом характеристик человеко-машинного интерфейса // Наука і техніка Повітряних сил збройних сил України.  – 2013. – № 1 (10) . – С. 143 – 147.
    39. Kharchenko V., Brezhnev E.,  Sklyar V. Green information technologies: paradigm and cooperation in research, development and education domains // Proceeding of еhe 8th International Green Energy Conference, 17-19 June, 2013, Kiev, Ukraine. – P. 216-219.
    40. Брежнев Е.В. Подход к многофакторной оценке безопасности критической инфраструктуры с использованием динамических байесовских сетей доверия // Наука і техніка ПС ЗСУ. – Выпуск 3(12)– Харків, 2013. – C.202-206.
    41. Брежнев Е.В. Разработка гибридного метода оценки безопасности инфраструктур и объектов критического применения в условиях неопределенности // Збірник наукових праць Харківського університету ПС. – Випуск 3 (36). – Харків, 2013. – С. 210-216.
    42. Брежнев Е.В. Разработка подхода к обеспечению инфраструктурной безопасности с учетом рисков аварий по общей причине // Наука і техніка ПС ЗСУ. – Выпуск 4 (13) – Харків, 2013. – C.123 – 128.
    43. Брежнев Е.В., Решетицкий С.В. Технологическая стратегия ПАО НПП Радий по повышению безопасности атомных станций // Материалы 8й Международной научно-технической конференции «Обеспечение безопасности АЭС с ВВЭР», 28-31 мая, 2013, Подольск, Россия. – С.12.
    44. Brezhnev E. R&D support of Radiy FPGA-based I&C Platform and systems // Proceedings of 2nd China (International) I&C technology conference in Nuclear Power Field, 16-19, April,2013, Xian, China. – P.7.
    45. Brezhnev E., Kharchenko V., Boyarchuk A. The approach for cyber common cause failures risk assessment of smart grid substation with a critical load // Proceedings of 22nd SRA-E Conference Safe societies. Coping with complexity and major risk, Trondheim, Norway, 17-19 June 2013. – P.126-127.
    46. Kharchenko  V., Butenko V., Odarushchenko O., Popov P. Mathematical software for modeling the computer systems described by stiff Markov chains: an empirical evaluation and choosing a solution // Proceeding of International Conference ISTERI, 2013, June 19-22, Kherson, Ukraine. – 12p.
    47. Коваленко А.А. Анализ функционирования беспроводных компонентов в компьютерных сетях критического применения         // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління. Матеріали третьої міжнародної НТК. – Полтава: ПНТУ; Білгород: НДУ «БілДУ»; Харків: ДП «ХНДІ ТМ»; Киів: НТУ; Кіровоград: КЛА НАУ, 2013. – 11-12 квітня 2013. – С. 47.
    48. Коваленко А.А., Мохаммад А.С. Анализ функционирования протоколов транспортного уровня беспроводных сетей // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління. Матеріали третьої міжнародної НТК. – Полтава: ПНТУ; Білгород: НДУ «БілДУ»; Харків: ДП «ХНДІ ТМ»; Киів: НТУ; Кіровоград: КЛА НАУ, 2013. – 11-12 квітня 2013. – С. 48.
    49. Коваленко А.А., Дейнеко Ж.В., Завизіступ Ю.Ю. Метод оценивания показателя Херста на основе дискретного вейвлет-преобразования // Информатика, математическое моделирование, экономика. Материалы второй Международной научно-практической конференции. Сб. научных статей. – Т.1. – Смоленск, 2013. – 24-26 квітня 2013 р. – С. 115-120.
    50. Коваленко А.А., Дейнеко Ж.В., Завизіступ Ю.Ю., Кучук Г.А. Метод предиктивного управления интенсивностью трафика в беспроводных сетях на основе анализа показателя Херста   // Информатика, математическое моделирование, экономика. Материалы второй Международной научно-практической конференции. Сб. научных статей. – Т.1. – Смоленск, 2013. – 24-26 квітня 2013 р. – С. 110-115.
    51. Скляр В.В., Харченко В.С., Коваленко А.А. SIL3-certification of FPGA-based I&C systems: lifecycle processes and documents // Proceeding of 3rd International Workshop “Critical Infrastructure Safety and Security” (CrISS 2013). – Sevastopol, Ukraine. – May 23-26, 2013. – P. 13.
    52. Ілляшенко О.О., Харченко В.С., Коваленко А.А. Gap-IMECA technique and tool for assessing of FPGA-based I&C systems cybersecurity // Proceeding of 3rd International Workshop “Critical Infrastructure Safety and Security” (CrISS 2013). – Sevastopol, Ukraine. – May 23-26, 2013. – P. 14.
    53. Андрашов А.О., Безсалий В.Т., Сіора О.А., Скляр В.В., Коваленко А.А. Implementation of Digital Instrumentation and Control Systems for Nuclear Power Plant using FPGA-technology: Benefits and Solutions // Proceeding of LAS-ANS Symposium on “Siting of new nuclear power and irradiated fuel facilities”. – Buenos Aires, Argentine. – June 24-28, 2013.
    54. Коваленко А.А., Дейнеко Ж.В., Завизіступ Ю.Ю., Кучук Г.А.        Предиктивное управление интенсивностью трафика в беспроводных сетях передачи данных // Системи обробки інформації. – Х.: ХУ ПС, 2013. – Вип. 4(111). – С. 123-129.
    55. Коваленко А.А., Завизіступ Ю.Ю., Кучук Г.А. Выбор шкалы отсчета при краткосрочном прогнозировании трафика беспроводных сетей поддержки геоинформационных систем // Математическое моделирование процессов в экономике и управлении инновационными процессами (ММП-2013). Материалы Международной научно-практической конференции. Тезисы докладов. – Алушта, 2013. – 9-15 вересня 2013 р. – С. 114-115.
    56. Коваленко А.А. Модели для анализа поведения короткоживущих потоков протоколом ТСР в беспроводных сетях // Інформаційні проблеми теорії акустичних, радіоелектронних і телекомунікаційних систем (IPST-2013). Матеріали другої міжнародної науково-технічної конференції. – С. 33-34.
    57. Коваленко А.А., Завизіступ Ю.Ю., Осьмак В.Ю.       Модели магистрального трафика мультисервисных сетей передачи данных // Проблеми інформатизації. Матеріали першої міжнародної НТК. – Черкаси: ЧДТУ; Київ: ДУТ; Тольятті: ТДУ; Полтава: ПНТУ, 2013. – 19-20 грудня 2013. – С. 28-29.
    58. Коваленко А.А., Свиридов А.С., Сосунов С.О. Анализ методов моделирования сетевых ресурсов с целью формирования оптимальной полосы пропускания    // Проблеми інформатизації. Матеріали першої міжнародної НТК. – Черкаси: ЧДТУ; Київ: ДУТ; Тольятті: ТДУ; Полтава: ПНТУ, 2013. – 19-20 грудня 2013. – С. 30.
    59. Коваленко А.А. Подходы к выбору и формализации параметров ресурсов распределенных систем // Проблеми інформатизації. Матеріали першої міжнародної НТК. – Черкаси: ЧДТУ; Київ: ДУТ; Тольятті: ТДУ; Полтава: ПНТУ, 2013. – 19-20 грудня 2013. – С. 28-29.
    60. Brezhnev E.V., Babeshko E.V. , Kharchenko V.S., Kovalenko A.A. et.al. RPC Radiy: FPGA-based road to business success, Release 1. – RPC Radiy. September, 2013. – 90 p.

    2014

    1. Харченко В.С., Брежнев Е.В., Коваленко А.А., Бабешко Е.В. Nuclear Power Plant Instrumentation and Control Systems for Safety and Security. A volume in the Advances in Environmental Engineering and Green Technologies (AEEGT) Book Series. (Под ред. Ястребенецкого М.А., Харченко В.С.) – Hershey, Pennsylvania, United States of America. IGI Global, 2014. 470 p.
    2. Starov O., Vilkomir S., Gorbenko A., Kharchenko V. Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey // Dependability Problems of Complex Information Systems : AISC 307. – Springer International Publishing, 2015. – P. 55–71.
    3. Kharchenko V., Gordieiev A., Sklyar V. Evolution of Software Models in Context of the Standard ISO 25010 // Advances in Intelligent Systems and Computing, Vol.286. – Springer International Publishing Switzerland, 2014. – p.223–232.
    4. Kharchenko V., Abdul-Hadi A., Boyarchuk A., Ponochovnyj Yu. Web Systems Availability Assessment Considering Attacks on Service Configuration Vulnerabilities // Information and Communication Technologies in Education, Research, and Industrial Applications Communications in Computer and Information Science, Vol. 469. – Springer International Publishing Switzerland, 2014, pp. 275-284.
    5. Kharchenko V., Abdul-Hadi A., Boyarchuk A., Ponochovnyj Yu. Availability Assessment of Information and Control Systems with Online Software Update and Verification // Information and Communication Technologies in Education, Research, and Industrial Applications Communications in Computer and Information Science, Vol. 469. – Springer International Publishing Switzerland, 2014, pp. 300-324.
    6. Харченко В.С. и др. Зеленая ИТ-инженерия. В 2-х томах. Т. 1: Принципы, модели, компоненты          / Харченко В.С. (редактор). – МОН Украины, ХАИ, 2014. – 594 с.
    7. Харченко В.С., Брежнев Е.В., Коваленко А.А. Зеленая ИТ-инженерия. В 2-х томах. Том 2. Системы, индустрия, социум         / Харченко В.С. (редактор)  . – МОН Украины, ХАИ, 2014. – 688 с.
    8. Даншина С.Ю., Харченко В.С. (ред.). Методи системного аналізу у комп’ютерній інженерії та радіоелектроніці. – МОН Украины, 2014. – 298 с.
    9. Illiashenko O., Kharchenko V. Software specification requirements for computer systems and networks. Part 1: Tutorial      – K.: Nat. aerospace univ. n. a. N. E. Zhukovsky “Kharkov aviation institute”, 2014. – 39 p.
    10. Скляр В.В. Управление персональными коммуникациями для кооперации университетов и индустрии в сфере компьютерных технологий        / Харченко В.С. (редактор). – МОН Украины, 2014. – 98 с.
    11. Брежнев Е.В. Разработка подхода к оценке безопасности критической инфраструктуры с учетом влияния человеческого фактора // Наука і техніка ПС ЗС України. – Випуск 2 (15). – Харків, 2014. – С.198-203.
    12. Брежнев Е.В. Probabilistic network –based approach to infrastructure safety assessment with human factor consideration // Proceeding of 10th IEEE International Conference on Digital Technologies “DT 2014”, Zilina, Slovakia, 2014. – P. 159–164.
    13. Брежнев Е.В., Харченко В.С. Метод оценивания безопасности критической энергетической инфраструктуры с учетом надежности цифровой подстанции // Наука і техніка ПС ЗС України. – Випуск 3 (18). – Харків, 2014. – с.145-150.
    14. Брежнев Е.В., Харченко В.С. The cooperative human-machine interfaces for cloud-based ADASs: dynamic analysis and assurance of vehicle safety // IEEE 12th IEEE East-West Design & Test Symposium (EWDTS): Kiev, Ukraine, September 26 – 29, 2014.
    15. Брежнев Е.В., Харченко В.С., Вейн Ю. Cyber security of smart substations with critical load via cyber diversity: strategies and assessment //       IEEE 12th IEEE East-West Design & Test Symposium (EWDTS): Kiev, Ukraine, September 26 – 29, 2014.
    16. Харченко В.С., Федосеева А.А. Profiling of MES software requirements for the pharmaceutical enterprise // IEEE 12th IEEE East-West Design & Test Symposium (EWDTS): Kiev, Ukraine, September 26 – 29, 2014.
    17. Харченко В.С. FPGA and Cloud Computing: Synergy of the Technologies for Performance and Resilience // IEEE 12th IEEE East-West Design & Test Symposium (EWDTS): Kiev, Ukraine, September 26 – 29, 2014.
    18. Брежнев Е.В., Харченко В.С., Орехова А.А. и др. The cooperative human-machine interfaces for cloud-based intelligent transportation system: dynamic analysis and assurance of vehicle safety // IEEE 12th IEEE East-West Design & Test Symposium (EWDTS): Kiev, Ukraine, September 26 – 29, 2014.
    19. Харченко В.С., Яновская О.В., Яновский М.Э. The concept of green Cloud infrastructure based on distributed computing and hardware accelerator within FPGA as a Service // IEEE 12th IEEE East-West Design & Test Symposium (EWDTS): Kiev, Ukraine, September 26 – 29, 2014.
    20. Яновский М.Э. , Харченко В.С.           Модели готовности беспроводных локальных компьютерных сетей со стационарными и мобильными точками доступа   // Вісник Харківського національного технічного університету сільського господарства: Проблеми енергозабезпечення та енергозбереження в АПК України. – Вип. 154. – Х.: ХНТУСГ. – 2014. – С. 89 – 91.
    21. Яновская О.В., Харченко В.С. Модели готовности для кластерных систем с гибридной облачной инфраструктурой            // Вісник Харківського національного технічного університету сільського господарства: Проблеми енергозабезпечення та енергозбереження в АПК України. – Вип. 154. – Х.: ХНТУСГ. – 2014. – С. 92 – 94.
    22. Коваленко А.А. Подходы к синтезу информационной структуры системы управления объектом критического применения // Системи обробки інформації. – Х.: ХУ ПС, 2014. – Вип. 1(117). – С. 180-184.
    23. Коваленко А.А. Синтез технической структуры компьютерной системы, обеспечивающей функционирование системы управления критического применения // Проблеми інформатизації. Матеріали другої міжнародної НТК. – Київ: ДУТ; Полтава: ПНТУ; Катовице: Катовицький економічний університет; Париж: Університет Париж VII Вєнсент-Сен-Дєні; Білгород: НДУ «БДУ»; Черкаси: ЧДТУ; Харків: ХНДІТМ, 2014. – 12-13 квітня 2014. – С. 52.
    24. Коваленко А.А. Особенности синтеза информационной структуры системы управления объектом критического применения         // Сб. тез доповідей по матер. 10-ї наукової конференції Харківського університету повітряних сил  м.. Івана Кожедуба «Новітні технології – для захисту повітряного простору». – Х.: ХУ ПС. – 2014. – 9-10 квітня 2014. – С. 193.
    25. Коваленко А.А. Подходы к синтезу структур системы управления объектом критического применения // Информатика, математическое моделирование, экономика. Материалы четвертой Международной научно-практической конференции. Сб. научных статей. – Т.1. – Смоленск, 2014. – 23-25 квітня 2014 р. – С. 108-115.
    26. Коваленко А.А. Анализ проблем пропускной способности современных беспроводных сетей // Информатика, математическое моделирование, экономика. Материалы четвертой Международной научно-практической конференции. Сб. научных статей. – Т.1. – Смоленск, 2014. – 23-25 квітня 2014 р. – С. 315-320.
    27. Коваленко А.А. Подходы к синтезу технической структуры компьютерной системы, образующей систему управления объектом критического применения // Збірник наукових праць Харківського університету Повітряних Сил. – Х.: ХУ ПС, 2014. – Вип. 1(38). – С. 116-119.
    28. Коваленко А.А. Approach to certify PLC configuration tools to meet functional safety requirements // Proceeding of 7th International Conference “DEpendable Systems, SERvices and Technologies (DESSERT 2014). – Kiev, Ukraine. – May 16-18, 2014. – P. 21.
    29. Коваленко А.А. Подходы к оптимизации распределения задач управления по компонентам компьютерной системы, образующей систему управления объектом критического применения // Наука у техніка Повітряних Сил Збройних Сил України: науково-технічний журнал. – 2014. – №2(15). – С. 158-160.
    30. Коваленко А.А. Оптимальное распределения задач управления по компонентам базовой компьютерной сети системы управления объектом критического применения // Математическое моделирование процессов в экономике и управлении инновационными процессами (ММП-2014). Материалы Международной научно-практической конференции. Труды. – Харьков: ХНУРЭ. – 16-21 вересня 2014 р. – С. 125-126.
    31. Коваленко А.А. Модель процесса эволюции топологической структуры компьютерной сети системы управления объектом критического применения // Системи обробки інформації. – Х.: ХУ ПС, 2014. – Вип. 7(123). – С. 93-96.
    32. Коваленко А.А. Анализ подходов к моделированию процесса эволюции топологических структур компьютерных сетей      // Інформаційні проблеми теорії акустичних, радіоелектронних і телекомунікаційних систем (IPST-2013). Матеріали другої міжнародної науково-технічної конференції. Програма та тези доповідей конференції. – Харків, 2014. – 21–23 жовтня 2014 р. – С. 42-43.
    33. Коваленко А.А. Анализ методов повышения скорости передачи данных в беспроводных сетях, использующих протокол ТСР // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління. Матеріали четвертої міжнародної НТК. – Полтава: ПНТУ; Баку: ВА ЗС АР; Бєлгород: НДУ «БєлДУ»; Кіровоград: КЛА НАУ; Харків: ДП «ХНДІ ТМ», 2014. – 4-5 грудня 2014. – С. 18.
    34. Коваленко А.А. Анализ производительности протокола RDP в корпоративных компьютерных сетях // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління. Матеріали четвертої міжнародної НТК. – Полтава: ПНТУ; Баку: ВА ЗС АР; Бєлгород: НДУ «БєлДУ»; Кіровоград: КЛА НАУ; Харків: ДП «ХНДІ ТМ», 2014. – 4-5 грудня 2014. – С. 21.
    35. Коваленко А.А. Проблемы синтеза систем управления объектом критического применения    // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління. Матеріали четвертої міжнародної НТК. – Полтава: ПНТУ; Баку: ВА ЗС АР; Бєлгород: НДУ «БєлДУ»; Кіровоград: КЛА НАУ; Харків: ДП «ХНДІ ТМ», 2014. – 4-5 грудня 2014. – С. 27.
    36. Харченко В.С., Коваленко А.А., Ильяшенко О.А., Скляр В.В. Security Informed Safety Assessment of NPP I&C Systems: GAP-IMECA Technique // Proceedings of 22nd International Conference on Nuclear Engineering. Technical Publication. ICONE22-31175. – Prague, Czech Republic. – July 7-11, 2014. – 7 p.
    37. Харченко В.С., Дужий В.И., Сиора А.А., Русин Д.О. Standard analysis and tool-based assessment technique of NPP I&C systems diversity // Proceedings of 22nd International Conference on Nuclear Engineering. Technical Publication. ICONE22-31175. – Prague, Czech Republic. – July 7-11, 2014. – 8 p.
    38. Харченко В.С., Скляр В.В., Одарущенко О.Н., Ивасюк А.О. Fault Insertion Testing of FPGA-based NPP I&C Systems: SIL Certification Issues    // Proceedings of 22nd International Conference on Nuclear Engineering. Technical Publication. ICONE22-31175. – Prague, Czech Republic. – July 7-11, 2014. – 5 p.
    39. Харченко В.С., Никитина Т.С., Вилкомир С.А. Optimal Selection of Diversity Types for Safety-Critical Computer Systems // Proceedings of the Probabilistic Safety Assessment and Management PSAM 12, June 2014, Honolulu, Hawaii. – 9 p.
    40. Харченко В.С., Брежнев Е.В., Ильяшенко О.А., Боярчук А.В. Security Informed Safety Assessment of Industrial FPGA-Based Systems  // Proceedings of the Probabilistic Safety Assessment and Management PSAM 12, June 2014, Honolulu, Hawaii. – 7 p.
    41. Бутенко В.О., Харченко В.С., Одарущенко О.Н., Скляр В.В., Попов П. Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508 // Proceedings of the Probabilistic Safety Assessment and Management PSAM 12, June 2014, Honolulu, Hawaii. – 10 p.
    42. Скляр В.В., Харченко В.С., Панарин А.С. Тестирование и разработка диверсных программируемых контроллеров на базе ПЛИС с использованием средств функционального программирования // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАИ». – 2014. – №1(65). – С. 29–41.
    43. Иванченко О. В., Харченко В.С. Метод причинно-следственной декомпозиции аварий  и  инцидентов критических инфраструктур // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАИ». – 2014. – №5(69). – С. 12–17.
    44. Конорев Б.М., Сергиенко В.В., Харченко В.С., Жолткевич Г.М. Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАИ». – 2014. – №5(69). – С. 50–54.
    45. Белобородов А.Ю., Горбенко А.В., Харченко В.С. Применение аппарата теории массового обслуживания  для исследования процессов выявления и устранения уязвимостей программных средств // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАИ». – 2014. – №5(69). – С. 65–69.
    46. Поночовный Ю.Л., Сиора А.А., Харченко В.С. Модели готовности двухканальной информационно-управляющей системы с учетом обновления программных средств // Радіоелектронні і комп’ютерні системи. – Харків: НАКУ «ХАИ». – 2014. – №6(70). – С. 135–139.
    47. Соколов Ю.Н., Харченко В.С., Поночовный Ю.Л. Инструментальное оценивание надёжности программно-технических комплексов при росте интенсивности отказов // Системи обробки інформації. – Харків: ХУПС. – 2014. – Вип. 2(118). – С. 205–211.
    48. Харченко В.С.,  Скляр В.В. Кооперация университетов и IT-индустрии: структура, результаты и перспективы в Украине // Радіоелектронні і комп’ютерні системи. – 2014. – № 5(69). – Харків: ХУПС.  – С. 170–174.
    49. Харченко, В.С., Скляр В.В. Кооперация университетов и ИТ-индустрии: некоторые проблемы и решения // Карт Бланш. – 2014. – № 3-4. – С.43-49.
    50. Orekhova N., Kharchenko V., Orekhov A. Human-machine interface quality assessment techniques: Green and safety issues // Proceeding of 10th IEEE International Conference on Digital Technologies “DT 2014”, Zilina, Slovakia, 2014. – P. 239–244.
    51. Gorbenko A.,Tarasyuk O., Kharchenko V., Hollstein T. Contention Window Adaptation to Ensure Airtime Consumption Fairness in Multirate Wi-Fi Networks // Proceeding of 10th IEEE International Conference on Digital Technologies “DT 2014”, Zilina, Slovakia, 2014. – P. 69–74.
    52. Kharchenko V., Butenko V., Butenko D., Odarushchenko O., Odarushchenko E. Assessment of the Reactor Trip System Dependability: Two Markov’s Chains – based Cases           // Proceeding of 10th IEEE International Conference on Digital Technologies “DT 2014”, Zilina, Slovakia, 2014. – P. 89–96.
    53. Kharchenko V., Jervan G., Kulanov V. Dependable embedded systems: FP7 KhAI-ERA project experience // 10th European Workshop on Microelectronics Education (EWME). – 2014. – P. 26–30.
    54. Kharchenko V., Illiashenko O., Phillips C., Vain J., Krispin M. FPGA-based critical computing: TEMPUS and FP7 projects issues // 10th European Workshop on Microelectronics Education (EWME). – 2014. – P. 36–41.
    55. Kharchenko V., Odarushchenko O., Sklyar V., Ivasyuk A. Fault insertion testing of FPGA-based NPP I&C systems: SIL certification issues // Proceedings of the 22th International Conference on Nuclear Engineering, Prague, Czech Republic, July 7–11, 2014. – Р.5.
    56. Харченко В.С. Технології програмованої логіки FPGA і хмарних обчислень: синергія інтеграції та суперництва // Доповіді VII Міжнародної науково-технічної конференції «Комп’ютерні системи та мережні технології». – Київ: НАУ. – 2014. – С.12–14.
    57. Харченко В.С.,  Поночовний Ю.Л.      Множина цілей аудиту вимог до інформаційної безпеки на етапі виконання завдань в гібридному Cloud // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : Матеріали четвертої міжнародної науково-технічної конференції. – Полтава: ПНТУ; Баку: ВА ЗС АР; Бєлгород: НДУ «БєлДУ»; Кіровоград: КЛА НАУ; Харків: ДП «ХНДІ ТМ», 2014. – С. 49.
    58. Харченко В.С., Одарущенко О.Н., Бутенко В.О. Методологічний та інструментальний аспекти марковського моделювання гарантоздатних ІТ-систем: виклики та рішення // Тези доповідей третьої конференції «Комп’ютерне моделювання в наукоємних технологіях» КМНТ’2014. – Харків: ХНУ ім. В.Н. Каразіна. – 2014. – С.10.
    59. Ломачинський В.В., Харченко В.С. Автоматичне генерування параметризовних звітів: модель і засоби // Міжнародна науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2014”. – Харків: Нац. аерокосм. ун-т «ХАІ», 2014. – Том 2. – С.189.
    60. Паньковский А.И., Харченко В.С. Унификация IT-систем умного дома. Задачи // Міжнародна науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2014”. – Харків: Нац. аерокосм. ун-т «ХАІ», 2014. – Том 2. – С.194.
    61. Стребко А.Н., Харченко В.С. Мобильные и cloud-технологии: модели и средства для анализа энергоэффективности совместного применения // Міжнародна науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2014”. – Харків: Нац. аерокосм. ун-т «ХАІ», 2014. – Том 2. – С.207.
    62. Chuikov Y.А., Perepelitsyn A.E., Kharchenko V.S. FPGA as a service for Cloud-based systems: option and time analysis // Міжнародна науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2014”. – Харків: Нац. аерокосм. ун-т «ХАІ», 2014. – Том 2. – С.212.
    63. Шевченко А.В., Харченко В.С. Выбор модели надежности программных средств на основе матрицы допущений: процедура и программная реализация // Міжнародна науково-технічна конференція “Інтегровані комп’ютерні технології в машинобудуванні ІКТМ-2014”. – Харків: Нац. аерокосм. ун-т «ХАІ», 2014. – Том 2. – С.214.
    64. Konorev B., Kharchenko V., Sergienko S., Zholtkevich G. Еstimating of critical software latent faults presence with required trustworthiness // Electronic Journal Reliability: Theory & Applications Vol. 9 No. 2, issue of June, 2014. – 9р.
    65. Байгер В.М., Буй Д.Б., Коляда С.В., Кортунов В.І., Харченко В.С. Побудова систем захисту території і об’єктів на платформі відеоспостереження нового покоління та безпілотних літальних апаратів // Матеріали НТК «Науково-технологічне забезпечення оборонно-промислового комплексу України», МОНУ, НАНУ, КНУ ім. Тараса Шевченка, Київ, Україна, 14 жовтня 2014. – С.20-24.
    66. Гордеев А.А., Харченко В.С. Основы методологии профилеориентированной оценки качества ПО ИС // Проблеми інформатизації та управління, №3(47), 2014. – С.24-30.
    67. Kharchenko V., Fedoseeva A. Development normative profile for MES-system in the pharmaceutical enterprise // Proceedings of the SYRAS Conference, July 9-13, 2014, ?ilina, Slovakia. – P. 21-28.
    68. Брежнев Е.В., Харченко В.С. Стратегія впровадження технологій Smart Grid: аналіз світової практики // Материалы международной научно-практической конференции “Проблеми енергозабезпечення та енергозбереження в АПК України”, 6-7 листопада, 2014 року.
    69. Brezhnev E.V., Babeshko E.V. , Kharchenko V.S., Kovalenko A.A. et.al. RPC Radiy: FPGA-based road to business success, Release 2. – RPC Radiy. September, 2014. – 94 p.
    70. Брежнев Е.В., Бабешко Е.В., Скляр В.В., Одарущенко О.Н., Харченко В.С. (научн руководитель) и др.      Теоретические основы, методы и информационные технологии разработки программно-технических комплексов критического применения в условиях ресурсных ограничений.  Отчёт по госбюджетной НИР (заключительный). Гос. регистрационный номер 0112U001058. Том 1. – Харьков: Нац. аэрокосмический ун-т им. Н.Е. Жуковского «ХАИ», 2014. – 278 с.

    Сиора А.А., Решетицкий С.В., Андрашов А.А. Модернизация информационно-управляющих систем АЭС с использованием технологии FPGA: европейский опыт // Проблемы обеспечения безопасности информационных и управляющих систем АЭС: сборник научных трудов / под ред. М.А. Ястребенецкого. – Одесса: Астропринт, 2010. – С. 20-27.

    Сиора А.А., Решетицкий С.В., Андрашов А.А. Модернизация информационно-управляющих систем АЭС с использованием технологии FPGA // Інформаційні інфраструктури та технології. – №1, 2010. – С. 48-52.

    A. Drozd, V. Kharchenko, V. Sklyar, V.Siora. Component-Based Safety-Oriented On-Line Testing of Digital Systems» // Proceedings of IEEE East-West Design & Test Symposium, St. Petersburg, Russia, September 17 – 20, 2010. – Pp. 52-57.

    V. Kharchenko, V. Sklyar, L. Reva, V. Dovgopolyi, V. Golovir, A. Andrashov. Verification of FPGA Electronic Designs for Nuclear Reactor Trip Systems: Test- and Invariant-Based Methods // Proceedings of IEEE East-West Design & Test Symposium, St. Petersburg, Russia, September 17 – 20, 2010. – Pp. 92-97.

    Сиора А.А., Решетицкий С.В., Харченко В.С., Скляр В.В., Андрашов А.А. Разработка информационных и управляющих систем АЭС с использованием технологии ПЛИС: европейский опыт // Ядерные технологи 21 века. Минск, Беларусь – в процессе издания.

    Шугаев А.Ю., Андрашов А.А. Разработка инструментального средства профилирования требований информационно-управляющих систем критического применения // Тезисы докладов МНТК ИКТМ 2010. – Х.:НАКУ «ХАИ», 2010. – С. 228.

    В.С. Харченко, Л.А. Рева, В.А. Головир, А.Ю. Шугаев, А.А. Андрашов. Верификация алгоритмов электронных проектов ПЛИС для систем аварийной защиты ядерных реакторов // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2010. – №4(16). – С. 45-50.

    Коваленко А.А., Кучук Г.А., Завизиступ Ю.Ю. Применение мультифрактальных спектров для моделирования трафика мультисервисных сетей // Системи управління, навігації та зв’язку. – К.: ЦНДІУ. – 2010. – №2(14). – С. 207-214.

    Коваленко А.А., Кучук Г.А., Можаев А.А. Оценка безопасности мультисервисной сети // Збірник наукових праць Харківського університету Повітряних Сил. – Х.:ХУПС, 2009. – Вип. 4(22). – С. 89-94.

    Коваленко А.А., Завизиступ Ю.Ю., Мохаммад А.С., Можаев М.А. Особенности функционирования протоколов в беспроводных сетях // Системы обработки информации. – Х.: ХУВС. – 2010. – №5(86). – С. 39-42.

    Kuchuk G.A., Mozhaev O.O., Kovalenko A.A. An Approach To Development Of Complex Metric For Multiservice Network Security Assessment // Statistical Methods Of Signal and Data Processing (SMSDP – 2010). Proc. Kiev, Ukraine, October 13-14, 2010. / NAU, RED, IEEE Ukraine section joint SP. – Pp. 158-160.

    V. Kharchenko, E. Babeshko, V. Sklyar, A. Siora, V. Tokarev. Approaches to NPP I&C Systems Dependability Assessment: Analysis and Implementation // Proceedings of 2010 International Congress on Advances in Nuclear Power Plants (ICAPP ’10), San Diego, CA, USA, June 13 17, 2010, Paper 10171 (available on CD-ROM).

    V. Kharchenko, A. Siora, V. Sklyar, A. Volkoviy, V. Bezsaliy. Multi-Diversity versus Common Cause Failures: FPGA-Based Multi-Version NPP I&C Systems // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 1081-1092.

    Bakhmach I., Kharchenko V., Siora A., Sklyar V., Tokarev V. Design and Qualification of I&C Systems on the Basis of FPGA Technologies // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 916-924.

    Anqing Xing A., de Grosbois J., Archer P., Awwal A., Sklyar V. FPGA-Based Controller in CANDU® Nuclear Safety-Related Applications // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 1337-1344.

    Bakhmach I., Kharchenko V., Siora A., Sklyar V., Andrashov A. Experience of I&C Systems Modernization Using FPGA Technology // Proceeding of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2010). – Las Vegas, Nevada, USA. – November 7-11, 2010. – Pp. 1345-1352.

    V. Kharchenko, E. Babeshko, V. Sklyar, A. Siora, V. Tokarev. Approaches to NPP I&C Systems Dependability Assessment: Analysis and Implementation // Journal of Energy and Power Engineering ISSN 1934-8975, 2010, USA, 9 p.

    Тарасюк О.М., Горбенко А.В., Харченко В.С. Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A // Математические машины и системы. 2010. – № 2. – С. 166-177.

    Kharchenko V., Orehov A., Кochkar D., Mezentsev A. Models and technique of videomonitoring of forest fires // Information and Management, 2010, №2, 12 p. (Slovakia)

    Горбенко А.В., Тарасюк О.М., Харченко В.С. Створення гарантоздатних сервіс-орієнтованих систем для розподіленої обробки інформації за умов невизначеності характеристик компонентів // Тр. Международной научно-технической конференции «Автоматизация: проблемы, идеи, решения». – С.: СевНТУ, 2010. – С. 71-73.

    Обсуждение закрыто.