Координатор проекту: Національна бібліотека України імені В. І. Вернадського
Харченко Валентина Сергіївна
Пошуковий профіль науковця на порталі НБУВ

ID: 1269319 адреса матеріалу: http://irbis-nbuv.gov.ua/ASUA/1269319

Харченко Валентина Сергіївна

Дивись також:
Списки документів формуються автоматично
на основі електронних ресурсів НБУВ.
До списків можуть бути включені публікації авторів з подібними іменами або однофамільців
      Праці:
  1. (2008) Проектирование встроенных систем на микроконтроллерах STMicroelectronics
  2. (2011) Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения
  3. (2012) Анализ системных требований с использованием метода Safety Case
  4. (2012) Винаходи та інновації. Винахідники України : Т. 2.
  5. (2012) Инструментальные средства поддержки метода Safety Case и технологии их применения
  6. (2012) Сервис-ориентированные системы и технологии бизнес-критического применения
  7. (2012) Формальные технологии разработки безопасных компьютерных систем
  8. (2013) Safety Case методы и средства получения и анализа данных
  9. (2013) Качество программно-технических комплексов: процессный подход
  10. (2013) Масштабируемые многоверсионные технологии для критических приложений
  11. (2013) Основы ИТ-инженерии безопасности критических инфраструктур
  12. (2013) Распределенные критические системы и инфраструктуры
  13. (2013) Системы и технологии высокой готовности
  14. (2014) Зеленая ИТ-инженерия : Т . 1. Принципы, компоненты, модели
  15. (2014) Зеленая ИТ-инженерия : Т. 2. Системы, индустрия, социум
  16. (2015) Communications management for academia-industry cooperation in IT-engineering
  17. (2015) Зеленые аппаратные средства и программируемые системы
  18. (2015) Зеленые технологии в телекоммуникациях
  19. (2015) Инженерия критического программного обеспечения
  20. (2015) Інформаційна технологія вибору інструментальних засобів для оцінювання безпеки інформаційно-управляючих систем із використанням марковських моделей
  21. (2015) Інформаційна технологія забезпечення функціональної безпеки інформаційно-управляючих систем з архітектурно-технологічною диверсністю
  22. (2015) Міжелектронні кореляції, релятивістські й ангармонічні ефекти у сплавах перехідних металів
  23. (2015) Модели, методы и информационная технология оценки качества человеко-машинных интерфейсов информационно-управляющих систем
  24. (2015) Моделі та методи інформаційної технології створення адаптивних бездротових локальних комп'ютерних мереж
  25. (2015) Технологии разработки зеленых регуляторов и робототехнических систем
  26. (2016) Исследование и разработка энергоэффективных мобильных и встроенных систем
  27. (2016) Моделі й метод надання доступу до сервісів розподіленої хмарної системи
  28. (2016) Энергоэффективные кластерные и облачные вычисления и технологии
  29. (2017) Методы и средства тестирования на проникновение веб-приложений и сетей
  30. (2019) Dependability and security of Internet of things
  31. (2019) Internet of things for ecology, safety and security monitoring systems
  32. (2019) Mobile and hybrid Internet of things based computing
  33. (2019) Архітектури та розроблення систем Інтернету / Вебу речей на основі вбудованих платформ
  34. (2020) Компьютерное моделирование в наукоемких технологиях
      Журнали та продовжувані видання:
  1. Авіаційно-космічна техніка і технологія
  2. Відкриті інформаційні та комп'ютерні інтегрованні технології
  3. Електротехнічні та комп'ютерні системи
  4. Інформаційні процеси, технології та системи на транспорті
  5. Проблеми інформатизації та управління
  6. Ядерна енергетика та довкілля
      Наукова періодика:
  1.  Радіоелектронні і комп’ютерні системи, Харків
  2. (2002) Имитационная модель надежности цифровых систем с различными режимами работы неоднородных резервных каналов
  3. (2003) Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций
  4. (2003) Использование метрик Холстеда при оценке безопасности критического программного обеспечения
  5. (2004) Безопасность аэрокосмической техники и надежность компьютерных систем
  6. (2004) Имитационное моделирование отказоустойчивых бортовых систем управления с программируемой логикой с учетом факторов среды
  7. (2004) Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность
  8. (2005) Вероятностная модель живучести систем с многоступенчатой деградацией с учетом поражаемости мажоритарных элементов
  9. (2005) Гарантоздатність комп’ютерних систем: проблеми і результати
  10. (2005) Метод определения поправочных коэффициентов для интенсивностей отказов элементов систем с учетом параметров импульсных экстремальных воздействий
  11. (2005) Многошаговая процедура построения графа состояний при исследовании вычислительных систем с использованием аппарата марковских процессов
  12. (2005) Модель и метричная оценка качества научных работ
  13. (2005) ПРименение динамических радиальных метрических диаграмм для управления многоверсионными программными проектами
  14. (2006) Абстрактные модели и элементы синтеза многоверсионных автоматов
  15. (2006) Анализ рисков проектирования и эксплуатации цифровых систем на ПЛИС
  16. (2006) Анализ современных разработок и технологий в области построения гарантоспособных web-сервисов
  17. (2006) Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
  18. (2006) Гарантоспособность и гарантоспособные системы: элементы методологии
  19. (2006) Использование сетей Петри при проведении анализа живучести бортовых информационно-управляющих систем
  20. (2006) Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
  21. (2006) Мониторинг и обработка исключений динамически реконфигурируемых Web-служб
  22. (2006) Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями и объектами
  23. (2007) Автоматные модели многоверсионных информационно-управляющих систем
  24. (2007) Анализ производительности коммуникационных протоколов SOAP и TCP
  25. (2007) Гарантоздатність комп’ютерних систем: межа універсальності у контексті інформаційно-технічних станів
  26. (2007) Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
  27. (2007) Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС
  28. (2007) Отказоустойчивые цифровые системы управления с программируемой логикой на основе частично работоспособных автоматов: модели и реализация
  29. (2007) Разработка марковских моделей надежности компьютерной сети информационно-управляющей системы с использованием FME(C)A-таблиц
  30. (2007) Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия
  31. (2007) Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
  32. (2008) Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
  33. (2008) Модели безотказности и готовности встроенных мультидиверсных систем
  34. (2008) Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
  35. (2008) Модель информационно-технического состояния компьютерной системы
  36. (2008) Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
  37. (2008) ПЛИС-платформа в критических приложениях: гарантоспособные масштабируемые решения для информационных и управляющих систем АЭС
  38. (2008) Семейство микроконтроллеров stm32: архитектура, технические характеристики и возможности применения в критических системах
  39. (2009) Анализ моделей представления требований к программному обеспечению при их профилировании
  40. (2009) Возможности совместного использования современных методов анализа отказов систем, важных для безопасности
  41. (2009) Гарантоздатні системи та багатоверсійні обчислення: аспекти еволюції
  42. (2009) Концепция создания системы обработки информации и управления объектами критического применения на основе использования модулярной системы счисления
  43. (2009) Моделирование гарантоспособных сервис-ориентированных архитектур при атаках с использованием уязвимостей
  44. (2009) Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
  45. (2009) Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития
  46. (2010) Автоматно-базисный подход к созданию естественно надежных и безопасных систем
  47. (2010) Аналіз проблем ІТ-інженерії безпеки: проект Tempus-Safeguard
  48. (2010) Исследование сервисов спортивного программирования как многоверсионных проектов
  49. (2010) Многоэтапный анализ надежности и безопасности информационно-управляющих систем
  50. (2010) Модели автоматизированных систем периметровой охраны объектов с ''пассивным'' нарушителем
  51. (2010) Модели многоверсионных вычислений и их обобщение для отказоустойчивых систем
  52. (2010) Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
  53. (2010) О деградирующих системах с деградирующими компонентами
  54. (2010) Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
  55. (2010) Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления
  56. (2010) Принципи побудови волоконно-оптичної інтелектуальної мережі
  57. (2010) Разработка и исследование базовых моделей отказоустойчивых WEB-сервисов
  58. (2011) Безопасность ракетно-космической техники и надежность компьютерных систем: 2000-2009 гг.
  59. (2011) Вплив ангармонізму та електрон-фононної взаємодії на спектер частот кристалів з гексагональною щільнопакованою ґратницею
  60. (2011) Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
  61. (2011) Оперативная верификация и коррекция программного обеспечения ИУС космических систем.
  62. (2012) Анализ архитектур отказоустойчивых серверов для оценки их надежности
  63. (2012) Анализ применения ПЛИС технологий в медицинском оборудовании
  64. (2012) Влияние интенсивности проведения профилактического техобслуживания на готовность автоматизированных систем охраны
  65. (2012) Исследование имитационных моделей готовности двухканальной информационно-управляющей системы космического аппарата
  66. (2012) Метод оценивания надежности программных средств с учетом вторичных дефектов
  67. (2012) Методика комплексной оценки безопасности человеко-машинного интерфейса ИУС критического применения
  68. (2012) Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев
  69. (2012) Оценка контролепригодности цифровых компонентов встроенных систем критического применения
  70. (2012) Распределенная архитектура как средство повышения надежности и живучести бортовых информационно-управляющих систем
  71. (2013) Визначення моменту зародження тріщини в зразках Шарпі при ударному навантаженні
  72. (2013) "Зелёная" программируемая логика: концепция и элементы реализации для FPGA проектов
  73. (2013) Информационная безопасность индустриальных ИУС на FPGA: Нормативная база и SIS подход
  74. (2013) Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа "замыкание"
  75. (2013) Модели качества программного обеспечения: анализ наличия и варианты включения "green" характеристик
  76. (2013) Полумарковская модель протекания аварии критической инфраструктуры
  77. (2013) Разработка базовых марковских моделей для исследования готовности коммерческих веб-сервисов
  78. (2013) Формирование подмножеств уязвимостей доступности коммерческих веб-сервисов
  79. (2013) Формирование подмножеств уязвимостей доступности коммерческих веб-сервисов
  80. (2013) Эволюция моделей качества программного обеспечения: методика и результаты анализа в контексте стандарта ISO 25010
  81. (2014) Динамическая реконфигурация веб-системы на основе метрического анализа баз данных уязвимостей ОТS-компонентов
  82. (2014) Инструментированное оценивание надежности программно-технических комплексов при росте интенсивности отказов
  83. (2014) Кооперация университетов и IT-индустрии: структура, результаты и перспективы в Украине
  84. (2014) Масштабируемая реализация алгоритмов шифрования на ПЛИС: алгоритм IDEA
  85. (2014) Метод причинно-следственной декомпозиции аварий и инцидентов критических инфраструктур
  86. (2014) Метрико-интервальные модели и инструментальные средства для оценивания готовности информационно-управляющих систем с использованием марковских процессов
  87. (2014) Модели готовности беспроводных локальных компьютерных сетей со стационарными и мобильными точками доступа
  88. (2014) Модели готовности двухканальной информационно-управляющей системы с учетом обновления программных средств
  89. (2014) Модели надежности компонентов облачного дата-центра
  90. (2014) Применение аппарата теории массового обслуживания для исследования процессов выявления и устранения уязвимостей программных средств
  91. (2014) Применение дискретных законов распределения в модели доступности информационного ресурса с профилактическими мерами аудита безопасности
  92. (2014) Прогнозирование вероятности скрытых дефектов критического по с заданной точностью
  93. (2014) Статистический подход к формализации нейросетевого распознавания урофлоурограмм заболеваний в урологии
  94. (2014) Стохастическая модель надежности инфраструктуры как сервиса облачных вычислений
  95. (2014) Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
  96. (2014) Тестирование программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
  97. (2015) Анализ характеристик и выбор средств разработки компьютерных игр
  98. (2015) Имитационное моделирование веб-системы при атаках на уязвимости компонент и конфигураций
  99. (2015) Марковские модели готовности информационно-управляющей системы "умного" дома при раздельном и общем обслуживании по надежности и безопасности
  100. (2015) Методология обеспечения безопасности критических инфраструктур в условиях неопределенности: концепция и принципы
  101. (2015) Многофрагментные марковские модели отказоустойчивых Web-сервисов с устранением проектных дефектов
  102. (2015) Модели готовности веб-системы с учетом программных отказов и атак на уязвимости конфигурации службы DNS
  103. (2015) Модели развития уязвимостей IТ-продуктов: патологические цепочки в контексте марковского анализа
  104. (2015) Опыт взаимодействия университетов и промышленности в сфере трансфера ИТ-технологий в Западной Европе
  105. (2015) Стандарты информационной безопасности для облачных технологий и тенденции их развития
  106. (2016) Анализ аспектов безопасности кооперативных человеко-машинных интерфейсов для облачных систем помощи водителю
  107. (2016) Анализ стохастических методов метамоделирования и оценивания готовности облачных инфраструктур
  108. (2016) Базова модель формування вимог до забезпечення кібербезпеки цивільної авіації
  109. (2016) Выбор энергоэффективных FPGA: методика и инструментальное средство
  110. (2016) Концепция управления готовностью критических инфраструктур на основе применения облачных информационных технологий
  111. (2016) Концепція побудови мобільних систем пост-аварійного моніторингу АЕС з використанням флоту квадрокоптерів
  112. (2016) Метод мінімізації часу усунення дефектів і вразливостей в інформаційно-управляючій системі "розумного" будинку при загальному обслуговуванні по надійності і безпеці
  113. (2016) Метод отбора дефектосодержащих компонентов программных систем
  114. (2016) Многоуровневая система диагностирования заболеваний на основе нейросетевых модулей: принципы реализации
  115. (2016) Многофакторное иерархическое нейросетевое распознавание заболеваний в урологии
  116. (2016) Наукометрический анализ конференций "Гарантоспособные системы, сервисы и технологии" (DESSERT 2006-2014)
  117. (2016) Оценка безопасности систем на FPGA с использованием XMECA для V-модели жизненного цикла
  118. (2016) Полумарковская модель готовности облачной инфраструктуры с интегрированной системой мониторинга технического состояния
  119. (2016) Розрахунок показників безвідмовності для IT-систем з хмарною послугою NaaS
  120. (2016) Экспериментальная проверка метода отбора дефектосодержащих компонентов программных систем
  121. (2017) Монолітні веб-сервіси та мікросервіси: порівняння та вибір
  122. (2017) Оцінювання готовності інформаційно-керуючої системи космічного апарату з усуненням програмних дефектів після проведення оперативної онлайн-верифікації
  123. (2017) Система послеаварийного мониторинга АЭС с использованием беспилотных летательных аппаратов: концепция, принципы построения
  124. (2017) Система послеаварийного мониторинга АЭС с использованием беспилотных летательных аппаратов: модели надежности
  125. (2018) Методологічні засади оцінювання та забезпечення безпеки критичних інформаційних інфраструктур
  126. (2018) Стратегия 3Win устойчивой кооперации ИТ-индустрии и университетов: R&D старт-ап школы
  127. (2019) Аналіз методологічних основ формування інформаційно-управляючих систем підприємств в Індустрії 3.0: рух до Індустрії 4.0
  128. (2019) Визначення оптимального маршруту обльоту заданих точок території потенційно небезпечного об’єкту флотом БПЛА
  129. (2019) Від редактора: До 80-річчя професора Олексія Петровича Стахова
  130. (2019) Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю
  131. (2019) Метод аналізу ризиків доступу до активів в системах фізичного захисту
  132. (2019) Методи виявлення бот-мереж в комп'ютерних системах
  133. (2019) Метрическое оценивание управления выполнением требований к программному обеспечению ИУС АЭС для V-образной модели жизненного цикла
  134. (2019) Моделі надійності угруповань флотів БПЛА з ковзним резервуванням для моніторингу потенційно небезпечних об’єктів
  135. (2019) Технологія побудови паралельних алгоритмів факторизації
  136. (2020) Автоматні моделі та синтез засобів контролю апаратної реалізації алгоритмів заміщення кеш-пам’яті
  137. (2020) Анализ вариантов двухверсионных многомодульных веб-приложений с использованием облачных сервисов
  138. (2020) Дослідження марковської моделі готовності системи фізичного захисту з деградацією внаслідок aтак і апаратних відмов
  139. (2020) Кібербезпека безпроводових смарт-систем: канали втручань та радіочастотні вразливості
  140. (2020) Методологія забезпечення гарантоздатності інформаційно-керуючих систем з використанням багатоцільових стратегій обслуговування
  141. (2020) Мінімізація логічної схеми для реалізації pseudo LRU шляхом міжтипового переходу у тригерних структурах
  142. (2020) Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
  143. (2020) Оцінювання безвідмовності резервованих структур "2-з-3" і "1-з-2" з урахуванням засобів оброблення інформації та комунікацій
  144. (2020) Резильєнтність комп’ютерних систем в умовах кіберзагроз: таксономія та онтологія
  145. (2020) Якість програмного забезпечення: моделі оцінювання доцільності засіву та життєвий цикл профілю дефектів
  146. (2021) Пам’яті професора Олексія Петровича Стахова
     Реферативна база даних "Україніка наукова"
     (наукові видання, опубліковані в Україні):
    база даних на реконструкції, можлива некоректна робота
  1. (1999) Методы многопараметрической адаптации бортовых управляющих и вычислительных систем с раздельным мажоритарным резервированием
  2. (1999) Модель функционирования бортовых вычислительных систем с категорированием задач в условиях сбоев и отказов аппаратных и программных средств
  3. (1999) Обработка измерительной информации в бортовых отказоустойчивых телеметрических системах с категорированием заявок
  4. (1999) Унифицированные алгоритмы реконфигурации и свойства отказоустойчивых матричных СБИС-архитектур
  5. (2000) Выбор моделей надежности программных средств для систем критического применения
  6. (2000) Детерминированная оценка показателей отказоустойчивости дублированных структур с временной и версионной избыточностью
  7. (2001) Моделирование и оценка безотказности необслуживаемых компьютерных систем управления с многоверсионными программными средствами
  8. (2002) Структурная организация и оценка надежности отказоустойчивых цифровых устройств на ПЛИС
  9. (2003) Анализ структур отказоустойчивых бортовых комплексов при использовании электронных компонентов Industry
  10. (2003) Оценка верификации критического программного обеспечения: критерии, модели и реализация
  11. (2003) Оценка точности матрично-графового метода выбора моделей надежности программных средств
  12. (2004) Безопасность атомных станций: информационные и управляющие системы
  13. (2004) Методы моделирования и дискретной оптимизации вычислительных систем реального времени
  14. (2005) Автоматизація управління системами метрологічного забезпечення: структура, моделі та алгоритм прийняття рішень
  15. (2005) Вероятностная модель живучести систем с многоступенчатой деградацией с учетом поражаемости мажоритарных элементов
  16. (2005) Метод и инструментальные средства комплексной метрико-вероятностной оценки надежности программного обеспечения
  17. (2005) Метод определения поправочных коэффициентов для интенсивностей отказов элементов систем с учетом параметров импульсных экстремальных воздействий
  18. (2006) Абстрактные модели и элементы синтеза многоверсионных автоматов
  19. (2006) Анализ рисков проектирования и эксплуатации цифровых систем на ПЛИС
  20. (2006) Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
  21. (2006) Гарантоздатні системи з негарантоздатних компонент: принципи побудови, контролю та управління
  22. (2006) Гарантоспособность и гарантоспособные системы: элементы методологии
  23. (2006) Еволюційно-компонентна модель інформаційно-керуючих систем
  24. (2006) Использование сетей Петри при проведении анализа живучести бортовых информационно-управляющих систем
  25. (2006) Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
  26. (2006) Мониторинг и обработка исключений динамически реконфигурируемых Web-служб
  27. (2006) Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями и объектами
  28. (2006) Реализация процесса верификации для разработки надежного программного обеспечения
  29. (2007) Автоматные модели многоверсионных информационно-управляющих систем
  30. (2007) Анализ производительности коммуникационных протоколов SOAP и TCP
  31. (2007) Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів
  32. (2007) Информационная технология поддержки определения компонентных функциональных структур живучих бортовых информационно-управляющих систем
  33. (2007) Метод и средства архитектурной адаптации отказоустойчивых бортовых систем на основе IP-технологии
  34. (2007) Метод и технология многоверсионной разработки аэрокосмических систем на кристалле с программируемой логикой
  35. (2007) Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
  36. (2007) Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС
  37. (2007) Отказоустойчивые цифровые системы управления с программируемой логикой на основе частично работоспособных автоматов: модели и реализация
  38. (2007) Оценка и обеспечение качества программных средств космических систем
  39. (2007) Разработка марковских моделей надежности компьютерной сети информационно-управляющей системы с использованием FME(C)A-таблиц
  40. (2007) Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия
  41. (2007) Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
  42. (2008) Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
  43. (2008) Диверсность методов коррекции ошибок в системе обработки информации и управления критического применения, функционирующей в модулярной арифметике
  44. (2008) Квалификационные испытания критического программного обеспечения космических систем: целевая технология независимой верификации и прогнозирования скрытых дефектов
  45. (2008) Комплексный анализ гарантоспособности информационно-управляющих систем и инфраструктур: FME(C)A-модели и информационная технология
  46. (2008) Многоверсионные системы и технологии для критических приложений
  47. (2008) Модели безотказности и готовности встроенных мультидиверсных систем
  48. (2008) Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
  49. (2008) Модель информационно-технического состояния компьютерной системы
  50. (2008) Обобщенные логические функции и системы на программируемой логике
  51. (2008) Отказоустойчивые встроенные системы на программируемой логике
  52. (2008) Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
  53. (2008) ПЛИС-платформа в критических приложениях: гарантоспособные масштабируемые решения для информационных и управляющих систем АЭС
  54. (2008) Семейство микроконтроллеров STM32: архитектура, технические характеристики и возможности применения в критических системах
  55. (2008) Учебно-информационный центр критического компьютинга
  56. (2009) Анализ моделей представления требований к программному обеспечению при их профилировании
  57. (2009) Возможности совместного использования современных методов анализа отказов систем, важных для безопасности
  58. (2009) Гарантоздатні системи та багатоверсійні обчислення: аспекти еволюції
  59. (2009) Инварианто-ориентированная оценка качества программного обеспечения космических систем
  60. (2009) Информационно-технические состояния компьютеризированных систем: модель событий и показатели гарантоспособности
  61. (2009) Концепция создания системы обработки информации и управления объектами критического применения на основе использования модулярной системы счисления
  62. (2009) Моделирование гарантоспособных сервис-ориентированных архитектур при атаках с использованием уязвимостей
  63. (2009) Моделирование гарантоспособных систем и сетей
  64. (2009) Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
  65. (2009) Отказоустойчивые системы с версионно-информационной избыточностью
  66. (2009) Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития
  67. (2010) Автоматно-базисный подход к созданию естественно надежных и безопасных систем
  68. (2010) Аналіз проблем ІТ-інженерії безпеки: проект TEMPUS-SAFEGUARD
  69. (2010) Верификация алгоритмов электронных проектов ПЛИС для систем аварийной защиты ядерных реакторов
  70. (2010) Исследование сервисов спортивного программирования как многоверсионных проектов
  71. (2010) Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
  72. (2010) Многоэтапный анализ надежности и безопасности информационно-управляющих систем
  73. (2010) Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
  74. (2010) О деградирующих системах с деградирующими компонентами
  75. (2010) Оценка надежности системы аппаратно-синхронизированного мажоритирования с применением активных обратных связей
  76. (2010) Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
  77. (2010) Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления
  78. (2010) Принципи побудови волоконно-оптичної інтелектуальної мережі
  79. (2010) Разработка и исследование базовых моделей отказоустойчивых Web-сервисов
  80. (2010) Технологии высокой готовности для программно-технических комплексов космических систем
  81. (2010) Учет вторичных дефектов в моделях надежности программных средств
  82. (2011) Анализ сценариев и определение параметров для оценки надежности программных средств с учетом вторичных дефектов
  83. (2011) Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения
  84. (2011) Безопасность ракетно-космической техники и надежность компьютерных систем: 2000 - 2009 гг.
  85. (2011) Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
  86. (2011) Использование генетических алгоритмов для разработки систем на ПЛИС: одно- и мультигенотипные технологии
  87. (2011) Модели готовности дублированных Web-сервисов
  88. (2011) Насколько формальны формальные методы?
  89. (2011) Оперативная верификация и коррекция программного обеспечения ИУС космических систем. Критичность функций и этапы верификации
  90. (2011) Оперативная верификация и коррекция программного обеспечения ИУС космических систем. Цели, сценарии и модели
  91. (2012) CASE-оценка критических программных систем : Т. 2. Надежность
  92. (2012) CASE-оценка критических программных систем : Т. 3. Безопасность
  93. (2012) Анализ архитектур отказоустойчивых серверов для оценки их надежности
  94. (2012) Анализ применения ПЛИС технологий в медицинском оборудовании
  95. (2012) Анализ производительности параллельного алгоритма агрегации XML-файлов в задачах обработки баз данных уязвимостей
  96. (2012) Влияние интенсивности проведения профилактического техобслуживания на готовность автоматизированных систем охраны
  97. (2012) Информационные технологии для критических инфраструктур
  98. (2012) Исследование имитационных моделей готовности двухканальной информационно-управляющей системы космического аппарата
  99. (2012) Качество в использовании интерактивных параллельных программных систем
  100. (2012) Метод оценивания надежности программных средств с учетом вторичных дефектов
  101. (2012) Методика комплексной оценки безопасности человеко-машинного интерфейса ИУС критического применения
  102. (2012) Нечеткая оценка многоуровневой деградации информационно-управляющих систем в условиях неопределенности
  103. (2012) Оценка контролепригодности цифровых компонентов встроенных систем критического применения
  104. (2012) Рабочее диагностирование безопасных информационно-управляющих систем
  105. (2012) Распределенная архитектура как средство повышения надежности и живучести бортовых информационно-управляющих систем
  106. (2013) "Зеленая" программируемая логика: концепция и элементы реализации для FPGA проектов
  107. (2013) Информационная безопасность индустриальных ИУС на FPGA: нормативная база и SIS подход
  108. (2013) Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа "замыкание"
  109. (2013) Полумарковская модель протекания аварии критической инфраструктуры
  110. (2013) Применение компьютерных технологий для оценивания надежности и безопасности программно-технических комплексов
  111. (2013) Разработка базовых марковских моделей для исследования готовности коммерческих веб-сервисов
  112. (2013) Разработка марковских моделей готовности информационных и управляющих систем с учетом характеристик человеко-машинного интерфейса
  113. (2013) Технологии Web, Grid, Cloud для гарантоспособных ИТ-инфраструктур
  114. (2013) Формирование подмножеств уязвимостей доступности коммерческих веб-сервисов
  115. (2013) Формирование подмножеств уязвимостей доступности коммерческих веб-сервисов
  116. (2013) Эволюция моделей качества программного обеспечения: методика и результаты анализа в контексте стандарта ISO 25010
  117. (2014) Зеленая ИТ-инженерия : Т . 1. Принципы, компоненты, модели
  118. (2014) Зеленая ИТ-инженерия : Т. 2. Системы, индустрия, социум
  119. (2014) Инструментированное оценивание надежности программно-технических комплексов при росте интенсивности отказов
  120. (2014) Информационная технология оценивания готовности ифнормационно-управляющих систем с использованием марковских моделей на основе выбора инструментальных средств
  121. (2014) Масштабируемая реализация алгоритмов шифрования на ПЛИС: алгоритм IDEA
  122. (2014) Метод оценивания безопасности критической энергетической инфраструктуры с учетом надежности цифровой подстанции
  123. (2014) Метод причинно-следственной декомпозиции аварий и инцидентов критических инфраструктур
  124. (2014) Методи системного аналізу в радіоелектроніці та комп'ютерній інженерії
  125. (2014) Метрико-интервальные модели и инструментальные средства для оценивания готовности информационно-управляющих систем с использованием марковских процессов
  126. (2014) Модели готовности двухканальной информационно-управляющей системы с учетом обновления программных средств
  127. (2014) Применение аппарата теории массового обслуживания для исследования процессов выявления и устранения уязвимостей программных средств
  128. (2014) Применение дискретных законов распределения в модели доступности информационного ресурса с профилактическими мерами аудита безопасности
  129. (2014) Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью
  130. (2014) Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
  131. (2014) Тестирование программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
  132. (2014) Элементы методологии профилеориентированного оценивания качества программного обеспечения информационных систем
  133. (2015) Анализ характеристик и выбор средств разработки компьютерных игр
  134. (2015) Имитационное моделирование веб-системы при атаках на уязвимости компонент и конфигураций
  135. (2015) Інноваційна освіта та наука в галузі інформаційних технологій: досвід Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"
  136. (2015) Методология обеспечения безопасности критических инфраструктур в условиях неопределенности: концепция и принципы
  137. (2015) Міжелектронні кореляції, релятивістські й ангармонічні ефекти у сплавах перехідних металів
  138. (2015) Многофрагментные марковские модели отказоустойчивых Web-сервисов с устранением проектных дефектов
  139. (2015) Модели готовности веб-системы с учетом программных отказов и атак на уязвимости конфигурации службы DNS
  140. (2015) Модели развития уязвимостей IТ-продуктов: патологические цепочки в контексте марковского анализа
  141. Стандарты информационной безопасности для облачных технологий и тенденции их развития
  142. (2016) Анализ аспектов безопасности кооперативных человеко-машинных интерфейсов для облачных систем помощи водителю
  143. (2016) Анализ стохастических методов метамоделирования и оценивания готовности облачных инфраструктур
  144. (2016) Выбор энергоэффективных FPGA: методика и инструментальное средство
  145. (2016) Концепція побудови мобільних систем пост-аварійного моніторингу АЕС з використанням флоту квадрокоптерів
  146. (2016) Метод отбора дефектосодержащих компонентов программных систем
  147. (2016) Наукометрический анализ конференций "Гарантоспособные системы, сервисы и технологии" (DESSERT 2006-2014)
  148. (2016) Оценка безопасности систем на FPGA с использованием XMECA для V-модели жизненного цикла
  149. (2016) Полумарковская модель готовности облачной инфраструктуры с интегрированной системой мониторинга технического состояния
  150. (2016) Розрахунок показників безвідмовності для ІТ-систем з хмарною послугою NaaS
  151. (2016) Экспериментальная проверка метода отбора дефектосодержащих компонентов программных систем
  152. (2017) Монолітні веб-сервіси та мікросервіси: порівняння та вибір
  153. (2017) Мультирівнева модель даних для ідентифікації забезпеченості вимог відповідно нормативно-правовому забезпеченню кібербезпеки цивільної авіації
  154. (2017) Оцінювання готовності інформаційно-керуючої системи космічного апарату з усуненням програмних дефектів після проведення оперативної онлайн-верифікації
  155. (2018) Методологічні засади оцінювання та забезпечення безпеки критичних інформаційних інфраструктур
  156. (2011) Анализ тенденций развития информационно-управляющих систем, важных для безопасности
  157. (2014) Динамическая реконфигурация веб-системы на основе метрического анализа баз данных уязвимостей OTS-компонентов
Подібні імена (у списках можуть бути публікації таких авторів):
  1. Харченко Вадим Борисович (1965–) (юридичні науки)
  2. Харченко Вадим Юрійович (історичні науки)
  3. Харченко Валентина Сергіївна (технічні науки)
  4. Харченко Валерій Володимирович (1957–) (фізико-математичні науки ; технічні науки)
  5. Харченко Василь Олегович (фізико-математичні науки)
  6. Харченко Віктор Федорович (технічні науки)
  7. Харченко Вікторія Анатоліївна (економічні науки)
  8. Харченко Вікторія Євгенівна (біологічні науки)
  9. Харченко Вікторія Євгеніївна (1977–) (психологічні науки)
  10. Харченко Вілен Олександрович (економічні науки)
  11. Харченко Віталій Віталійович (державне управління)
  12. Харченко Віталій Олександрович (біологічні науки)
  13. Харченко Віталіна Сергіївна (біологічні науки)
  14. Харченко Владислав Федорович (1937–) (фізико-математичні науки)
  15. Харченко Володимир Віталійович (економічні науки)
  16. Харченко Володимир Захарович (медичні науки)
  17. Харченко Володимир Олександрович (філософські науки)
  18. Харченко Володимир Петрович (1943–) (технічні науки)
  19. Харченко В'ячеслав Валерійович (географічні науки)
  20. Харченко Вячеслав Вікторович (медичні науки)
  21. Харченко Вячеслав Сергійович (технічні науки)
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського