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

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

    Статьи

      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), том 49, № 7
      2. VERMONT - средство верификации программно-конфигурируемых сетей, Алтухов В.С., Захаров В.А., Подымов В.В., Чемерицкий Е.В., Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, том 212, № 1, с. 74-87
      3. Исследование эффективности процедуры агрегации виртуальных каналов при построении бортовых коммутируемых сетей, Вдовин П.М., Костенко В.А., в журнале Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, № 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), том 54, № 4, с. 540-545
      5. Об оценивании частоты выполнения фрагментов кода последовательной программы, Королев В.Ю., Смелянский Р.Л., Смелянский Т.Р., Шалимов А.В., в журнале Известия РАН Сер.: Теория и системы управления, том 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), том 54, № 1, с. 59-68
      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), том 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, том 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, том 39, № 4, с. 184-192
      10. Алгоритм распределения ресурсов в центрах обработки данных с единым планировщиком для различных типов ресурсов, Зотов И.А., Костенко В.А., в журнале Известия Российской академии наук. Теория и системы управления, № 1, с. 61-71
      11. Генетический алгоритм с самообучением, Костенко В.А., Фролов А.В., в журнале Известия Российской академии наук. Теория и системы управления, № 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), том 41, № 6, с. 325-335
      13. Комбинированное средство верификации распределённых вычислительных систем реального времени, Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В., в журнале Программирование, № 6
      14. Статьи в сборниках

      15. (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, том 9251, с. 298-303
      16. 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, том 53, с. 35-43
      17. 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
      18. Опыт построения среды имитационного моделирования распределенных систем с применением HLA, Балашов В.В., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., в сборнике Третья международная кнаучно-пратическая конференция "Имитационное и комплексное моделирование морской техники и морских транспортных систем" - ИКМ МТМТС 2015, место издания ИКМ МТМТС 2015 Санкт-Петербург, с. 36-40
      19. 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
      20. 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
      21. Модифицированный гибридный алгоритм синхронизации времени в среде моделирования ДИАНА, Волканов Д.Ю., Глонина А.Б., Кибитова В.Н., в сборнике Труды седьмой всероссийская научно-практическая конференция "Имитационное моделирование. Теория и практика" ИММОД-2015. Труды конф., 21-23 октября 2015, Москва / Под общей ред. С.Н. Васильева, Р.М. Юсупова (Москва, Россия, 21-23 октября 2015), место издания Санкт-Петербург, том 1, с. 214-219
      22. 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), том 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), том 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), том 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), том 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), том 53, № 5, с. 689-701
        6. Программирование уровней передачи данных в ПКС, Смелянский Р., Шалимов А., Чемерицкий Е., в журнале CONNECT! Мир связи, № 4, с. 44-50
        7. Программно-определяемые сети: перспективы роста, Городецкий Я., Лапин Е., Пустошилов В., Смелянский Р., Фишкин С., в журнале CONNECT! Мир связи, № 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, том 38, № 2, с. 83-90
        9. Сравнение различных подходов к распределению ресурсов в центрах обработки данных, Вдовин П.М., Зотов И.А., Костенко В.А., Плакунов А.В., Смелянский Р.Л., в журнале Известия Российской академии наук. Теория и системы управления, № 5, с. 71-83
        10. (web of science) Оценка сходимости алгоритма имитации отжига для задачи построения многопроцессорных расписаний, Зорин Д.А., в журнале Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, № 2, с. 79-89
        11. Технологии SDH и NFV: новые возможности для телекоммуникаций, СМЕЛЯНСКИЙ Р.Л., Вестник связи, № 1, с. 1-1
        12. Технологии реализации программно конфигурируемых сетей: Overlay vs OpenFlow, Смелянский Руслан, Журнал сетевых решений, том 20, № 4, с. 53-55
        13. Что придет на смену традиционным вычислительным сетям, Смелянский Р.Л., в журнале CNews, № 72, с. 56-59
        14. (web of science) Алгоритм имитации отжига для решения задач построения многопроцессорных расписаний, Зорин Д.А., Костенко В.А., в журнале Автоматика и телемеханика, № 10, с. 97-110
        15. Алгоритм распределения ресурсов в центрах обработки данных с раздельными планировщиками для различных типов ресурсов, Вдовин П.М., Костенко В.А., в журнале Известия Российской академии наук. Теория и системы управления, № 6, с. 80-93
        16. О некоторых задачах реконфигурирования программно-конфигурируемых сетей, Захаров В.А., Чемерицкий Е.В. , в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 21, № 6, с. 57-69
        17. Сравнение различных подходов к распределению ресурсов в центрах обработки данных, Вдовин П.М., Зотов И.А., Костенко В.А., Плакунов А.В., Смелянский Р.Л., в журнале Известия Российской академии наук. Теория и системы управления, № 5, с. 71-83
        18. Каким должен быть контроллер SDN, Шалимов А.В., в журнале Вестник связи, с. 4-43
        19. Статьи в сборниках:

        20. (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, с. 20-24
        21. (scopus) In-kernel offloading of an SDN/OpenFlow Controller, Shalimov A., Ivashchenko P., в сборнике Proceedings of the Modern Networking, Тechnologies (MoNeTec), IEEE, Moscow, Russia, с. 27-29
        22. 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
        23. (scopus) Controller Failover for SDN Enterprise Networks, Pashkov V., Shalimov A., Smeliansky R., в сборнике Proceedings of the Modern Networking Technologies (MoNeTec), IEEE, место издания Moscow, Russia, с. 27-29
        24. 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
        25. Информатика, Волканов Д.Ю., Малышко В.В., Столяров А.В., Терехин А.Н., Чернов А.В., Шестимеров А.А. ,в сборнике Олимпиада школьников "Ломоносов". Учебно-методическое пособие, место издания МГУ имени М.В. Ломоносова Москва, с. 32-34
        26. (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)", место издания МАКС Пресс Москва, с. 47-52
        27. Исследование гибридного алгоритма синхронизации времени для среды имитационного моделирования ДИАНА, Волканов Д.Ю., Глонина А.Б., Кибитова В.Н., в сборнике Программные системы и инструменты, место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ, том 15, с. 105-115
        28. Разработка и реализация алгоритма планирования заданий на гомогенном кластере с учётом нагрева процессоров , Волканов Д.Ю., Мельников А.О. ,в сборнике Программные системы и инструменты, место издания Издательский отдел факультета ВМиК МГУ Москва, МГУ, том 15, с. 137-148
        29. 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
        30. 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
        31. Large Scale Network Simulation Based on Hi-Fi Approach, Vitaly Antonenko, Ruslan Smeliansky, Andrey Nikolaev, в сборнике Proceedings of the 2014 Summer Computer Simulation Conference, место издания США, Монтерей, с. 20-27
        32. 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, с. 41-46
        33. 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)", место издания МАКС Пресс Москва, с. 7-12
        34. SDN for network security, Smeliansky R., в сборнике Proceedings of the 2014 international science and technology conference "Modern Networking Technologies (MoNeTec)", серия SDN@NFV modern networking technologies, место издания Макс Пресс Москва, Россия, с. 155-159
        35. 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, место издания Макс Пресс Москва, Россия, с. 77-82
        36. 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
        37. 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, место издания Макс Пресс Москва, Россия, с. 13-19
        38. 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, с. 1001-1014
        39. 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, место издания Макс Пресс Москва, Россия, с. 1-6
        40. 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", место издания Издательский дом ГУ ВШЭ Москва, с. 26-37
        41. Подход к использованию имитационного моделирования при решении задач синтеза и планирования в модульных вычислительных системах, Балашов В.В., Бахмуров А.Г., Глонина А.Б., в сборнике Программные системы и инструменты, серия Тематический сборник, место издания Изд-во факультета ВМиК МГУ Москва, том 15, с. 116-136
        42. 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, с. 127-132
        43. 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, с. 17-26
        44. 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
          17. статьи в сборниках:

          18. Задача построения многопроцессорного статико-динамического расписания, Балаханов В.А., Балашов В.В., Костенко В.А., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 27-28
          19. 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
          20. 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
          21. 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
          22. 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
          23. 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
          24. (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;
          25. 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
          26. (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
          27. 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
          28. 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
          29. 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
          30. 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
          31. Задача распределения ресурсов центров обработки данных и подходы к ее решению, Вдовин П.М., Зотов И.А., Костенко В.А., Плакунов А.В., Смелянский Р.Л., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 30-32
          32. Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA, Волканов Д.Ю., Антоненко В.А., Герасёв А.В., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В., в сборнике Сборник докладов шестой всероссийской научно-практической конференции "Имитационное моделирование. Теория и практика" (ИММОД-2013), место издания Издательство "ФЭН" Академии наук РТ, Казань, том 1, с. 322-326
          33. Программно-конфигурируемые сети: решение проблемы безопасности сетей?, Смелянский Р.Л., в сборнике VII международный форум "Партнерство государства, бизнеса и гражданского общества при обеспечении международной информационной безопасности и Седьмая научная конференция Международного исследовательского консорциума информационной безопасности, Германия, место издания Типографим МГУ Москва, с. 300-308
          34. (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
          35. Проблемы построения расписаний при проектировании информационно-управляющих систем на базе существующих, Шестов П.Е., Костенко В.А., в сборнике VII Москвская международная конференция по исследованию операций (ORM2013). Труды, место издания ВЦ им. А.А. Дородницына РАН Москва, том 2, с. 56-57
          36. Выбор эффективного алгоритма синхронизации времени для распределённой системы дискретно-событийного имитационного моделирования с поддержкой полунатурного моделирования, Волканов Д.Ю., Глонина А.Б., в сборнике Программные системы и инструменты, серия Театический сборник, место издания МАКС Пресс Москва, том 14, с. 18-29
          37. 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
          38. С. Гайворонская, Д. Гамаюнов. "Иерархическая топология декомпозированных алгоритмов для обнаружения вредоносного исполнимого кода", тезисы конференции "Ломоносов-2013", апрель 2013, Москва
          39. Зорин Д.А. Преобразование расписаний в итерационных алгоритмах структурного синтеза вычислительных систем // XX Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс, 2013. С. 24-25
          40. Щербинин В. В. Сравнение различных подходов к построению системы аксиом при аксиоматическом подходе к распознаванию нештатного поведения динамических систем // Ломоносов-2013: Материалы XX Международной научной конференции студентов, аспирантов и молодых ученых: секция «Вычислительная математика и кибернетика». М.: Издательский отдел факультета ВМК МГУ, 2013. С. 36-37.
          41. 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: