Publications » History » Revision 10
Revision 9 (Denis Buzdalov, 01/21/2019 02:33 PM) → Revision 10/11 (Denis Buzdalov, 02/04/2019 11:06 AM)
h1. Publications h2. 2019 h3. Papers * Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов. «О представлении модельного времени при помощи механизмов функционального программирования (расширенная версия)». программирования». Расширенная версия оригинальной статьи. attachment:"2019 - Буздалов, Петренко, Хорошилов - О представлении модельного времени... - расширенная.pdf" h2. 2018 h3. Papers * Буздалов Д.В., Петренко А.К., Хорошилов Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов. О «О представлении модельного времени при помощи механизмов функционального программирования. программирования». Принято в печать в сборник Труды ИСП РАН, том 30, вып. 6, 2018 г., стр. 341-366. DOI: 10.15514/ISPRAS-2018-30(6)-20 http://www.ispras.ru/proceedings/isp_30_2018_6/isp_30_2018_6_341/ РАН h3. Slides of related talks * Зеленов С.В., Карнов А.А., Хорошилов А.В. «Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов». Ломоносовские чтения 2018 ф-т ВМК МГУ. — Макс-Пресс, 2018. — С. 119–120. attachment:"2018 - Зеленов, Карнов, Хорошилов - Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов.pdf" * С.В.Зеленов, Д.В.Буздалов, А.А.Угненко, А.В.Хорошилов. «Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем». Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. attachment:"2018 - Зеленов и др - Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем.pdf" * С.Л.Лесовой, А.В.Хорошилов. «Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО». Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. attachment:"2018 - Лесовой, Хорошилов - Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО.pdf"