2017 year

Journal articles :

    1. RSCI Web of Science Разработка системы контейнерной виртуализации для построения моделей компьютерных сетей, Антоненко В.А., Михеев П.А., Вестник компьютерных и информационных технологий, 2017, № 2
    2. Scopus An approach to the evolution from an ospf network to SDN, Smelyanskiy R.L., Yanbulatov R.A., Journal of Theoretical and Applied Information Technology, JATIT ([Islamabad], Pakistan), 2017, Vol. 95, № 17, pp. 4123-4131
    3. ТОP-25, Scopus 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, pp. 1-14 DOI: 10.1109/TNET.2017.2728642
    4. Scopus Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems, Volkanov D.Yu, Automatic Control and Computer Sciences, Allerton Press Inc. (United States), 2017, Vol.51, № 7, pp. 539-550
    5. A Reliable In-Band Control in a Software-Defined Network, Khakhalin A.S., Chemeritskiy E.V., The Open Cybernetics & Systemics Journal, 95, № 17
    6. Scopus Ant Algorithms for Scheduling Computations in Data Processing Centers, Kostenko V.A., Plakunov A.V., Moscow University Computational Mathematics and Cybernetics, 2017, Vol. 41, № 1, pp. 44-50 DOI: 10.3103/S0278641917010034
    7. Web of Science, Scopus 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, Vol.56, №2, pp.218-226 DOI: 10.1134/S1064230717020137, https://istina.msu.ru/publications/article/51263137
    8. Web of Science, Scopus Organizing Message Transmission in AFDX Networks, Vdovin P.M., Кostenko V.A., Programming and Computer Software, Consultants Bureau (United States), 2017,Vol. 43, № 1, pp. 1-12 DOI: 10.1134/S0361768817010078 https://istina.msu.ru/publications/article/48290545/
    9. RSCI Web of Science Алгоритмы комбинаторной оптимизации сочетающие жадные стратегии и ограниченный перебор, Костенко В.А., Известия РАН. Теория и системы управления, 2017, №2, c.61-69 DOI: 10.7868/S0002338817020135 https://istina.msu.ru/publications/article/43370352/
    10. RSCI Web of Science Архитектура программно-аппаратных комплексов бортового оборудования, Костенко В.А., Известия высших учебных заведений. Приборостроение, издательство СПбГУ ИТМО (СПб.), 2017, том 60, № 3, с. 229-233 DOI: 10.17586/0021-3454-2017-60-3-229-233
    11. RSCI Web of Science Муравьиные алгоритмы для планирования вычислений в центрах обработки данных, Костенко В.А., Плакунов А.В., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та, 2017, № 1, с. 44-50
    12. RSCI Web of Science Организация передачи сообщений в сетях AFDX, Вдовин П.М., Костенко В.А., Программирование, 2017 №1, с.3-18 https://istina.msu.ru/publications/article/43372887/
    13. Разработка программного обеспечения openflow-коммутатора для сетевого процессора компании mellanox, Смелянский Р.Л., Васин В.В., Вестник компьютерных и информационных технологий, 2017, том 2, № 152, с. 31-39.
    14. Современные проблемы обеспечения безопасности в SDN, Смелянский Р.Л., Пилюгин П.Л., Телекоммуникационные устройства и системы, 2017, том 7, № 4, с. 523-526
    15. Семейство систем автоматизации проектирования бортовых вычислительных систем реального времени, Балашов В.В. в журнале Программные продукты, системы и алгоритмы, 2017, № 4, с. 1-19
    16. Обобщенная модель функционирования модульных вычислительных систем реального времени для проверки допустимости конфигураций таких систем, Глонина А.Б., Вестник Южно-Уральского государственного университета. Серия «Вычислительная математика и информатика», 2017, том 6, № 4, с. 43-59
    17. Программное средство моделирования модульных вычислительных систем для проверки допустимости их конфигураций, Глонина А.Б., Программные продукты и системы, 2017, том 30, № 4, с. 574-582

Papers in Proceedings

      1. Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems, Glonina Alevtina, Bahmurov Anatoly, Lecture Notes in Computer Science, Springer International Publishing, Vol. 10421, 2017, pp. 289-300
      2. Обобщенная модель функционирования модульных вычислительных систем реального времени для проверки допустимости конфигураций таких систем, Глонина А.Б. в сборнике Суперкомпьютерные дни в России: Труды международной конференции (25-26 сентября 2017 г.), Изд-во МГУ Москва, 2017, с. 800-814
      3. Инструментальная система планирования вычислений в комплексах интегрированной модульной авионики, Балашов В.В., Костенко В.А. в сборнике Материалы докладов 4-й Международной научно-практической конференции «Перспективные направления развития бортового оборудования гражданских воздушных судов», ФГУП «ГосНИИАС» Москва,2017, с. 36-40
      4. Проблемы переноса локационных систем в комплексы с архитектурой интегрированной модульной авионики, Костенко В.А. , в сборнике Материалы докладов 4-й Международной научно-практической конференции «Перспективные направления развития бортового оборудования гражданских воздушных судов», ФГУП «ГосНИИАС» Москва, 2017, с. 73-75
      5. Курс лекций по системам реального времени: цели, структура, направления развития, Балашов В.В., в сборнике Научная конференция «Ломоносовские чтения» 2017, МАКС пресс Москва, 2017, с. 77
      6. Адаптивный метод сбалансированного выбора модулей встроенной вычислительной системы с учётом требований надёжности, Волканов Д.Ю., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016, серия Труды, ФИЦ ИУ РАН Москва, 2016, том 2, с. 20-22
      7. Исследование адаптивного генетического алгоритма для решения задачи оптимизации надежности распределенных вычислительных систем, Запутляев И.А., Волканов Д.Ю., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, я МАКС Пресс Москва, 2016, том 16, с. 119-130
      8. Разработка метода организации централизованного контроля над сетью программно-конфигурируемых коммутаторов без использования вспомогательной сети управления, Хахалин А.С., Чемерицкий Е.В., в сборнике Программные системы и инструменты, Тематический сборник № 16, серия Программные системы и инструменты, МАКС Пресс Москва, том 2016, 16, с. 30-38

 

2016 year

Journal articles:

      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

Papers in Proceedings

      1. Организация сетевого взаимодействия между компонентами системы NPS , Кочетков П.А., Антоненко В.А., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 72-80
      2. Разработка и реализация системы управления виртуальными сетевыми функциями в облачной платформе, Пинаева Н.М., Антоненко В.А., в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, МАКС Пресс Москва, 2016,том 16, с. 64-71
      3. Разработка системы обеспечения надежного и масштабного виртуального сетевого сервиса в облачной среде, Романов А.Р., Антоненко В.А., в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 81-90
      4. Исследование подходов к построению традиционно-ориентированных сетей, Колосов А.М., Смелянский Р.Л., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 51-63
      5. Об одном подходе к эволюции традиционной сети в программно-конфигурируемую сеть, Янбулатов Р.А., Смелянский Р.Л., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 1, с. 51-63
      6. Планировщик ресурсов для облачных платформ, Костенко В.А., Смелянский Р.Л., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2,
      7. 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, pp. 345-350
      8. Алгоритмы построения расписаний в информационно-управляющих системах реального времени с архитектурой ИМА, Балашов В.В., Балаханов В.А., Костенко В.А., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2, ФИЦ ИУ РАН Москва, 2016, том 2, с. 14-15
      9. Комплексы бортового радиоэлектронного оборудования с архитектурой ИМА, Балашов В.В., Костенко В.А., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, том 16, с. 91-95 ФИЦ ИУ РАН Москва, том 2, с. 41-43
      10. Live migration of virtual resources in multi-tenant Data Centers, Зотов И.А., Костенко В.А. , в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2, ФИЦ ИУ РАН Москва, том 2, с. 73-75
      11. 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, pp. 345-350
      12. Использование самообучения для выбора параметров генетических алгоритмов, Костенко В.А., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, 17–22 октября 2016 г. Труды / том 2, ФИЦ ИУ РАН Москва, 2016, том 2, с. 40-41
      13. Сочетание жадных стратегий и ограниченного перебора при решении задач о выборе максимально совместимого числа заявок, Костенко В.А., в сборнике VIII Московская международная конференция по исследованию операций (ORM2016): Москва, Труды / том 2, место издания ФИЦ ИУ РАН Москва, 2016, том 2, с. 39-40
      14. 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
      15. Автоматическое построение имитационных моделей модульных ИУС РВ, Глонина А.Б., Ломоносовские чтения — 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
      16. Исследование и модификация алгоритма синхронизации времени от источника сигнала эталонной частоты в ядре Limux Шпилевой В.Д., Герасёв А.В., в сборнике Программные системы и инструменты. Тематический сборник №16, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 96-107
      17. Построение статико-динамического расписания алгоритмов с обратной связью, Новоселов А.Д., Балаханов В.А., в сборнике Программные системы и инструменты. Тематический сборник №16,, серия Программные системы и инструменты, МАКС Пресс Москва, 2016, том 16, с. 108-118

 

2015 year

Journal articles:

      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, Vol. 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, Vol. 54, № 4, pp. 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, Vol. 54, № 1, pp. 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, Vol. 54, № 4, pp. 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, Vol. 509, pp. 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, Vol. 39, № 4, pp. 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, Vol. 41, № 6, pp. 325-335
      13. Комбинированное средство верификации распределённых вычислительных систем реального времени, Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В., Программирование, 2015, № 6,

Papers in Proceedings

      1. 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, Vol. 9251, pp. 298-303
      2. 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, Vol. 53, pp. 35-43
      3. 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,
      4. Опыт построения среды имитационного моделирования распределенных систем с применением HLA, Балашов В.В., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., в сборнике Третья международная научно-практическая конференция «Имитационное и комплексное моделирование морской техники и морских транспортных систем» — ИКМ МТМТС 2015, ИКМ МТМТС 2015 Санкт-Петербург, 2015, с. 36-40
      5. 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,
      6. 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, Vol. 1, pp. 358-365, 2015,
      7. Модифицированный гибридный алгоритм синхронизации времени в среде моделирования ДИАНА, Волканов Д.Ю., Глонина А.Б., Кибитова В.Н., в сборнике Труды седьмой всероссийская научно-практическая конференция «Имитационное моделирование. Теория и практика» ИММОД-2015. Труды конф., 21-23 октября 2015, Москва / Под общей ред. С.Н. Васильева, Р.М. Юсупова (Москва, Россия, 21-23 октября 2015), Санкт-Петербург, 2015, том 1, с. 214-219

 

2014 year

Journal articles:

      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, Vol. 48, № 7, pp. 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, Vol. 75, № 10, pp. 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, Vol. 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, Vol. 53, № 5, pp. 689-701 DOI: 10.1134/S1064230714040145
      6. Программирование уровней передачи данных в ПКС, Смелянский Р., Шалимов А., Чемерицкий Е., в журнале CONNECT! Мир связи, 2014, № 4, pp. 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, Vol. 38, № 2, pp. 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

Papers in Proceedings

      1. 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, pp. 20-24
      2. scopus In-kernel offloading of an SDN/OpenFlow Controller, Shalimov A., Ivashchenko P., Proceedings of the Modern Networking, Тechnologies (MoNeTec), IEEE, Moscow, Russia, 2014, pp. 27-29
      3. 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,
      4. scopus Controller Failover for SDN Enterprise Networks, Pashkov V., Shalimov A., Smeliansky R., Proceedings of the Modern Networking Technologies (MoNeTec), IEEE, Moscow, Russia, 2014, pp. 27-29
      5. 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,
      6. Информатика, Волканов Д.Ю., Малышко В.В., Столяров А.В., Терехин А.Н., Чернов А.В., Шестимеров А.А. ,в сборнике Олимпиада школьников «Ломоносов». Учебно-методическое пособие, место издания МГУ имени М.В. Ломоносова Москва, 2014, pp. 32-34
      7. 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)», MAKS Press Moscow, Russia, 2014, pp. 47-52
      8. Исследование гибридного алгоритма синхронизации времени для среды имитационного моделирования ДИАНА, Волканов Д.Ю., Глонина А.Б., Кибитова В.Н., в сборнике Программные системы и инструменты, место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ, 2014, том 15, с. 105-115
      9. Разработка и реализация алгоритма планирования заданий на гомогенном кластере с учётом нагрева процессоров , Волканов Д.Ю., Мельников А.О. ,в сборнике Программные системы и инструменты, место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ, 2014, том 15, с. 137-148
      10. 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, pp. 32-46
      11. 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,
      12. Large Scale Network Simulation Based on Hi-Fi Approach, Vitaly Antonenko, Ruslan Smeliansky, Andrey Nikolaev, Proceedings of the 2014 Summer Computer Simulation Conference, USА, Монтерей, 2014, pp. 20-27
      13. 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, pp. 41-46
      14. 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)», MAKS Press Moscow, Russia, 2014, pp. 7-12
      15. SDN for network security, Smeliansky R., Proceedings of the 2014 international science and technology conference «Modern Networking Technologies (MoNeTec)», «SDN&NFV modern networking technologies», MAKS Press Moscow, Russia, 2014, с. 155-159
      16. 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, MAKS Press Moscow, Russia, 2014, с. 77-82
      17. 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,
      18. 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, MAKS Press Moscow, Russia, 2014, pp. 13-19
      19. 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, pp. 1001-1014
      20. On real-time delay monitoring in Software-Defined Networks , Altukhov V., Chemeritskiy E. , Proc. the 2014 international science and technology conference «Modern Networking Technologies (MoNeTec)», SDN&NFV modern networking technologies, MAKS Press Moscow, Russia, 2014, pp. 1-6
      21. 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», ГУ ВШЭ Moscow, Russia, 2014, с. 26-37
      22. Подход к использованию имитационного моделирования при решении задач синтеза и планирования в модульных вычислительных системах, Балашов В.В., Бахмуров А.Г., Глонина А.Б., в сборнике Программные системы и инструменты, серия Тематический сборник, место издания Изд-во факультета ВМиК МГУ Москва, 2014, том 15, с. 116-136
      23. Data Center Resource Mapping Algorithm Based on the Ant Colony Optimization, Plakunov A., Kostenko V., Proceedings of the Modern Networking Technologies (MoNeTec), IEEE, MAKS Press Moscow, Russia, 2014,pp. 127-132
      24. 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, pp. 17-26

 

2013 year

Journal articles:

      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), Vol. 52, № 6, pp. 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), Vol. 39, № 5, pp. 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, pp. 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), Vol. 39, № 5, pp. 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), Vol. 39, № 5, pp. 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), Vol. 39, № 5, pp. 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), Vol. 39, № 1, pp. 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

Papers in Proceedings

      1. Задача построения многопроцессорного статико-динамического расписания, Балаханов В.А., Балашов В.В., Костенко В.А., в сборнике VII Московская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 27-28
      2. 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
      3. 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, Vol. 1, pp. 94-97
      4. 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, pp. 122-127
      5. 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, pp. 21-30
      6. 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
      7. scopus Advanced study of SDN/OpenFlow controllers, Shalimov A., Zuikov D., Zimarina D., Pashkov V., Smeliansky R., proc. 9th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2013, ACM International Conference Proceeding Series, Moscow; Russian Federation;
      8. 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
      9. 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
      10. 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, МSU Moscow, pp. 309-316
      11. 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
      12. 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), Vol. 6, pp. 469-486
      13. 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, Vol. 6, pp. 487-500
      14. Задача распределения ресурсов центров обработки данных и подходы к ее решению, Вдовин П.М., Зотов И.А., Костенко В.А., Плакунов А.В., Смелянский Р.Л., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 30-32
      15. Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA, Волканов Д.Ю., Антоненко В.А., Герасёв А.В., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В., в сборнике Сборник докладов шестой всероссийской научно-практической конференции «Имитационное моделирование. Теория и практика» (ИММОД-2013), место издания Издательство «ФЭН» Академии наук РТ, Казань, том 1, с. 322-326
      16. Программно-конфигурируемые сети: решение проблемы безопасности сетей?, Смелянский Р.Л., в сборнике VII международный форум «Партнерство государства, бизнеса и гражданского общества при обеспечении международной информационной безопасности и Седьмая научная конференция Международного исследовательского консорциума информационной безопасности, Германия, место издания Типографим МГУ Москва, с. 300-308
      17. 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, pp. 103-110
      18. Проблемы построения расписаний при проектировании информационно-управляющих систем на базе существующих, Шестов П.Е., Костенко В.А., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 56-57
      19. Выбор эффективного алгоритма синхронизации времени для распределённой системы дискретно-событийного имитационного моделирования с поддержкой полунатурного моделирования, Волканов Д.Ю., Глонина А.Б., в сборнике Программные системы и инструменты, серия Театический сборник, место издания МАКС Пресс Москва, том 14, с. 18-29
      20. 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
      21. С. Гайворонская, Д. Гамаюнов. «Иерархическая топология декомпозированных алгоритмов для обнаружения вредоносного исполнимого кода», тезисы конференции «Ломоносов-2013», апрель 2013, Москва
      22. Зорин Д.А. Преобразование расписаний в итерационных алгоритмах структурного синтеза вычислительных систем // XX Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс, 2013. С. 24-25
      23. Щербинин В. В. Сравнение различных подходов к построению системы аксиом при аксиоматическом подходе к распознаванию нештатного поведения динамических систем // Ломоносов-2013: Материалы XX Международной научной конференции студентов, аспирантов и молодых ученых: секция «Вычислительная математика и кибернетика». М.: Издательский отдел факультета ВМК МГУ, 2013. С. 36-37.

 

2012 year

      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, Vol. 170, pp. 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, Vol. 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, pp.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., p.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 year

      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 year

    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, pp.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.