Публикации сотрудников Лаборатории

Курсовые и дипломные работы

    2017 год

      Статьи в журналах:
    1. (RSCI Web of Science ) Разработка системы контейнерной виртуализации для построения моделей компьютерных сетей, Антоненко В.А., Михеев П.А., Вестник компьютерных и информационных технологий, 2017, № 2
    2. (ТОP-25) Efficient FIB Representations on Distributed Platforms, Kirill Kogan, Sergey Nikolenko, Patrick Eugster, Alexander Shalimov, Ori Rottenstreich в журнале IEEE/ACM Transactions on Networking, издательство Institute of Electrical and Electronics Engineers (United States), 2017, том 99, № 1, с. 1-14
    3. A Reliable In-Band Control in a Software-Defined Network, Khakhalin Anatoly S., Chemeritskiy Evgeny V., The Open Cybernetics & Systemics Journal, том 95, № 17
    4. (Scopus, Web of Science) Ant Algorithms for Scheduling Computations in Data Processing Centers , Kostenko V.A., Plakunov A.V., Moscow University Computational Mathematics and Cybernetics, 2017, том 41, № 1, с. 44-50 DOI: 10.3103/S0278641917010034
    5. (Scopus, Web of Science) Combinatorial Optimization Algorithms Combining Greedy Strategies with A Limited Search Procedure, Kostenko V.A. , Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), 2017, том 56, № 2, с. 218-226 DOI: 10.1134/S1064230717020137 https://istina.msu.ru/publications/article/51263137/
    6. (RSCI Web of Science) Organizing Message Transmission in AFDX Networks, Vdovin P.M., Kostenko V.A., Programming and Computer Software, издательство Consultants Bureau (United States), 2017, том 43, № 1, с. 1-12 DOI: 10.1134/S0361768817010078 https://istina.msu.ru/publications/article/48290545/
    7. (RSCI Web of Science) Алгоритмы комбинаторной оптимизации сочетающие жадные стратегии и ограниченный перебор, Костенко В.А., Известия Российской академии наук. Теория и системы управления, 2017, № 2, с. 61-69 DOI: 10.7868/S0002338817020135 https://istina.msu.ru/publications/article/43370352/
    8. (RSCI Web of Science) Архитектура программно-аппаратных комплексов бортового оборудования, Костенко В.А., Известия высших учебных заведений. Приборостроение, издательство СПбГУ ИТМО (СПб.), 2017, том 60, № 3, с. 229-233 DOI: 10.17586/0021-3454-2017-60-3-229-233
    9. (RSCI Web of Science) Муравьиные алгоритмы для планирования вычислений в центрах обработки данных , Костенко В.А., Плакунов А.В., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), 2017, № 1, с. 44-50
    10. (RSCI Web of Science) Организация передачи сообщений в сетях AFDX, Вдовин П.М., Костенко В.А., Программирование, 2017 № 1, с. 3-18 https://istina.msu.ru/publications/article/43372887/
      1. Статьи в сборниках
      2. Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems, Glonina Alevtina, Bahmurov Anatoly, в сборнике Lecture Notes in Computer Science, место издания Springer International Publishing, том 10421, 2017, с. 289-300
      3. Обобщенная модель функционирования модульных вычислительных систем реального времени для проверки допустимости конфигураций таких систем, Глонина А.Б. в сборнике Суперкомпьютерные дни в России: Труды международной конференции (25-26 сентября 2017 г.), Изд-во МГУ Москва, 2017, с. 800-814
      4. Инструментальная система планирования вычислений в комплексах интегрированной модульной авионики, Балашов В.В., Костенко В.А. в сборнике Материалы докладов 4-й Международной научно-практической конференции "Перспективные направления развития бортового оборудования гражданских воздушных судов", ФГУП "ГосНИИАС" Москва,2017, с. 36-40
      5. Проблемы переноса локационных систем в комплексы с архитектурой интегрированной модульной авионики, Костенко В.А. , в сборнике Материалы докладов 4-й Международной научно-практической конференции "Перспективные направления развития бортового оборудования гражданских воздушных судов", ФГУП "ГосНИИАС" Москва, 2017, с. 73-75
      6. Курс лекций по системам реального времени: цели, структура, направления развития, Балашов В.В., в сборнике Научная конференция "Ломоносовские чтения" 2017, МАКС пресс Москва, 2017, с. 77
      7. Адаптивный метод сбалансированного выбора модулей встроенной вычислительной системы с учётом требований надёжности, Волканов Д.Ю., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016, серия Труды, ФИЦ ИУ РАН Москва, 2016, том 2, с. 20-22
      8. Исследование адаптивного генетического алгоритма для решения задачи оптимизации надежности распределенных вычислительных систем, Запутляев И.А., Волканов Д.Ю., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, я МАКС Пресс Москва, 2016, том 16, с. 119-130
      9. Разработка метода организации централизованного контроля над сетью программно-конфигурируемых коммутаторов без использования вспомогательной сети управления, Хахалин А.С., Чемерицкий Е.В., в сборнике Программные системы и инструменты, Тематический сборник № 16, серия Программные системы и инструменты, МАКС Пресс Москва, том 2016, 16, с. 30-38
        1. 2016 год

            Статьи в журналах:
          1. Концепция программно-конфигурированных сетей: от идеи до стандартизации, Смелянский Р.Л., в журнале CONNECT! Мир связи: Наука. Бизнес. Управление, 2016, № 4, с. 62-67
          2. Настоящее и будущее SDN&NFV , Смелянский Р.Л., в журнале Первая миля, 2016, № 3, с. 78-85
          3. Четыре доминанты SDN в проектах и решениях, Руслан Смелянский, Александр Шалимов, Виталий Антоненко, в журнале CONNECT! Мир связи: Наука. Бизнес. Управление, 2016, № 4, с. 78-84
          4. (RSCI Web of Science) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Волканов Д.Ю., Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 23, № 2, с. 119-136
          5. "Чудеса" Льва Королева Смелянский Р.Л. , в журнале Открытые системы. СУБД, № 3, с. 41-43
          6. (РИНЦ) Проблемы построения бортовых комплексов с архитектурой интегрированной модульной авионики, Костенко В.А., Смелянский Р.Л. , Радиопромышленность, 2016, № 3, с. 63-70 https://istina.msu.ru/publications/article/27334753/
          7. Разработка отечественного коммутатора для программно-конфинурируемых сетей, Смелянский Р.Л., Васин В.В., Беззубцев С.О., Электронная техника. Сер. Микроэлектроника, 2016, том 1, № 161, с. 9-17
            1. Статьи в сборниках
            2. Организация сетевого взаимодействия между компонентами системы NPS , Кочетков П.А., Антоненко В.А., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 72-80
            3. Разработка и реализация системы управления виртуальными сетевыми функциями в облачной платформе, Пинаева Н.М., Антоненко В.А., в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, МАКС Пресс Москва, 2016,том 16, с. 64-71
            4. Разработка системы обеспецения надежного и масштабного виртуального сетевого сервиса в облачной среде, Романов А.Р., Антоненко В.А., в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 81-90
            5. Исследование подходов к построению традиционно-ориентированных сетей, Колосов А.М., Смелянский Р.Л., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 51-63
            6. Об одном подходе к эволюции традиционной сети в программно-конфигурируемую сеть, Янбулатов Р.А., Смелянский Р.Л., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 1, с. 51-63
            7. Планировщик ресурсов для облачных платформ, Костенко В.А., Смелянский Р.Л., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2,
            8. Tool System and Algorithms for Scheduling of Computations in Integrated Modular Onboard Embedded Systems, Balashov V., Balakhanov V., Kostenko V., Tutelian S., в сборнике Proc. 14th IFAC Conference on Programmable Devices and Embedded Systems, Brno, Czech Republic, 2016, с. 345-350
            9. Алгоритмы построения расписаний в информационно-управляющих системах реального времени с архитектурой ИМА, Балашов В.В., Балаханов В.А., Костенко В.А., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2, ФИЦ ИУ РАН Москва, 2016, том 2, с. 14-15
            10. Комплексы бортового радиоэлектронного оборудования с архитектурой ИМА, Балашов В.В., Костенко В.А., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, том 16, с. 91-95 ФИЦ ИУ РАН Москва, том 2, с. 41-43
            11. Live migration of virtual resources in multi-tenant Data Centers, Зотов И.А., Костенко В.А. , в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2, ФИЦ ИУ РАН Москва, том 2, с. 73-75
            12. Tool System and Algorithms for Scheduling of Computations in Integrated Modular Onboard Embedded Systems, Balashov V., Balakhanov V., Kostenko V., Tutelian S., в сборнике Proc. 14th IFAC Conference on Programmable Devices and Embedded Systems, Brno, Czech Republic, 2016, с. 345-350
            13. Использование самообучения для выбора параметров генетических алгоритмов, Костенко В.А., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2, ФИЦ ИУ РАН Москва, 2016, том 2, с. 40-41
            14. Сочетание жадных стратегий и ограниченного перебора при решении задач о выборе максимально совместимого числа заявок, Костенко В.А., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, Труды / том 2, место издания ФИЦ ИУ РАН Москва, 2016, том 2, с. 39-40
            15. How to Represent IPv6 Forwarding Tables on IPv4 or MPLS Dataplanes, Nikolenko S., Kogan K., Retvari G., Kovacs E., Shalimov A. , в сборнике GI 2016: 19th IEEE Global Internet Symposium (INFOCOM). - IEEE, San-Francisco, USA
            16. Автоматическое построение имитационных моделей модульных ИУС РВ, Глонина А.Б., Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
            17. Исследование и модификация алгоритма синхронизации времени от источника сигнала эталонной частоты в ядре Limux Шпилевой В.Д., Герасёв А.В., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 96-107
            18. Построение статико-динамического расписания алгоритмов с обратной связью, Новоселов А.Д., Балаханов В.А., в сборнике Программные системы и инструменты. Тематический сборник №16,, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 108-118
              1. 2015 год

                  Статьи в журналах:
                1. On Network Update Problems for Software Defined Networks, Chemeritskii E.V., Zakharov V.A., Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), 2015, том 49, № 7
                2. VERMONT - средство верификации программно-конфигурируемых сетей, Алтухов В.С., Захаров В.А., Подымов В.В., Чемерицкий Е.В., Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление ,2015, том 212, № 1, с. 74-87
                3. Исследование эффективности процедуры агрегации виртуальных каналов при построении бортовых коммутируемых сетей, Вдовин П.М., Костенко В.А., Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2015, № 4, с. 32-40
                4. (web of science, scopus) On the estimation of the execution frequency of sequential program code snippets, Korolev V.Yu, Smelyanskii R.L., Smelyanskii T.R., Shalimov A.V., Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), 2015, том 54, № 4, с. 540-545
                5. Об оценивании частоты выполнения фрагментов кода последовательной программы, Королев В.Ю., Смелянский Р.Л., Смелянский Т.Р., Шалимов А.В., Известия РАН Сер.: Теория и системы управления, 2015, том 54, № 4, с. 39-44
                6. (web of science, scopus) Resource Allocation Algorithm in Data Centers with a Unified Scheduler for Different Types of Resources, Zotov I.A., Kostenko V.A., Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), 2015, том 54, № 1, с. 59-68 DOI: 10.1134/S1064230715010141
                7. (web of science, scopus) Self-Learning Genetic Algorithm, Kostenko V.A., Frolov A.V., Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), 2015,том 54, № 4, с. 525-539
                8. (scopus) Simulated annealing algorithm for job shop scheduling on reliable real-time systems, Zorin D.A., Kostenko V.A., Communications in Computer and Information Science,2015, том 509, с. 31-46
                9. Studying the Effectiveness of an Aggregation Procedure for Virtual Links in Constructing Onboard Switched Networks, Vdovin P.M., Kostenko V.A., Moscow University Computational Mathematics and Cybernetics, 2015, том 39, № 4, с. 184-192
                10. Алгоритм распределения ресурсов в центрах обработки данных с единым планировщиком для различных типов ресурсов, Зотов И.А., Костенко В.А., Известия Российской академии наук. Теория и системы управления, 2015, № 1, с. 61-71
                11. Генетический алгоритм с самообучением, Костенко В.А., Фролов А.В., Известия Российской академии наук. Теория и системы управления, 2015, № 4, с. 24-38
                12. (web of science, scopus) A Combined Toolset for the Verification of Real-Time Distributed Systems, Konnov I., Podymov V.V., Volkanov D.Y., Zakharov V.A., Zorin D., Programming and Computer Software, издательство Consultants Bureau (United States), 2015,том 41, № 6, с. 325-335
                13. Комбинированное средство верификации распределённых вычислительных систем реального времени, Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В., Программирование, 2015, № 6,
                  1. Статьи в сборниках
                  2. (web of science, scopus) Congestion Elimination on Data Storages Network Interfaces in Datacenters, Vdovin P.M., Zotov I.A., Kostenko V.A., Plakunov A.V., в сборнике Parallel Computing Technologies, серия Lecture Notes in Computer Science, Springer International Publishing Switzerland, 2015, том 9251, с. 298-303
                  3. Managing Network Resources with Flow (De) Multiplexing Protocol, Chemeritskiy E., Stepanov E., Smeliansky R., в сборнике MATHEMATICAL and COMPUTATIONAL METHODS in ELECTRICAL ENGINEERING, серия Recent Advances in Electrical Engineering Series, WSEAS Press Sofia, Bulgaria, 2015, том 53, с. 35-43
                  4. The Runos OpenFlow Controller, Alexander Shalimov, Sergey Nizovtsev, Danila Morkovnik, Ruslan Smeliansky, в сборнике Proceedings of the 4th European Workshop on Software Defined Networks, IEEE Bilbao, Spain 2015,
                  5. Опыт построения среды имитационного моделирования распределенных систем с применением HLA, Балашов В.В., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., в сборнике Третья международная кнаучно-пратическая конференция "Имитационное и комплексное моделирование морской техники и морских транспортных систем" - ИКМ МТМТС 2015, ИКМ МТМТС 2015 Санкт-Петербург, 2015, с. 36-40
                  6. SDN programming challenges and approaches to handle them in an OpenFlow controller, Shalimov A., Nizovtsev S., Morkovnik D., Smeliansky R., в сборнике Proceedings of the 11th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR, серия ACM International Conference Proceeding Series, Moscow, Russia 2015,
                  7. A Genetic Algorithm for Training Recognizers of Latent Abnormal Behavior of Dynamic Systems, Shcherbinin V.V., Kostenko V.A., в сборнике Proceedings of 7th International Joint Conference on Computational Intelligence, Lisbon, Portugal, том 1, с. 358-365, 2015,
                  8. Модифицированный гибридный алгоритм синхронизации времени в среде моделирования ДИАНА, Волканов Д.Ю., Глонина А.Б., Кибитова В.Н., в сборнике Труды седьмой всероссийская научно-практическая конференция "Имитационное моделирование. Теория и практика" ИММОД-2015. Труды конф., 21-23 октября 2015, Москва / Под общей ред. С.Н. Васильева, Р.М. Юсупова (Москва, Россия, 21-23 октября 2015), Санкт-Петербург, 2015, том 1, с. 214-219
                  9. 2014 год

                      Статьи в журналах:
                    1. How to make a simple tool for verification of real-time systems, Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A., Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), 2014, том 48, № 7, с. 534-542
                    2. (web of science, scopus) Algorithm for Resource Allocation in Data Centers with Independent Schedulers for Different Types of Resources, Vdovin P.M., Kostenko V.A., Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), 2014, том 53, № 6, с. 854-866
                    3. (web of science, scopus) Algorithm to Simulate Annealing in Problems of Multiprocessor Scheduling, Zorin D.A., Kostenko V.A., Automation and Remote Control, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), 2014, том 75, № 10, с. 1790-1801
                    4. A formal model and verification problems for Software Defined Networks, Chemeritsky E.V., Smeliansky R.L., Zakharov V.A., Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), 2014, том 48, № 7, с. 398-406
                    5. (web of science) Comparing Various Approaches to Resource Allocating in Data Centers, Vdovin P.M., Zotov I.A., Kostenko V.A., Plakunov A.V., Smelyansky R.L., Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), 2014, том 53, № 5, с. 689-701 DOI: 10.1134/S1064230714040145
                    6. Программирование уровней передачи данных в ПКС, Смелянский Р., Шалимов А., Чемерицкий Е., в журнале CONNECT! Мир связи, 2014, № 4, с. 44-50
                    7. Программно-определяемые сети: перспективы роста, Городецкий Я., Лапин Е., Пустошилов В., Смелянский Р., Фишкин С., в журнале CONNECT! Мир связи , 2014, № 4, с. 56-61,
                    8. (scopus) Estimating the Convergence of a Simulated Annealing Algorithm for the Problem of Constructing Multiprocessor Schedules, Zorin D.A., Moscow University Computational Mathematics and Cybernetics, 2014, том 38, № 2, с. 83-90
                    9. Сравнение различных подходов к распределению ресурсов в центрах обработки данных, Вдовин П.М., Зотов И.А., Костенко В.А., Плакунов А.В., Смелянский Р.Л., Известия Российской академии наук. Теория и системы управления, 2014, № 5, с. 71-83
                    10. (web of science) Оценка сходимости алгоритма имитации отжига для задачи построения многопроцессорных расписаний, Зорин Д.А., Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, № 2, с. 79-89
                    11. Технологии SDH и NFV: новые возможности для телекоммуникаций, СМЕЛЯНСКИЙ Р.Л., Вестник связи, 2014, № 1, с. 1-1
                    12. Технологии реализации программно конфигурируемых сетей: Overlay vs OpenFlow, Смелянский Руслан, Журнал сетевых решений, 2014, том 20, № 4, с. 53-55
                    13. Что придет на смену традиционным вычислительным сетям, Смелянский Р.Л., CNews, 2014, № 72, с. 56-59
                    14. (web of science) Алгоритм имитации отжига для решения задач построения многопроцессорных расписаний, Зорин Д.А., Костенко В.А., Автоматика и телемеханика, 2014, № 10, с. 97-110
                    15. Алгоритм распределения ресурсов в центрах обработки данных с раздельными планировщиками для различных типов ресурсов, Вдовин П.М., Костенко В.А., Известия Российской академии наук. Теория и системы управления, 2014, № 6, с. 80-93
                    16. О некоторых задачах реконфигурирования программно-конфигурируемых сетей, Захаров В.А., Чемерицкий Е.В. , Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), 2014, том 21, № 6, с. 57-69
                    17. Сравнение различных подходов к распределению ресурсов в центрах обработки данных, Вдовин П.М., Зотов И.А., Костенко В.А., Плакунов А.В., Смелянский Р.Л., Известия Российской академии наук. Теория и системы управления, 2014, № 5, с. 71-83
                    18. Каким должен быть контроллер SDN, Шалимов А.В., Вестник связи, 2014, с. 4-43
                      1. Статьи в сборниках:
                      2. (scopus) An Analysis of Approaches to Onboard Networks Design, Balashov V., Kostenko V., Vdovin P., Smeliansky R., Shalimov A., в сборнике Proceedings of the Modern Networking Technologies (MoNeTec), IEEE, место издания Moscow, Russia, 2014, с. 20-24
                      3. (scopus) In-kernel offloading of an SDN/OpenFlow Controller, Shalimov A., Ivashchenko P., в сборнике Proceedings of the Modern Networking, Тechnologies (MoNeTec), IEEE, Moscow, Russia, 2014, с. 27-29
                      4. Chandelle: Smooth and Fast WiFi Roaming with SDN/OpenFlow, Monin S., Shalimov A., Smeliansky R., в сборнике Proceedings of the 2014 Open Networking Summit Research Track, USENIX, March 3-5, место издания Santa Clara, USA 2014,
                      5. (scopus) Controller Failover for SDN Enterprise Networks, Pashkov V., Shalimov A., Smeliansky R., в сборнике Proceedings of the Modern Networking Technologies (MoNeTec), IEEE, место издания Moscow, Russia, 2014, с. 27-29
                      6. EasyWay: Simplifying and automating enterprise network management with SDN/OpenFlow, Shalimov A., Morkovnik D., Nizovtsev S., Smeliansky R., в сборнике Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2014, ACM, место издания Moscow, Russia 2014,
                      7. Информатика, Волканов Д.Ю., Малышко В.В., Столяров А.В., Терехин А.Н., Чернов А.В., Шестимеров А.А. ,в сборнике Олимпиада школьников "Ломоносов". Учебно-методическое пособие, место издания МГУ имени М.В. Ломоносова Москва, 2014, с. 32-34
                      8. (scopus) Consistent network update without tagging , Chemeritskiy E.V., Zakharov V.A. , в сборнике SDN&NFV:The Next Generation of Comput. Infrastructure: 2014 Intern. Sci. and Technol. Conf. "Modern Networking Technologies (MoNeTec)", место издания МАКС Пресс Москва, 2014,с. 47-52
                      9. Исследование гибридного алгоритма синхронизации времени для среды имитационного моделирования ДИАНА, Волканов Д.Ю., Глонина А.Б., Кибитова В.Н., в сборнике Программные системы и инструменты, место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ, 2014, том 15, с. 105-115
                      10. Разработка и реализация алгоритма планирования заданий на гомогенном кластере с учётом нагрева процессоров , Волканов Д.Ю., Мельников А.О. ,в сборнике Программные системы и инструменты, место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ, 2014, том 15, с. 137-148
                      11. An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts ,Konnov I.V., Podymov V.V., Volkanov D.Yu, Zakharov V.A., Zorin D.A., Glonina A.B.,в сборнике Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint, место издания Saint Petersburg State Polytechnical University Petersburg, Russia, 2014, с. 32-46
                      12. High performance in-kernel SDN/OpenFlow controller, Ivashchenko P., Shalimov A., Smeliansky R., в сборнике Proceedings of the 2014 Open Networking Summit Research Track, USENIX, March 3-5, место издания Santa Clara, USA 2014,
                      13. Large Scale Network Simulation Based on Hi-Fi Approach, Vitaly Antonenko, Ruslan Smeliansky, Andrey Nikolaev, в сборнике Proceedings of the 2014 Summer Computer Simulation Conference, место издания США, Монтерей, 2014, с. 20-27
                      14. On QoS management in SDN by multipath routing, Smeliansky R.L., Chemeritsky E.V., в сборнике SDN&NFV: The Next Generation of Computational Infrastructure: 2014 International Science and Technology Conference “Modern Networking Technologies (MoNeTec)”: Proceedings, место издания MAKS Press Moscow, Russia, 2014, с. 41-46
                      15. VERMONT - a toolset for checking SDN packet forwarding policies on-line, Altukhov V.S., Chemeritskiy E.V., Podymov V.V., Zakharov V.A., в сборнике SDN&NFV:The Next Generation of Comput. Infrastructure: 2014 Intern. Sci. and Technol. Conf. "Modern Networking Technologies (MoNeTec)", место издания МАКС Пресс Москва, 2014, с. 7-12
                      16. SDN for network security, Smeliansky R., в сборнике Proceedings of the 2014 international science and technology conference "Modern Networking Technologies (MoNeTec)", серия SDN@NFV modern networking technologies, место издания Макс Пресс Москва, Россия, 2014, с. 155-159
                      17. Selforganizing cloud platform, Kostenko V., Plakunov A., Nikolaev A., Tabolin V., Smeliansky R., Shakhova M., в сборнике Proceedings of the 2014 international science and technology conference "Modern Networking Technologies (MoNeTec)", серия SDN@NFV modern networking technologies, место издания Макс Пресс Москва, Россия, 2014, с. 77-82
                      18. Localizing errors in controller applications, Perevedentsev, M., Antonenko, V. , 2014, Source of the Document SDN and NFV: Next Generation of Computational Infrastructure - 2014 International Science and Technology Conference - Modern Networking Technologies, MoNeTec 2014, Proceedings 2014,
                      19. Towards SDI-bases infrastructure for supporting science in Russia, Antonenko V., Smeliansky R., Baldin I., Ishvanov Y., Gugel Y., в сборнике Proceedings of the 2014 international science and technology conference "Modern Networking Technologies (MoNeTec)", серия SDN@NFV modern networking technologies, место издания Макс Пресс Москва, Россия, 2014,с. 13-19
                      20. Scheduling of Computational Tasks in Switched Network-Based IMA Systems, Balashov V.V., Balakhanov V.A., Kostenko V.A., в сборнике Proc. International Conference on Engineering and Applied Sciences Optimization, место издания National Technical University of Athens (NTUA) Athens, Greece, 2014, с. 1001-1014
                      21. On real-time delay monitoring in Software-Defined Networks , Altukhov V., Chemeritskiy E. , в сборнике Proceedings of the 2014 international science and technology conference "Modern Networking Technologies (MoNeTec)", серия SDN@NFV modern networking technologies, место издания Макс Пресс Москва, Россия, 2014, с. 1-6
                      22. On the Network Update Problem for Software Defined Networks, Chemeritskiy E.V., Zakharov V.A., в сборнике Proceedings of the 5th Workshop "Program Semantics, Specification and Verification: Theory and Applications", место издания Издательский дом ГУ ВШЭ Москва, 2014, с. 26-37
                      23. Подход к использованию имитационного моделирования при решении задач синтеза и планирования в модульных вычислительных системах, Балашов В.В., Бахмуров А.Г., Глонина А.Б., в сборнике Программные системы и инструменты, серия Тематический сборник, место издания Изд-во факультета ВМиК МГУ Москва, 2014, том 15, с. 116-136
                      24. Data Center Resource Mapping Algorithm Based on the Ant Colony Optimization, Plakunov A., Kostenko V., в сборнике Proceedings of the Modern Networking Technologies (MoNeTec), IEEE, место издания Moscow, Russia, 2014,с. 127-132
                      25. Job Shop Scheduling and Co-design of Real-Time Systems with Simulated Annealing , Zorin D.A., Kostenko V.A., в сборнике Proceedings of the 3rd International Conference on Operations Research and Enterprise Systems, место издания Angers, France, 2014, с. 17-26
                      26. 2013 год

                          статьи в журналах:
                        1. (web of science, scopus) An Algorithm for Constructing Single Machine Schedules Based on Ant Colony Approach, Kostenko V.A., Plakunov A.V., в журнале Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 52, № 6, с. 928-937
                        2. (web of science, scopus) Scheduling Algorithms for Real-Time Computing Systems Admitting Simulation Models, Kostenko V.A., в журнале Programming and Computer Software, издательство Consultants Bureau (United States), том 39, № 5, с. 255-267
                        3. (scopus) Training Methods and Algorithms for Recognition of Nonlinearly Distorted Phase Trajectories of Dynamic Systems, Kostenko V.A., Shcherbinin V.V., в журнале Optical Memory and Neural Networks (Information Optics), издательство Allerton Press Inc. (United States), том 22, № 1, с. 8-20
                        4. Алгоритм построения одноприборных расписаний, основанный на схеме муравьиных колоний, Костенко В.А., Плакунов А.В., в журнале Известия Российской академии наук. Теория и системы управления, № 6, с. 83-92
                        5. Алгоритмы построения расписаний для вычислительных систем реального времени, допускающие использование имитационных моделей, Костенко В.А. , в журнале Программирование, № 5, с. 53-71
                        6. (web of science, scopus) Integrated Environment for the Analysis and Design of Distributed Real-Time Embedded Computing Sustems, Smelyansky R.L., Bakhmurov A.G., Volkanov D.Yu, Chemeritskii E.V., Programming and Computer Software, издательство Consultants Bureau (United States), том 39, № 5, с. 242-254
                        7. (web of science, scopus) Model of Distributed Computing System Operation with Time, Smeliansky R.L., Programming and Computer Software, издательство Consultants Bureau (United States), том 39, № 5, с. 223-241
                        8. (web of science, scopus) Problems of instrumental support for the development of distributed embedded real time systems, Bakhmurov A.G., Smeliansky R.L., в журнале Programming and Computer Software, издательство Consultants Bureau (United States), том 39, № 5, с. 221-232
                        9. (web of science, scopus) Simulation of malicious activity in wide area networks, Antonenko V.A., Smelyanskiy R.L. , в журнале Programming and Computer Software, издательство Consultants Bureau (United States), том 39, № 1, с. 25-33
                        10. Интегрированная среда для анализа и разработки встроенных вычислительных систем реального времени, Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чемерицкий Е.В. Программирование, № 5, с. 35-52
                        11. Моделирование вредоносной активности в глобальной компьютерной сети, Антоненко В.А., Смелянский Р.Л., Программирование, № 1, с. 60-72
                        12. Модель функционирования распределённой вычислительной системы с временем, Смелянский Р.Л. , Программирование, № 5, с. 22-34
                        13. Обеспечение сетевой безопасности с помощью программно-конфигурируемых сетей, Гамаюнов Д.Ю., Платонов И.С., Смелянский Р.Л., в журнале Системы высокой доступности, № 3, с. 85-97
                        14. Проблемы инструментальной поддержки разработки распределённых встроенных систем реального времени, Бахмуров А.Г., Смелянский Р.Л., Программирование, № 5, с. 5-21
                        15. (web of science) Статистическая проверка неисполняемости фрагментов кода последовательной программы, Королев В.Ю., Смелянский Р.Л., Смелянский Т.Р., Шалимов А.В., Информатика и ее применения, том 7, № 2, с. 50-54
                        16. Формальная модель и задачи верификации программно-конфигурируемых сетей, Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В., в журнале Моделирование и анализ информационных систем, том 20, № 6, с. 33-48
                          1. статьи в сборниках:
                          2. Задача построения многопроцессорного статико-динамического расписания, Балаханов В.А., Балашов В.В., Костенко В.А., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 27-28
                          3. A Family of Testbenches to Support Testing of Real-Time Avionics Systems, Balashov V.V., Chistolinov M.V., Smeliansky R.L., в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany
                          4. Convergence and Accuracy Measurement of Scheduling on Multiprocessors with Simulated Annealing, Zorin D.A., в сборнике VII Moscow International Conference on Operations Research (ORM2013). Proceedings, место издания MAKS Press Moscow, том 1, с. 94-97
                          5. Scheduling Signal Processing Tasks for Antenna Arrays with Simulated Annealing, Zorin D.A., в сборнике Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE, место издания National Research Technical University Kazan, Russia: Kazan, с. 122-127
                          6. A Formal Model and Verification Problems for Software Defined Networks, Chemeritskiy E.V., Smelyansky R.L., Zakharov V.A., в сборнике Proceedings of the 4-th International Workshop "Program Semantics, Specification and Verification: Theory and Applications", место издания Yekaterinburg, Russia, с. 21-30
                          7. An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts ,Konnov I.V., Podymov V.V., Volkanov D.Yu, Zakharov V.A., Zorin D.A., Glonina A.B.,в сборнике Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint, место издания Saint Petersburg State Polytechnical University Petersburg, Russia, с. 32-46
                          8. (scopus) Advanced study of SDN/OpenFlow controllers, Shalimov A., Zuikov D., Zimarina D., Pashkov V., Smeliansky R., в сборнике 9th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2013, серия ACM International Conference Proceeding Series, место издания Moscow; Russian Federation;
                          9. DYANA: an integrated development environment for simulation and verification of real-time avionics systems, Antonenko V.A., Chemeritsky E.V., Glonina A.B., Konnov I.V., Pashkov V.N., Podymov V.V., Savenkov K.O., Smeliansky R.L., Vdovin P.M., Volkanov D.Yu, Zakharov V.A., Zorin D.A. , в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany
                          10. (scopus) Global Network Modelling Based on Mininet Approach, Antonenko Vitaly, Smelyanskiy Ruslan, в сборнике Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, серия HotSDN ’13, место издания ACM New York, NY, USA, с. 145-146
                          11. Is it a solution for network security?, Smelyansky R.L., в сборнике Seventh International forum "Partnership of State Authorities, Civil society and the Business Community in Ensurin International Information Sucurity" and 7 Scientific Conference of the International Information Security Research Consortium, Germany, место издания Типография МГУ Moscow, с. 309-316
                          12. On Bringing Software Engineering to Computer Networks with Software Defined Networking, Shalimov A., Smeliansky R., в сборнике Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE, место издания National Research Technical University Kazan, Russia: Kazan
                          13. Program compaction for real-time applications, Shalimov A., Smeliansky R., в сборнике Progress in flight dynamics, guidance, navigation, control, fault detection, and avionics, серия EUCASS advances in aerospace sciences book series, издательство EDP Sciences (France), том 6, с. 469-486
                          14. Simulation modeling based method for choosing an effective set of fault tolerance mechanisms for real-time avionics systems. flight dynamics, guidance, navigation, control, fault detection, and avionics, Bakhmurov A., Balashov V., Glonina A., Pashkov V., Smeliansky R., Volkanov D., в сборнике EUCASS advances in aerospace sciences book series, место издания EDP Sciences, France, том 6, с. 487-500
                          15. Задача распределения ресурсов центров обработки данных и подходы к ее решению, Вдовин П.М., Зотов И.А., Костенко В.А., Плакунов А.В., Смелянский Р.Л., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 30-32
                          16. Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA, Волканов Д.Ю., Антоненко В.А., Герасёв А.В., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В., в сборнике Сборник докладов шестой всероссийской научно-практической конференции "Имитационное моделирование. Теория и практика" (ИММОД-2013), место издания Издательство "ФЭН" Академии наук РТ, Казань, том 1, с. 322-326
                          17. Программно-конфигурируемые сети: решение проблемы безопасности сетей?, Смелянский Р.Л., в сборнике VII международный форум "Партнерство государства, бизнеса и гражданского общества при обеспечении международной информационной безопасности и Седьмая научная конференция Международного исследовательского консорциума информационной безопасности, Германия, место издания Типографим МГУ Москва, с. 300-308
                          18. (scopus) A Modification of Training and Recognition Algorithms for Recognition of Abnormal Behavior of Dynamic Systems, Shcherbinin V.V., Kostenko V.A. , в сборнике In proceedings of the 5th International Joint Conference on Computational Intelligence, место издания Vilamoura, Algrave, Portugal, с. 103-110
                          19. Проблемы построения расписаний при проектировании информационно-управляющих систем на базе существующих, Шестов П.Е., Костенко В.А., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 56-57
                          20. Выбор эффективного алгоритма синхронизации времени для распределённой системы дискретно-событийного имитационного моделирования с поддержкой полунатурного моделирования, Волканов Д.Ю., Глонина А.Б., в сборнике Программные системы и инструменты, серия Театический сборник, место издания МАКС Пресс Москва, том 14, с. 18-29
                          21. S. Gaivoronski, D. Gamayunov, Hide and seek: worms digging at the Internet backbones and edges, Proc. of the 7th Spring/Summer Young Researchers' Colloqium on Software Engineering (SYRCoSE 2013), May 30-31, 2013, Kazan
                          22. С. Гайворонская, Д. Гамаюнов. "Иерархическая топология декомпозированных алгоритмов для обнаружения вредоносного исполнимого кода", тезисы конференции "Ломоносов-2013", апрель 2013, Москва
                          23. Зорин Д.А. Преобразование расписаний в итерационных алгоритмах структурного синтеза вычислительных систем // XX Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс, 2013. С. 24-25
                          24. Щербинин В. В. Сравнение различных подходов к построению системы аксиом при аксиоматическом подходе к распознаванию нештатного поведения динамических систем // Ломоносов-2013: Материалы XX Международной научной конференции студентов, аспирантов и молодых ученых: секция «Вычислительная математика и кибернетика». М.: Издательский отдел факультета ВМК МГУ, 2013. С. 36-37.
                          25. 2012 год

                            1. Balashov V.V., Baranov A.S., Chistolinov M.V., Gribov D.I., Smeliansky R.L. A functional testing toolset and its application to development of dependable avionics software // Advances in Intelligent and Soft Computing, том 170, с. 19-35
                            2. Shalimov A.V., Smeliyanskiy R.L.The method of program compaction for real-time applications // EUCASS book, Advances In Aerospace Sciences, Vol.6, TORUS, серия Advances In Aerospace Sciences, том 6, TORUS Press
                            3. Смелянский Р.Л. Программно конфигурируемые сети - основа интернета нового поколения // Суперкомпьютерные технологии (СКТ-2012) Материалы 2-й Всероссийской научно-технической конференции, с. 321-329, Издательство южного федерального университета Ростов-на-Дону
                            4. Смелянский Р.Л. Программно-конфигурируемые сети// Открытые системы, № 9, с. 15-26
                            5. Чемерицкий Е.В., Волканов Д.Ю., Смелянский Р.Л. Среда полунатурного моделирования на основе стандарта HLA // Труды международной научной конференции Моделирование-2012, Институт проблем моделирования в энергетике им. Г.Е. Пухова, Киев, Украина. 16-18 мая 2012, с. 454-457 (ISBN 978-966-7690-11-3)
                            6. Смелянский Р.Л. Проблемы современных компьютерных сетей. // Труды XIX Всероссийской научно-методической конференции Телематика'2012. 25–28 июня 2012 года, Санкт-Петербург, т.2, с. 370-375
                            7. Смелянский Р.Л. Антоненко В.А. Simulation of Malicious Activity in Wide Area Networks, ISSN 0361_7688, Programming and Computer Software, 2013, Vol. 39, No. 1, pp. 25–33. © Pleiades Publishing, Ltd., 2013.Original Russian Text © V.A. Antonenko, R.L. Smelyanskiy, 2013, published in Programmirovanie, 2013, Vol. 39, No. 1.
                            8. Сапожников А.В. Автоматизация построения моделей нормального поведения// Программирование, 2012, №4, с.29-39.
                            9. П. С. Бушмакин, А. В. Сапожников, Д. Ю. Гамаюнов. Разграничение доступаи минимизация ущерба от атак с помощью сильного принципа наименьших
                              привилегий // Системы высокой доступности, №2, т.8, сс 1-1, изд-во Радиотехника, Москва, 2012
                            10. S. Gaivoronski, Hybrid approach for shellcode detection. High availability systems (Sistemy vysokoy dostypnosti) - No.2, v.8, 2012 С. (Гайворонская, Гибридный метод обнаружения шеллкодов // Системы высокой доступности, No.2, т.8, сс 1-1, изд-во Радиотехника, Москва, 2012)
                            11. Daniil A. Zorin, Valery A. Kostenko. Co-design of Real-time Embedded Systems under Reliability Constraints // Int. IFAC Workshop on PDeS, 2012
                            12. Daniil A. Zorin, Valery A. Kostenko. Co-design of Real-time Embedded Systems under Reliability Constraints// Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS). Brno, Czech Republic, 2012., pp.392-396.
                            13. Daniil A. Zorin, Vladislav V. Podymov Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems // Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2012
                            14. I.V. Konnov, V.V. Podymov, D.Yu. Volkanov, V.A. Zakharov, D.A. Zorin On the designing of model checkers for real-time distributed systems // Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012)
                            15. Зорин Д.А., Подымов В.В., Коннов И.В., Захаров В.А., Волканов Д.Ю. О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВС РВ // Конференция "Моделирование - 2012, "Институт проблем моделирования в энергетике им. Г.Е. Пухова, Киев, Украина. 16-18 мая 2012, с. 199-202 (ISBN 978-966-7690-11-3)
                            16. Подымов В.В., Зорин Д.А. Трансляция моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ // XIX Международная научная конференция студентов, аспирантов и молодых ученых; секция "Вычислительная математика и кибернетика": Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс, 2012. C. 133-134
                            17. В.А. Антоненко, Д.Ю. Волканов, Средство трансляции внутренней логики федерата HLA для построения моделей РВС РВ на языке UML // Труды конференции Моделирование-2012, Институт проблем моделирования в энергетике им. Г.Е. Пухова, Киев, Украина. 16-18 мая 2012, с. 63-66 (ISBN 978-966-7690-11-3)
                            18. Петухов А., Матюнин Н. ОПАСНАЯ РАЗМЕТКА или Настольный справочник по атакам на XML-приложения. // Хакер, №5 (160), Москва, 2012, с. 18-23.
                            19. Костенко В.А., Шестов П.Е. Жадный алгоритм совместного планирования вычислений и обменов в системах реального времени// Известия РАН. Теория и системы управления, 2012., № 5 , С.35-49.
                            20. Д.А.Зорин, В.А.Костенко. Алгоритм синтеза архитектуры вычислительной системы реального времени с учетом требований к надежности// Известия РАН. Теория и системы управления, 2012., № 3, С.76–83. (D.A. Zorin, V.A. Kostenko. Algorithm for Synthesizing a Reliable Real_Time Computing System Architecture. Journal of Computer and Systems Sciences International, 2012, Vol. 51, No. 3, pp. 410–417)
                            21. Коваленко Д.С., Костенко В.А., Щербинин В.В. Параметрическое семейство алгоритмов распознавания нелинейно искаженных фазовых траекторий динамических систем// XIV Всероссийская научно-техническая конференция "Нейроинформатика-2012": Сборник научных трудов. Ч.1. М.: НИЯУ МИФИ, 2012. – С.266-276.
                            22. Petr Shestov, Valery Kostenko, Vasily Balashov. Scheduling Problems In Embedded Real-time Systems// Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS 2012). Brno, Czech Republic, 2012., pp.302-306. .
                            23. Chemeritskiy E.V. Towards a HLA-based Hardware-In-the-Loop simulation runtime // In Proceedings of the 6-th Spring/Summer Young Researchers' Colloquium on Software Engeneering, SYRCoSE-2012, Perm, Russia, 30-31 May 2012, pp. 144-150, М.: Институт системного программирования Российской академии наук (ISBN 978-5-91474-019-8).
                            24. A.V. Shalimov, R.L. Smeliyanskiy The method of program compaction for real-time applications // EUCASS book, Advances In Aerospace Sciences, Vol.6, TORUS Press, 2012., С.1-1.
                            25. Пашков В.Н., Волканов Д.Ю. Разработка средства анализа и визуализации трасс распределенных вычислительных систем реального времени // Труды международной научной конференции «Моделирование-2012», Киев, Украина, 16-18 мая 2012, К.: Институт проблем моделирования в энергетике им. Г.Е. Пухова, стр. 330 – 333. ISBN 978-966-7690-11-3
                            26. Пашков В.Н. Применение генетического алгоритма для оптимизации топологической структуры сети по критериям стоимости и живучести.// Материалы XIX Международной научной конференции студентов, аспирантов и молодых ученых: секция «Вычислительная математика и кибернетика»; 9-13 апреля; Москва, МГУ имени М.В. Ломоносова, факультет ВМК: Сборник тезисов/Сост. Месяц А.И., Шевцова И.Г. – М.: Издательский отдел факультета ВМК МГУ), 2012. – стр. 129-130.
                              ISBN: 978-5-89407-477
                            27. Волканов Д.Ю. Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем реального времени // Сборник тезисов XIX Международной научной конференции студентов, аспирантов и молодых учёных "ЛОМОНОСОВ-2012", секция "ВЫЧИСЛИТЕЛЬНАЯ МАТЕМТИКА И КИБЕРНЕТИКА". Москва, МАКС Пресс, 2012. С. 116-117
                            28. Зорин Д.А., Подымов В.В., Коннов И.В., Захаров В.А., Волканов Д.Ю. О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВС РВ // Сборник трудов конференции "Моделирование - 2012". Киев, Украина, 2012. С. 199-202, К.: Институт проблем моделирования в энергетике им. Г.Е. Пухова (ISBN 978-966-7690-11-3) .

                            2011 год

                            1. Наградов Е. А. Задача построения расписания конфигураций для беспроводных сенсорных сетей // Проблемы управления. 2011. №1. С. 68 – 73
                            2. Наградов Е. А. Централизованный алгоритм формирования расписания конфигураций беспроводной сенсорной сети // Труды конференции "Распределенные компьютерные и телекоммуникационные сети (DCCN-2011)", Москва, 2011, с. 30-37
                            3. S. Gaivoronski. Shellcode detection methods for high-speed network channels. High availability systems (Sistemy vysokoy dostypnosti), No. 2, v. 7, pg. 70-75, 2011
                            4. Петухов А., Раздобаров А. DRIVE-BY-DOWNLOAD ПО-ТИХОМУ или Маскируем вредоносные сайты от wepawet и его друзей. // Хакер,
                              №9 (152), Москва, 2011, с. 73-75.
                            5. Петухов А., Раздобаров А. Направленные атаки @ malware. // Информационно-методический журнал «Защита информации.
                              Инсайд», №4, Санкт-Петербург, 2011, с. 46-50.
                            6. G. Noseevich, A. Petukhov. Detecting Insufficient Access Control in Web Applications. // In Proc.
                              1st SysSec Workshop, DIMVA 2011, Amsterdam, 2011.
                            7. Коваленко Д. С., Щербинин В. В., Костенко В. А. Алгоритм и автоматизированный метод построения алгоритмов распознавания участков фазовых траекторий// Труды 15 Всероссийской конференции Математические методы распознавания образов (ММРО-15), М.: Макс Пресс, 2011., С.196-200.
                            8. Шестов П.Е., Костенко В.А. Анализ подходов к совместному планированию вычислений и обменов в системах реального времени //Программные системы и инструменты. Тематический сборник № 12, М.: Изд-во факультета ВМК МГУ, 2011., С. 1-1.
                            9. Зорин Д.А. Способ представления и преобразования расписаний в итерационных алгоритмах структурного синтеза вычислительных систем реального времени // Программные системы и инструменты. Тематический сборник № 12, М.: Изд-во факультета ВМК МГУ, 2011., С. 163-171.
                            10. Волканов Д.Ю., Глонина А.Б. Исследование модификаций адаптивного гибридного эволюционного алгоритма для задачи сбалансированного выбора модулей РВС РВ и их механизмов обеспечения отказоустойчивости// Программные системы и инструменты. Тематический сборник № 12, М.: Изд-во факультета ВМК МГУ, 2011., С. 150-162.
                            11. Волканов Д.Ю., Зорин Д.А. Исследование применимости моделей оценки надёжности для разработки программного обеспечения с открытым исходным кодом // Прикладная информатика. 2011. №2. ., С. 26-32.
                            12. Anatoly G. Bakhmurov, Vasily V. Balashov, Vasily N. Pashkov, Ruslan L. Smeliansky, Dmitry Yu. Volkanov. Method For Choosing An Effective Set Of Fault Tolerance Mechanisms For Real-Time Embedded Systems, Based OnSimulation Modeling // Problems of dependability and modelling /eds. Jacek Mazurkiewicz [i in.]. Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2011. p. 13-26.
                            13. Chemeritskiy, E.V., Savenkov, K.O., Towards a real-time simulation environment on the edge of current trends // In Proceedings of the 5-th Spring/Summer Young Researchers' Colloquium on Software Engeneering, SYRCoSE-2011, Yekaterinburg, Russia, may 12-13 2011, pp. 128-133.
                            14. Чемерицкий Е.В., Волканов Д.Ю., Смелянский Р.Л. Оценка применимости среды CERTI для моделирования РВС РВ // Пятая всероссийская научно-практическая конференция по имитационному моделированию и его применению в науке и промышленности, ИММОД-2011, Санкт-Петербург, 19-21 октября 2011, т.1, стр. 409-413.
                            15. Антоненко В.А., Коннов И.В.О выборе системы поддержки моделирования на основе высокоуровненой архитектуры // Материалы 17-ой международной конференции по вычислительной механике и современным прикладным программным системам (ВМСППС'2011), 25-31 мая 2011 г., Алушта. - М.:Изд-во МАИ-ПРИНТ, 2011. С.36-38.
                            16. В.А. Антоненко, Д.Ю. Волканов, М.В. Чистолинов. Средство генерации кода имитационной модели совместимой со стандартом HLA // Труды пятой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности "Имитационное моделирование. Теория и практика" ИММОД-2011. Том 1, ОАО "Центр технологии и судостроения", Санкт-Петербург, -2011., С.331-335.
                            17. Пашков В.Н., Волканов Д.Ю., О подходах к трассировке распределённых вычислительных систем реального времени // Материалы 17-ой международной конференции по вычислительной механике и современным прикладным программным системам (ВМСППС'2011), 25-31 мая 2011 г., Алушта. - М.:Изд-во МАИ-ПРИНТ, 2011. С. 36-38.
                            18. В.А. Костенко, Д.С. Коваленко. Алгоритмы распознавания нештатного поведения динамических систем устойчивые к нелинейным искажениям фазовых траекторий системы// Труды Международной научно-практической конференции «Передовые информационные технологии, средства и системы автоматизации и их внедрение на российских предприятиях» AITA-2011. – М.: Институт проблем управления им. В. А. Трапезникова РАН, 2011. – С. 897–905.
                            19. Смелянский Р.Л. Об оценке частоты выполняемого кода последовательных программ. Программирование, 2011, №4, с.28-38
                            20. Р.Смелянский, В.Костенко, В.Балашов, В.Балаханов. Инструментальная система построения расписания обмена данными по каналу с централизованным управлением. Современные технологии автоматизации, 2011, №3, с.78-84.
                            21. A.G. Bakhmurov, V.V. Balashov, V.N.Pashkov, R.L.Smeliansky, D.V.Volkanov Method For Choosing An Effective Set Of Fault Tolerance Mechanisms For Real-Time Embedded Systems, Based OnSimulation Modelling, Problems of dependability and modeling, eds.Jacek Mazurkiewicz. Wroslaw: Oficyna Wydawnicza Polithechniki Wroclawskiej, 2011, p.13-26
                            22. A.V.Shalimov, R.L.Smelianskiy Based On Frequency Characteristics Of Programs Behavior For Embedded Systems. Proc.4th EUCASS European Conference for Aerospace Sciences, St. Petersburg, Russia, 2011.
                            23. V.V. Balashov, A.G. Bakhmurov, A.B.Glonina, V.N.Pashkov, R.L.Smeliansky Simulation Modeling Based Method For Choosing An Effective Set Of Fault Tolerance Techniques For Real-Time Avionics Systems, Proc.4th EUCASS European Conference for Aerospace Sciences, St. Petersburg, Russia, 2011.
                            24. V.V. Balashov, A.G. Bakhmurov, V.A.Balakhanov, M.V.Chistolinov, P.E.Shestov, R.L.Smeliansky Tools For Monitoring Of Data Exchange In Real-Time Avionics Systems Proc.4th EUCASS European Conference for Aerospace Sciences, St. Petersburg, Russia, 2011.
                            25. Смелянский Р.Л. Компьютерные сети: в 2 т. Т.1 Системы передачи данных., М.: Издательский центр «Академия», 2011. -304с.Б.
                            26. Смелянский Р.Л. Компьютерные сети: в 2 т. Т.2. Сети ЭВМ. М.: Издательский центр «Академия», 2011. -240 с.
                            27. Денис Гамаюнов, Критерий Поппера и исследования в области сетевой безопасности. // Журнал "Системы высокой доступности", №2, т.7, стр. 90-92, изд-во "Радиотехника", 2011 г.
                            28. Dennis Gamayunov, Towards malware-resistant networking environment // In Proc. 1st SysSec Workshop, DIMVA 2011, Amsterdam, 2011.

                            2010 год

                            1. A. Shalimov The Method of Programs Compression Base on the Frequency Characteristics of Programs Behaviour // Proccedings of SYRCoSE-2010. Nizhny Novgorod, Russia: Изд-во ИСП РАН, 2010. P. 1-1.
                            2. Chemeritskiy E.V., Savenkov K.O. Formalization and Enforcement of Requirements to Modular Discrete-Event Simulation Runtime // In Proceedings of SYRCoSE-2010. Nizhny Novgorod, Russia: Изд-во ИСП РАН, 2010. P. 1-1.
                            3. D. Kovalenko, V. Kostenko Genetic Algorithm for Construction of Recognizers of Anomalies in Behaviour of Dynamical Systems // Proceedings of the IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications. China: IEEE Press, 2010. P. 258-263.
                            4. Prus V., Ruchkin I. Single-window integrated development environment // In Proceedings of SYRCoSE-2010. Nizhny Novgorod, Russia: Изд-во ИСП РАН, 2010. P. 20-25.
                            5. Savenkov K.O., Telegin G.S. Efficient and Safe Algorithm for Moving Along a Given Route in City Traffic // In Proceedings of World Automotive Congress (FISITA-2010). Budapest, Hungary: Unknown, 2010. P. 1-1.
                            6. Savenkov K.O., Zhbankov D.Yu. Scenario-Based Approach to Backtesting Trading Systems // In Proceedings of World Finance Conference (WFC-2010). Viana do Castelo, Portugal: Unknown, 2010. P. 1-1.
                            7. Бычков И.А., Костенко В.А. Особенности задачи построения расписания обменов в кольце с арбитражем для систем реального времени // VI Московская международная конференция по исследованию операций (ORM-2010). М., Россия: МАКС Пресс, 2010. C. 285-287.
                            8. Костенко В.А. Проблемы использования результатов теории расписаний для планирования вычислений в системах реального времени // VI Московская Международная конференция по исследованию операций (ORM-2010). М., Россия: МАКС Пресс, 2010. C. 304-306.
                            9. Костенко В.А., Шестов П.Е. Совместное планирование вычислений и обменов в бортовых системах реального времени // VI Московская Международная конференция по исследованию операций (ORM-2010). М., Россия: МАКС Пресс, 2010. C. 306-308.
                            10. Савенков К.О., Чемерицкий Е.В. Среда выполнения дискретно-событийных имитационных моделей: от универсальности к расширяемости и повторному использованию // Труды Международной научной конференции "Моделирование-2010". Киев, Украина: Институт проблем моделирования в энергетике имени Пухова, 2010. C. 107-115.
                            11. В.В. Балашов, А.Г. Бахмуров, Д.Ю. Волканов, М.В. Чистолинов, Н.В. Ющенко Применение среды моделирования ДИАНА для моделирования бортовых вычислительных систем // Труды Международной научной конференции "Моделирование-2010", Киев, Украина, май 2010, том 1стр. 225-232
                            12. V.V. Balashov, V.A. Balakhanov, V.A. Kostenko, V.A. Kokarev, P.E. Shestov A Technology for Scheduling of Data Exchange over Bus with Centralized Control in Onboard Avionics Systems // Journal of Aerospace Engineering, 2010, V.224, No G9, C.993-1004
                            13. Гамаюнов Д. Ю., Горнак Т.А., Сапожников А.В., Сахаров Ф.В, Торощин Э. С. Гранулярный контроль безопасности поведения приложений со стороны ядра Linux. // Информационно-методический журнал «Защита информации. Инсайд», №4, Санкт-Петербург, 2010, с. 54-58.
                            14. Петухов А.А., Использование XSS для организации ботнетов нового поколения. // Информационно-методический журнал «Защита информации. Инсайд», №4, Санкт-Петербург, 2010, с. 50-54
                            15. Igor V. Konnov, Vladimir A. Zakharov. An invariant-based approach to the verification of asynchronous parameterized networks. Journal of Symbolic Computation, 2010, Vol. 45, No. 11, pp. 1144-1162. Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops.
                            16. И.В. Коннов, В.А. Захаров. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени. // Моделирование и анализ информационных систем. — 2010. — т.17, № 4. — С. 78 – 87.
                            17. Igor V. Konnov. CheAPS: a Checker of Asynchronous Parameterized Systems. Third International Workshop on Invariant Generation (WING 2010) affiliated with IJCAR at FLoC 2010. Edinburgh, July, 2010.
                            18. Igor V. Konnov, Vladimir A. Zakharov. Using Adaptive Symmetry Reduction for LTL Model Checking // Семинар «Семантика, спецификация и верификация программ: теория и приложения», Казань, 2010: Труды семинара / Под ред. В.А. Непомнящего и В.А. Соколова. -К.: Отечество. 2010. -С. 5-11.
                            19. I.V. Konnov, O. Letychevskyi. Model checking GARP protocol using Spin and VRS. Международный семинар «Автоматы, алгоритмы и информационные технологии», Киев, 2010: Тезисы семинара. -Киев. 2010, С. 13.
Password: