УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Научная работа за 2008 год

1. Лот 12. "Разработки в области языков программирования и моделирования программного обеспечения, технологий и инструментальных средств проектирования программ". Тема "Технология генетического программирования для генерации автоматов управления системами со сложным поведением" (шифр "2007-4-1.4-18-01-033").
2. Лот 13. "Разработка технологий верификации программного обеспечения". Тема "Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода" (шифр "2007-4-1.4-18-02-041").

1. Мандриков Е.А., Кулев В.А., Шалыто А.А. Применение генетических алгоритмов для создания управляющих автоматов в задаче о "Флибах" //Информационные технологии. 2008. №1, с.42-45,89.
2. Гуров В.С., Мазин М.А., Шалыто А.А. Автоматическое завершение ввода условий в диаграммах состояний // Информационно-управляющие системы. 2008. № 1, c. 24-33.
3. Князев Е.Г., Шопырин Д.Г. Использование автоматизированной классификации изменений программного кода в управлении процессом разработки программного обеспечения //Информационно- управляющие системы. 2008. №2, с.15-21.
4. Князев Е.Г, Шопырин Д.Г. Автоматизированная классификация изменений программного кода методами многомерного статистического анализа // Информационные технологии. 2008. № 5, с. 48-53.
5. Егоров К.В., Шалыто А.А. Методика верификации автоматных программ //Информационно-управляющие системы. 2008. № 5, с.15-21.
6. Шалыто А.А. Парадигма автоматного программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 3-24
7. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для генерации автоматов с большим числом входных переменных //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 24-42
8. Царев Ф.Н. Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 42-60
9. Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетического программирования и методов сокращенных таблиц переходов и деревьев решений для построения автоматов управления моделью беспилотного летательного аппарата //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 60-79
10. Лобанов П.Г., Сытник С.А., Шалыто А.А. Построение автопилота для упрощенной модели вертолета с помощью генетического алгоритма //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 79-88
11. Бедный Ю Д., Шалыто А.А. Создание системы управления танком для игры robocode с использованием генетических алгоритмов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 88-99
12. Мандриков Е.А., Кулев В.А. Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 100-103
13. Данилов В.Р. Метод представления автоматов деревьями решений для использования в генетическом программировании //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 103-108
14. Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "умном муравье" //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 108-114
15. Лобанов П.Г. Методы оптимизации генетических алгоритмов для построения конечных автоматов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 114-122
16. Вельдер С.Э., Шалыто А.А. Методы верификации моделей автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 123-137
17. Курбацкий Е.А. Верификация программ, построенных на основе автоматного подхода с использованием программного средства SMV //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 137-145
18. Лукин М.А., Шалыто А.А. Верификация автоматных программ с использованием верификатора SPIN //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 145-162
19. Гуров В.С., Яминов Б.Р. Верификация автоматных программ при помощи верификатора UNIMOD.VERIFIER //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 162-177
20. Егоров К.В., Шалыто А.А. Разработка верификатора автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 177-189
21. Законов А.Ю. Применение автоматного подхода для создания корректных JAVA CARD-приложений //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 189-198
22. Клебанов А.А., Шалыто А.А. Разработка корректных JAVA CARD-программ на основе автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 198-211
23. Канжелев С.Ю. Верификации взаимодействия частей реактивной системы, реализованных с помощью автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 211-221
24. Степанов О.Г. Метод автоматической динамической верификации автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 221-229
25. Астафуров А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 230-238
26. Тимофеев К.И., Астафуров А.А. Наследование автоматных классов с использованием динамических языков программирования на примере RUBY //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 238-250
27. Кочелаев Д.Ю., Лагунов И.А., Хасянзянов Б.З., Яминов Б.Р. Инструментальное средство для поддержки автоматного программирования UNIMOD 2: проектирование. валидация. верификация. реализация //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 251-257
28. Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 258-263
29. Лагунов И.А. Текстовый язык автоматного программирования FSML для инструментального средства UNIMOD //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 263-272
30. Рубинов К.В., Веденеев В.В., Парфенов В.Г. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 273-280
31. Клебан В.О., Шалыто А.А., Парфенов В.Г. Построение системы автоматического управления мобильным роботом на основе автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 281-285
32. Клебан В.О., Новиков Ф.А. Применение конечных автоматов в документообороте //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 286-294
33. Красс А.Л. Метод обучения сложных систем с большим числом входных данных и выходных воздействий //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 295
34. Клебанов А.А., Шалыто А.А. Разработка корректных Java Card-программ на основе автоматного подхода // Моделирование и анализ информационных систем. 2008. Т.15. №3, с. 47-55

1. Маврин П.Ю., Корнеев Г.А., Станкевич А.С., Шалыто А.А. Моделирование жизненного цикла компоненты программного комплекса использованием диаграмм состояний //Информатизация и связь. 2008. № 2, с.20-23.

XXXVII научная и учебно-методическая конференция СПбГУ ИТМО. 29.01 - 1.02.2008 г.
1. Шалыто А.А., Корнеев Г.А. Разработка технологии генетического программирования для генерации автоматов управления системами со сложным поведением.
2. Корнеев Г.А., Шалыто А.А. Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода.
3. Лобанов П.Г., Сытник С.А. Построение автопилота для упрощенной модели вертолета с помощью генетических алгоритмов.
4. Царев Ф.Н., Шалыто А.А. Применение генетического программирования для генерации одного класса систем управления беспилотными летательными объектами.
5. Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для генерации системы управления танком в игре "Robocode".
6. Курбацкий Е.А., Шалыто А.А. О верификации программ, построенных на основе автоматного подхода.

VI научно-технической конференции "Научное программное обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ. 30, 31 января 2008 г.
1. Гуров В.С., Яминов Б.Р. Технология верификации автоматных моделей без их трансляции во входной язык верификатора /Труды научно-технической конференции "Научное программное обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ. 2008, с.36-40.
2. Егоров К.В., Райков П.М., Шалыто А.А. Применение автоматного подхода для создания одного класса мультиагентных систем /Материалы VI научно-технической конференции "Научное программное обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ, с.46-52.
3. Данилов В.Р., Шалыто А.А. Метод генетического программирования для генерации автоматов, представленных деревьями решений /Труды научно-технической конференции "Научное программное обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ. 2008, с.174-181.
4. Царев Ф.Н., Шалыто А.А. Применение генетических алгоритмов для построения автоматов с минимальным числом состояний для задачи об "Умном муравье" /Труды научно-технической конференции "Научное программное обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ. 2008, с.209-215.
5. Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Автоматное программирование и проектный подход при подготовке разработчиков программного обеспечения /Труды научно-технической конференции "Научное программное обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ. 2008, с.248-250.
6. Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ /Труды научно-технической конференции "Научное программное обеспечение в образовании и научных исследованиях". СПб.: СПбГПУ. 2008, с.264-271.

Южно-Уральская конференция по разработке ПО "Технологии Microsoft в теории и практике программирования" IT Fest 2008. Южно-Уральский государственный университет. 11-13 марта 2008 года.
1. Рубинов К.В., Ведененев В.В., Шалыто А.А. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования.

V Всероссийская межвузовская конференция молодых ученых. СПб.: СПбГУ ИТМО. 15-18 апреля 2008 г.
1. Шалыто А.А. Автоматное программирование.
2. Бедный Ю.Д. Применение генетических алгоритмов для создания системы управления танком в игре "Robocode".
3. Кулев В.А., Мандриков Е.А. Программный комплексдля разработки и анализа различных генетических алгоритмов.
4. Степанов О.Г. Метод автоматической динамической верификации автоматных программ.
5. Астафуров А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования.
6. Веденеев В.В., Рубинов К.В. Метод разработки тестов для программных интерфейсов приложений на основе коечно-автоматной модели тестирования.
7. Царев Ф.Н. Применение генетического программирования для построения автоматов Мили в задаче об "Умном муравье".
8. Лобанов П.Г. Методы оптимизации генетических алгоритмов для построения конечных автоматов.
9. Канжелев С.Ю. Проблема ожидания событий в реактивных системах, реализованных с помощью автоматного подхода.
10. Царев М.Н., Царев Ф.Н. Графический язык описания игровых эпизодов в футболе.
11. Рубинов К.В. О некоторых задачах тестирования программного обеспечения.
12. Клебанов А.А. Технология автоматного программирования для создания корректных Java card-программ.

19 Всероссийская научно-техническая конференция "Экстремальная робототехника". СПб: ЦНИИ РТК, 8,9 апреля 2008.
1. Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения многоуровневых систем управления мобильными роботами /Сборник тезисов 19 Всероссийской научно-технической конференции "Экстремальная робототехника". СПб: ЦНИИ РТК, 2008, с.85-87.
2. Клебан В.О., Шалыто А.А. Автоматизированные сервисы и мобильные роботы /Сборник тезисов 19 Всероссийской научно-технической конференции "Экстремальная робототехника". СПб: ЦНИИ РТК, 2008, с.115,116.

XII Всероссийская конференция по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". СПб: СПбГПУ, 14 мая 2008.
1. Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре "Robocode" /Материалы XII Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". СПб: СПбГПУ, с.205-208.
2. Клебан В.О., Шалыто А.А. Использование автоматного программирования при построении гибридной системы управления мобильным роботом /Материалы XII Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". СПб: СПбГПУ, с.210,211.
3. Царев Ф.Н., Шалыто А.А. Совместное Применение генетического и автоматного программирования для построения мультиагентной системы /Материалы XII Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". СПб: СПбГПУ, с. 213-215.

Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU, May 29-30, 2008.
1. Klebanov A. Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.41-44.
2. Astafurov A., Shalyto A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.45-49.
3. Davydov A., Sokolov D., Tsarev F. Application of Genetic Algorithms for Construction of Moore Automation and Systems of Interacting Mealy Automata in "Artificical Ant" Problem /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.51-54.
4. Kochelaev D., Khasanzyanov B., Yaminov B., Shalyto A. Instru- mental Tool for Automata-Based Software Development "UniMod 2" /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.55-57.
5. Mandrikov E., Kulev V. Development of Software System for State Machine Generation Using Genetic Algorithms /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.1, pp.59,60.
6. Kurbatsky E. Verification of Automata-Based Programs /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.2, pp.15-17.
7. Stepanov O., Shalyto A. A Method for Automatic Runtime Verification of Automata-Based Programs /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.2, pp.19-23.
8. Knyasev E. Automated Source Code Changes Classification for Effective Code Review and Analysis /Proceeding of the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE'2008). SPb: SPbSU. 2008. Vol.2, pp.55-59.

XI Международная конференция по мягким вычислениям и измерениям (SCM'2008). СПб.: СПбГЭТУ. 23-25 июня 2008.
1. Данилов В.Р., Шалыто А.А. Метод генетического программирования для генерации автоматов, представленных деревьями решений /Cборник докладов XI Международной конференции по мягким вычислениям и измерениям (SCM'2008). СПб.: СПбГЭТУ. 2008, с. 248-251.
2. Мандриков Е.А., Кулев В.А. Применение распределенных вычислений для автоматической генерации конечных автоматов с использованием генетических алгоритмов /Cборник докладов XI Международной конференции по мягким вычислениям и измерениям (SCM'2008). СПб.: СПбГЭТУ. 2008, с. 255-260.
3. Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре "Robocode" /Cборник докладов XI Международной конференции по мягким вычислениям и измерениям (SCM'2008). СПб.: СПбГЭТУ. 2008, с. 261-265.
4. Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Применение островного генетического алгоритма для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "Умном муравье" /Cборник докладов XI Международной конференции по мягким вычислениям и измерениям (SCM'2008). СПб.: СПбГЭТУ. 2008, с. 266-270.

Итоговая конференция по результатам выполнения мероприятий ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 годы" по приоритетному направлению "Информационно-телекоммуникационные системы" за 2008 год. Ханта-Мансийск: Югорский научно-исследовательский институт информационных технологий. 2008.
1. Шалыто А.А. Технология генетического программирования для генерации автоматов управления системами со сложным поведением /Тезисы итоговой конференция по результатам выполнения мероприятий ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 годы" по приоритетному направлению "Информационно-телекоммуникационные системы" за 2008 год. Ханта-Мансийск: Югорский научно-исследовательский институт информационных технологий. 2008, с.66-67.
2. Шалыто А.А. Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода /Тезисы итоговой конференция по результатам выполнения мероприятий ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 годы" по приоритетному направлению "Информационно-телекоммуникационные системы" за 2008 год. Ханта-Мансийск: Югорский научно-исследовательский институт информационных технологий. 2008, с.76-77.

III Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование". ВМК МГУ. 2008.
1. Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов / Сборник докладов III Международной научно-практической конференции "Современные информационные технологии и ИТ-образование". ВМК МГУ. М.: МАКС Пресс, 2008, с. 179 - 183.

Mobile Software Forum. Санкт-Петербург. 16.12.2008.
1. Шалыто А.А. Панельная дискуссия (Подготовка разработчиков ПО для мобильных устройств). http://www.youtube.com/watch?v=CWdwgUsvDmo

Всероссийская научная конференция студентов и аспирантов "Молодые исследователи - регионам". Вологодский государственный технический университет. 2008 г.
1. Мандриков Е. А., Кулев В. А. Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов / Молодые исследователи - регионам: Материалы всероссийская научная конференция студентов и аспирантов. Вологда: Вологодский государственный технический университет. Т. 1. 2008, с. 55, 56.

1. Поликарпова Н.И., Точилин В.Н. Генетический генератор автоматов //Свидетельство об официальной регистрации программы для ЭВМ. N2008 610473 от 25.01.2008.
2. Яминов Б.Р., Шалыто А.А. Расширение верификатора Bogor для верификации автоматных UniMod-моделей //Свидетельство об официальной регистрации программы для ЭВМ. № 2008 611055 от 28.02.2008.
3. Лукин М.А., Шалыто А.А. Транслятор автоматной UniMod-пролграммы во входной язык верификатора SPIN //Свидетельство об официальной регистрации программы для ЭВМ.№ 2008 610473 от 25.01.2008.
4. Курбацкий Е.А., Шалыто А.А.Транслятор автоматной во входной язык верификатора SMV //Свидетельство об официальной регистрации программы для ЭВМ. №2008 614 235 от 4.09.2008.
5. Вельдер С.Э., Шалыто А.А. Система преобразования автоматной модели в модель Крипке и верификации CTL-свойтв на ней //Свидетельство об официальной регистрации программы для ЭВМ. №2008 614 385 от 11.09.2008.

1. Шалыто А.А. Сохраним в университетах лучших! //Сайт еженедельника "PCWEEK/RE". 10.04.2008; Еженедельник "PCWEEK/RE". 2008. №14
2. Маврин П.Ю., Шалыто А.А. Триумф российской школы программирования //Сайт еженеделька "PCWEEK/RE". 14.04.2008
3. Шалыто А.А. Зачем нам чемпионы по программированию? //Компьютерра. 2008. №14(730), c.22-24; Командный чемпионат мира по программированию ACM 2008/2009. Северо-Восточный Европейский регион. СПбГУ ИТМО. 2008, с. 167-172.
4. Маврин П.Ю., Шалыто А.А. Зачем нам чемпионы по программированию //ITnews. 2008. №8, с.11.
5. Шалыто А.А. Писать по-русски. Шутки в сторону //Труды общеобразовательных структур высших учебных заведений. 2008. Вып.2. В обществе мысли. СПб.: Межрегиональный институт экономики и права. С.276-288.
6. Шалыто А.А. Новое движение в ИТ-отрасли России "Сохраним в университетах лучших" //Компьютерные инструменты в образовании. 2008. № 1, с.5-10. http://ipo.spb.ru/journal/article/855/
7. Акишев И. Об опыте участия в командных соревнованиях по программированию формата ACM ICPC /Методическая газета для учителей информатики "Информатика". 2008. № 19, с. 20-28; Девятая Всероссийская олимпиада школьников по информатике и программированию. СПбГУ ИТМО. 2008, с. 92-109.