- Software package for the implementation of bioinspired algorithms for the design of fault-tolerant control systems [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Journal of Physics: Conference Seriesприсутствует в Scopus
- Bio-inspired information technology for multi-version design of highly reliable software systems [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineeringприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Analysis of RTOS for hardware and software support of environmental monitoring technologies [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Earth and Environmental Scienceприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Assessment of planning methods at job-order manufacturing facilities : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineeringприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Combined efficiency margin in the implementation of the DEA method [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineeringприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- GERT-network optimization model for technologies of hazardous industry management [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineeringприсутствует в Scopus (1 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Statistical model checking for blockchain-based applications [доклад, тезисы доклада, статья из сборника материалов конференций]2020, IOP Conference Series: Materials Science and Engineeringприсутствует в Scopus (2 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Compiler-compiler of multi syntax programming languages for creating N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Seriesприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Enhanced pushdown automaton for recognizing multi-syntax programming languages [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Seriesприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Algorithm diversity metric for N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Seriesприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Algorithm source codes generation for ensuring N-version software diversity [доклад, тезисы доклада, статья из сборника материалов конференций]2019, Journal of Physics: Conference Seriesприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- On the problem of monitoring a technological process based on multipoint spatial measurement of parameters : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2019, IOP Conference Series: Earth and Environmental Scienceприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- On the problem of monitoring a technological process based on multipoint spatial measurement of parameters [доклад, тезисы доклада, статья из сборника материалов конференций]2019, IOP Conference Series: Earth and Environmental Scienceприсутствует в Scopus (5 цит.), РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
- OPTIMIZING THE READABILITY OF TESTS GENERATED BY SYMBOLIC EXECUTION : научное издание [статья из журнала]2019, Сибирский журнал науки и технологийприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- A new approach to multi-version decision-making to improve the reliability of environmental monitoring parameters [статья из журнала]2018, IOP Conference Series: Materials Science and Engineeringприсутствует в Web of Science Core Collection, Scopus (5 цит.)
- Поиск недостающих вызовов библиотечных функций с использованием машинного обучения : научное издание [статья из журнала]2017, Труды Института системного программирования РАНприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ АЛГОРИТМОВ : научное издание [статья из журнала]2017, Фундаментальные исследованияприсутствует в РИНЦ (eLIBRARY.RU) (3 цит.), Список ВАК
- Оптимизация читаемости тестов порождаемых при символьных вычислениях : научное издание [статья из журнала]2016, Труды Института системного программирования РАНприсутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) : научное издание [статья из журнала]2016, Международный журнал прикладных и фундаментальных исследованийприсутствует в РИНЦ (eLIBRARY.RU)
- Поиск клонов кода, основанный на векторной модели семантики : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Современные научные исследования и разработки 2016присутствует в РИНЦ (eLIBRARY.RU)
- ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ [статья из журнала]2016, Современные наукоемкие технологииприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- МОДЕЛЬ ДВУХФАЗНОЙ ТРАНСЛЯЦИИ КОДА МУЛЬТИВЕРСИЙ ПРОГРАММНЫХ МОДУЛЕЙ [статья из журнала]2015, Фундаментальные исследованияприсутствует в РИНЦ (eLIBRARY.RU), Список ВАК
- АКТИВНЫЕ МЕТОДЫ ОБУЧЕНИЯ В РАМКАХ ИНИЦИАТИВЫ CDIO ПО НАПРАВЛЕНИЮ «ПРОГРАММНАЯ ИНЖЕНЕРИЯ» [статья из журнала]2014, Современные проблемы науки и образованияприсутствует в РИНЦ (eLIBRARY.RU) (9 цит.), Список ВАК
- МОДЕЛЬ ОПИСАНИЯ УЧЕБНОГО ПРОЦЕССА ПРИ РЕАЛИЗАЦИИ ИНИЦИАТИВЫ CDIO [статья из журнала]2014, Современные проблемы науки и образованияприсутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Список ВАК
- Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем [монография]2013присутствует в РИНЦ (eLIBRARY.RU) (5 цит.)
- Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : автореферат диссертации на соискание ученой степени кандидата технических наук [автореферат диссертации]2009присутствует в РИНЦ (eLIBRARY.RU) (7 цит.)
- Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : диссертация на соискание ученой степени кандидата технических наук [диссертация]2009присутствует в РИНЦ (eLIBRARY.RU) (2 цит.)
- Моделирование распознавателей мультисинтаксических языков программирования мультиверсионных систем [статья из журнала]2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетневаприсутствует в РИНЦ (eLIBRARY.RU) (1 цит.)
- генерация компиляторов мультисинтаксических языков программирования мультиверсионных систем : научное издание [статья из журнала]2008, Программные продукты и системыприсутствует в РИНЦ (eLIBRARY.RU) (4 цит.), Список ВАК
- Принципы формирования мультиверсионного программного комплекса [статья из журнала]2008, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетневаприсутствует в РИНЦ (eLIBRARY.RU) (4 цит.)
- Автоматизация процесса генерации компиляторов мультисинтаксических языков программирования [статья из журнала]2007, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетневаприсутствует в РИНЦ (eLIBRARY.RU) (2 цит.)
- Операционные системы и системное программное обеспечение : учеб. пособие [учебное пособие]2005присутствует в РИНЦ (eLIBRARY.RU) (1 цит.)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.