Публикации 2007-2009 годов

Архив 2007-2009 годов

2009 год

  1. Vladimir Prus The Boost.Build System Proceedings of the Third Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2009). May 28-29, 2009. – Moscow, Russia, pp. 35-40, ISBN 978-5-91474-013-6
  2. Bulychev P., Chatain T., David A., Larsen K.G. Efficient on-the-fly algorithm for checking alternating timed simulation // Proc. of 7th Intern. Conf. Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science. N 5813. Berlin, Germany: Springer, 2009. P. 73-87.
  3. Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., Ющенко Н.В. Стенд полунатурного моделирования для разработки встроенных вычислительных систем реального времени // Имитационное моделирование. Теория и Практика. 4-я Всероссийская научно-практическая конференция. Сборник докладов. Т.2. СПб: ОАО "ЦТСС", 2009. C. 215-219.
  4. Костенко В.А., Коваленко Д.С. Метод построения алгоритмов распознавания, основанных на идеях аксиоматического подхода // Научная сессия МИФИ-2009. XI Всероссийская научно-техническая конференция "Нейроинформатика-2009". Сборник научных трудов. Ч.2. М.: Изд-во МИФИ, 2009. C. 68-79.
  5. Костенко В.А., Коваленко Д.С. Метод построения алгоритмов распознавания, основанных на идеях аксиоматического подхода // Научная сессия МИФИ - 2007. IX Всероссийская научно-техническая конференция "Нейроинформатика-2007": Сборник научных трудов. М.: МИФИ, 2009.
  6. Гамаюнов Д. Ю., Казачкин Д. С., Шугалёв П. И., AURA: среда высокоскоростного анализа сетевого трафика для задач информационной безопасности // Информационно-методический журнал «Защита информации. Инсайд», №4, Санкт-Петербург, 2009, с. 32-35.
  7. A. Yelizarov, D. Gamayunov, Visualization of Complex Attacks and State of Attacked Network. // Proceedings of 6th International Workshop on Visualization for Cyber Security, IEEE VizWeek’09, Atlantic City, New Jersey, USA, October 11, 2009, pp. 1-9
  8. D. Gamayunov, Nguyen Thoi Minh Quan, Fedor Sakharov, Edward Toroshchin, Racewalk: fast instruction frequency analysis and classification for shellcode detection in network flow. // Proceedings of 5th European Conference on Computer Network Defense (EC2ND 2009), IEEE Computer Society, Milan, Italy, November 2009
  9. Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov. Anti-unification algorithms and their applications in program analysis. PSI, 2009.
  10. Peter Bulychev, Thomas Chatain, Alexandre David and Kim G. Larsen. Efficient on-the-fly algorithm for checking alternating timed simulation. FORMATS, 2009.
  11. Peter Bulychev, Marius Minea. An evaluation of duplicate code detection using anti-unification. IWSC, 2009
  12. Гамаюнов Д. Ю., Торощин Э. С., Использование частотного анализа встречаемости инструкций для обнаружения полиморфного исполнимого кода в сетевом трафике. // Информационно-методический журнал «Защита информации. Инсайд», №4, Санкт-Петербург, 2009, с. 36-40.
  13. Беззубцев С.О., Гамаюнов Д. Ю., Горнак Т.А., Сапожников А.В., Сахаров Ф.В., Контроль безопасного выполнения приложений с помощью поведенческих моделей. // Труды третьей всероссийской конференции "Методы и средства обработки информации", МГУ им. М.В.Ломоносова, 6-8 октября 2009, Москва, с. 439-444
  14. Булгаков И.А., Гамаюнов Д.Ю., Торощин Э.С., Обнаружение распространения сетевых червей на основе анализа частоты встречаемости инструкций IA32 в сетевом трафике. // Труды третьей всероссийской конференции "Методы и средства обработки информации", МГУ им. М.В.Ломоносова, 6-8 октября 2009, Москва, с. 445-450
  15. Гамаюнов Д. Ю., Казачкин Д. С., Шугалёв П. И., Среда высокоскоростного анализа сетевого трафика для задач информационной безопасности // Труды третьей всероссийской конференции "Методы и средства обработки информации", МГУ им. М.В.Ломоносова, 6-8 октября 2009, Москва, с. 445-450
  16. Козлов Д.Д., Петухов А.А. Сбор информации о поведении веб-приложения при тестировании методом "черного ящика"// Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции. - М.: Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс, 2009. - С.463-468.
  17. Костенко В.А. Алгоритмы построения расписаний для одноприборных систем, входящих в состав систем реального времени// Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции. - М.: Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс, 2009. - С.245-258.
  18. Балашов В.В., Костенко В.А. Задачи планирования вычислений для одноприборных систем, входящих в состав вычислительных систем реального времени// Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции. - М.: Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс, 2009. - С.193-203.
  19. Бычков И. А., Костенко В. А. Задачи построения расписания обменов и выбора структуры сети для кольца с арбитражем// Методы и средства обработки
    информации: Третья Всероссийская научная конференция. Труды конференции. - М.: Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс, 2009. - С.204-214.
  20. Костенко В.А., Кунцьо С.Ю. Задача построения расписания обменов для вычислительных систем реального времени с коммутатором// Методы и средства
    обработки информации: Третья Всероссийская научная конференция. Труды конференции. - М.: Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс, 2009. - С.259-265.
  21. Барыбин А.К., Коваленко Д.С., Костенко В.А, Тумакин Д.А., Чельдиев М.И. Параллельный алгоритм обучения распознавателей нештатного поведения
    динамических систем// Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции. - М.: Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс, 2009. - С.362-373.
  22. Буравлев А.В., Чельдиев М.И., Барыбин А.К., Костенко В.А., Тумакин Д.А., Петрова Г.А. Масштабируемые мультипроцессорные вычислительные системы высокой производительности// Современные технологии автоматизации, 2009., N.3, С.72-76.
  23. Коннов И.В. Применение системы CHEAPS для верификации параметризованных моделей распределённых систем // Методы и средства обработки информации: Третья Всероссийская научная конференция, Москва, 2009: Труды конференции / Под ред. Л.Н. Королева. -М.: Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс. 2009. -С. 116-122.

2008 год

  1. Шалимов А.В. Исследование метода компактного представления программ на основе частотных характеристик их поведения // Микроэлектроника и информатика - 2008. 15-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов, М.: МИЭТ, 2008
  2. Булычев П.Е. Вычисление отношения симуляции моделей программ // Тезисы докладов Международной научной конференции «Космос, астрономия и программирование (Лавровские чтения)» - СПб: Математико-механический факультет СпбГУ, 20-22 мая 2008
  3. В.В. Балашов, А.Г. Бахмуров, М.В. Чистолинов, Р.Л. Смелянский, Д.Ю. Волканов, Н.В. Ющенко. Стенд полунатурного моделирования для разработки встроенных систем реального времени и оценки их архитектур// Труды Международной научной конференции «Космос, астрономия и программирование (Лавровские чтения)» - СПб:ЦНИИ «Электроприбор», 20-22 мая 2008. – С.267-275.
  4. Peter Bulychev, Marius Minea. Duplicate code detection using anti-unification // Proc. of The Second Spring Young Researchers Colloquium, St. Petersburg, 2008., стр. 51–54.
  5. V.V. Balashov, A.G. Bakhmurov, M.V. Chistolinov, R.L. Smeliansky, D.Yu. Volkanov, N.V. Youshchenko. A Hardware-in-the-Loop Simulation Environment for Real-Time Systems Development and Architecture Evaluation // In Proc. of the Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX 2008, Szklarska Poreba, Poland, June 26-28 2008.
  6. Шалимов А.В. Метод компактного представления программ на основе частотных характеристик их поведения // Интеллектуализация обработки информации: Тезисы докладов Международной научной конференции / Крымский научный центр НАН Украины. - Симферополь, 2008
  7. Коннов И.В. Применение ослабленных отношений симуляции в методе сетевых инвариантов для верификации параметризованных моделей // Моделирование и анализ информационных систем. - 2008. - т. 15, N 3. - С. 3-13.
  8. Коннов И.В. Система верификации параметризованных моделей асинхронных распределённых систем (CHEAPS) // Труды пятой Всероссийской научно-технической конференции «Технологии Microsoft в теории и практике программирования» для студентов, аспирантов и молодых ученых Российской Федерации (Центральный федеральный округ), 2008.
  9. Климов Г. А., к.ф.-м.н. Козлов Д. Д., Коннов И. В. Статический анализ безопасности web-приложений, созданных с помощью языка Python // Труды пятой Всероссийской научно-технической конференции «Технологии Microsoft в теории и практике программирования» для студентов, аспирантов и молодых ученых Российской Федерации (Центральный федеральный округ), 2008.
  10. Балашов В.В, Шестов П.Е. Формирование рекомендаций по обеспечению совместимости требований к обмену по общей шине во встроенных системах реального времени. // Труды четвертой международной конференции "Параллельные вычисления и задачи управления" (РАСО'2008). Москва, 27-29 октября 2008 г. Институт проблем управления им. В.А.Трапезникова РАН. -М. Институт проблем управления им. В.А.Трапезникова РАН, 2008, с.1385-1404.
  11. Калашников А.В., Костенко В.А. Параллельный алгоритм имитации отжига для построения многопроцессорных расписаний // Известия РАН. Теория и системы управления, 2008., N.3, С.101-110.
  12. Калашников А.В., Костенко В.А. Итерационные алгоритмы построения расписаний основанные на разбиении пространства решений на области // Вестн. Моск. ун-та. Сер. 15. Вычислительная математика и кибернетика. 2008., №. 3, С.56–60.
  13. Шалимов А.В. Метод компактного представления программ на основе частотных характеристик их поведения // Таврический вестник информатики и математики/ Крымский научный центр НАН Украины - 2008. - N2. - С.243-250.
  14. В.В. Балашов, А.Г. Бахмуров, Д.Ю. Волканов, Р.Л. Смелянский, М.В. Чистолинов, Н.В. Ющенко, Г.Т. Мамонтов, П.В. Юхта. Опыт применения программной среды ДИАНА для моделирования и интеграции бортовых вычислительных систем// Рефераты докладов XXVI конференции памяти выдающегося конструктора гироскопических приборов Н.Н. Острякова - С.-Петербург:ЦНИИ «Электроприбор», 2008. – С.60-61.
  15. Д.Ю. Волканов, М.В.Черей. Применение алгоритмов нечёткого поиска для анализа результатов имитационного моделирования ВС РВ// Сборник научных трудов. НАУЧНАЯ СЕКЦИЯ МИФИ - 2008. В 15 томах. Т.13 Автоматизированные системы обработки информации и управления. Электронные измерительные системы. М.: МИФИ, 2008. - С.21-22.
  16. Шамина О., Козлов Д. Автоматический поиск научных статей в сети Интернет// Труды Второй Российской конференции молодых ученых по информационному поиску. Таганрог, 1-5 сентября 2008. Изд-во ТТИ ЮФУ, 2008. c. 43-62.
  17. D. Kazachkin, D. Gamayunov, Network traffic analysis optimization at signature-based intrusion detection systems. // Proceedings of the First Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008), Volume 1, St. Petersburg, St.Petersburg State University, 2008, pp. 27-32.
  18. Peter Bulychev. Duplicate code detection using Clone Digger // Python Magazine, - 2008. номер9 , pp. 18-24.
  19. Шалимов А.В. Метод компактного представления программ на основе частотных характеристик их поведения // Таврический вестник информатики и математики. - 2008. - N2. - С. 243-250
  20. Гамаюнов Д. Ю., Сапожников А. В., Обнаружение аномального поведения приложений на уровне ядра операционной системы. // Программные системы и инструменты: Тематический сборник факультета ВМК МГУ им. М. В. Ломоносова N9, Под ред. Л.Н.Королева - М.: Издательский отдел факультета ВМК МГУ, 2008, с. 179-192.
  21. Балашов В.В., Шестов П.Е. Формирование рекомендаций по обеспечению совместимости требований к обмену по каналу с централизованным управлением во встроенных системах реального времени // Программные системы и инструменты. Тематический сборник N 9, М.: Изд-во факультета ВМиК МГУ, 2008.

2007 год

  1. Гамаюнов Д. Ю., Обнаружение компьютерных атак на основе анализа поведения сетевых объектов. // Москва, 2007. На правах рукописи.
  2. Бычков И.А., Костенко В.А. Возможность использования арбитражного кольца Fibre Channel в вычислительных системах реального времени // Программные системы и инструменты. Тематический сборник N 8, М.: Изд-во факультета ВМиК МГУ, 2007. – С.157-172.
  3. Балаханов В.А., Костенко В.А. Способы сведения задачи построения статико-динамического однопроцессорного расписания для систем реального времени к задаче нахождения на графе маршрута // Программные системы и инструменты. Тематический сборник N 8, М.: Изд-во факультета ВМиК МГУ, 2007. – С.148-156.
  4. Шалимов А.В. Исследование метода компактного представления программ на основе частотных характеристик их поведения // Ломоносов 2007: XIV Международная конференция студентов, аспирантов и молодых ученых; секция "Вычислительная математика и кибернетика", М.: Издательский отдел факультета ВМиК МГУ, 2007
  5. Шалимов А.В. Исследование метода компактного представления программ на основе частотных характеристик их поведения // Сборник тезисов лучших дипломных работ 2007 года, М.: Издательский отдел факультета ВМиК МГУ, 2007
  6. Максаков А.В. Об одном методе повышения качества периодического тематического поиска в Web// Вестн. Моск. ун-та. Сер.15. Вычислительная математика и кибернетика, 2007. № 2, стр. 35-44.
  7. Васильев А., Козлов Д., Самусев С., Шамина О. Создание электронной библиотеки русскоязычных научных статей. // Сборник работ стипендиатов гранта "Интернет-информатика 2007", стр. 37-45 Изд-во Уральского университета, Екатеринбург, 2007.
  8. Васильев А., Козлов Д., Самусев С., Шамина О. Извлечение метаинформации и библиографических ссылок из текстов русскоязычных научных статей. // Труды конференции RCDL2007, Том 1, стр. 175-181 Изд-во Университета г. Переславля, Переславль, 2007
  9. Волканов Д.Ю., Методика выбора оптимального набора механизмов отказоустойчивости для вычислительных систем реального времени. // Научная сессия МИФИ-2007. Сборник научных трудов. Том 12. (Информатика, компьютерные системы и технологии) Москва, 2007. С. 110-111.
  10. Баула В.Г., Волканов Д.Ю., Мещеряков Д.К., Методические указания по написанию текстов программ как неотъемлемая часть преподавания практикума на ЭВМ. // Образовательные технологии. Научно-технический журнал. ISSN 1815-6851 №2(24) 2007. Воронеж 2007. С. 5-8.
  11. Гамаюнов Д. Ю., Смелянский Р. Л., Модель поведения сетевых объектов в распределённых вычислительных системах. // Программирование, Москва, 2007, №4, с. 20-31
  12. V.V. Balashov, V.A. Kostenko, R.L. Smeliansky. A Tool System for Automatic Scheduling of Data Exchange in Real-Time Distributed Avionics Systems // In Proc. of the 2nd EUCASS European Conference for. Aerospace Sciences, Brussels, Belgium, 2007
  13. Балашов В.В. Алгоритмы формирования рекомендаций при планировании информационного обмена по каналу с централизованным управлением. // Известия РАН. Теория и системы управления, 2007, N.6, с. 76-84.
  14. V. V. Balashov. Recommendation Generation Algorithms for Scheduling of Data Exchange through a Channel with Centralized Control // Journal of Computer and Systems Sciences International, 2007, Vol. 46, No. 6, pp. 887–894
  15. I. V. Konnov, V. A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking. // Сборник «Математические методы и алгоритмы», ИСПРАН. - 2007. - Том 12.
  16. P. E. Bulychev, I. V. Konnov, V. A. Zakharov Computing (bi)simulation relations preserving $CTL^*_X$ for ordinary and fair Kripke structures. // Сборник «Математические методы и алгоритмы», ИСПРАН. - 2007. - Том 12.
  17. Vladimir Zakharov and Igor Konnov. An Invariant-based Approach to the Verification of Asynchronous
    Parameterized Networks. In International Workshop on Invariant Generation (WING'07), RISC, Hagenberg, Austria, June 25-27. RISC-Linz Report Series No. 07-07.
  18. В.А. Балаханов, В.А. Кокарев, В.А. Костенко. Возможность применения муравьиных алгоритмов для решения задачи построения статико-динамических
    расписаний// Труды V Московской международной конференции по исследованию операций (ORM2007). – М.: МАКС Пресс, 2007. – С.238-240.
  19. Костенко В.А., Смолик А.Е. Алгоритм мультистарта с отсечением для обучения нейронных сетей прямого распространения // Научная сессия МИФИ - 2007. IX Всероссийская научно-техническая конференция "Нейроинформатика-2007": Сборник научных трудов. В 3-х частях. Ч.3. М.: МИФИ, 2007. - С.251-257.
  20. Коваленко Д.С. Методы нечеткого сравнения и голосования для построения распознавателей нештатного поведения динамических систем // Труды V Московской международной конференции по исследованию операций, М.: Издательский отдел факультета ВМиК МГУ, 2007., С.123-125.
  21. D. Kozlov, A. Petukhov, “Implementation of Tainted Mode Approach to Finding Security Vulnerabilities for Python Technology,” in Proceedings of the First Spring Young Researchers’ Colloquium on Software Engineering, Moscow, 2007, vol 1, pp. 45-47.
Password: