Презентации
Шалыто А.А. Введение в автоматное программирование
![](/images/spacer.gif)
Шалыто А.А. Автоматное программирование
![](/images/spacer.gif)
Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем (PDF)
![](/images/spacer.gif)
Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем (видео-презентация) (внешняя ссылка: youtu.be)
![](/images/spacer.gif)
Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
![](/images/spacer.gif)
Korneev G., Shalyto A. State-Driven Programming for Computer Games
![](/images/spacer.gif)
Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов, управляющих системами со сложным поведением
![](/images/spacer.gif)
Шалыто А.А. Автоматное программирование
![](/images/spacer.gif)
Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования
![](/images/spacer.gif)
Царев Ф.Н., Шалыто А.А. Применение генетического программирования для генерации автомата в задаче об "Умном муравье"
![](/images/spacer.gif)
Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для реализации систем со сложным поведением
![](/images/spacer.gif)
Наумов А.С. Виртуальная машина автоматного программирования
![](/images/spacer.gif)
Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ
![](/images/spacer.gif)
Гуров В.С. UniMod: метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний
![](/images/spacer.gif)
Berry G. Synchronous Programming Techniques for Embedded Systems (PDF)
![](/images/spacer.gif)
Доклад Е.А.Мандрикова и В.А.Кулева на V Всероссийской межвузовской конференции молодых ученых "Разработка инструментального средства для автоматической генерации конечных автоматов с использованием генетических алгоритмов" (PDF)
![](/images/spacer.gif)
Царев М.Н., Царев Ф.Н. Графический язык описания игровых эпизодов в футболе
![](/images/spacer.gif)
Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для генерации автоматов Мура и систем взаимодействующих автоматов Мили в задаче об "Умном муравье"
![](/images/spacer.gif)
Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения систем управления мобильными роботами
![](/images/spacer.gif)
Иринев А.В. Генерация вероятностных автоматов методами Reinforcement Learning
![](/images/spacer.gif)
Klebanov A. Automata-based programming technology extension for generation of JML annotated Java card code
![](/images/spacer.gif)
Князев Е.Г. Автоматизированная классификация изменений программного кода для повышения эффективности задач его обзора и анализа
![](/images/spacer.gif)
Абдрашитов Д.С. Применение деревьев для представления строковой информации
![](/images/spacer.gif)
Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша
![](/images/spacer.gif)
Astafurov A.A., Shalyto A.A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages
![](/images/spacer.gif)
Применение генетического программирования для построения автоматов
![](/images/spacer.gif)
Верификация автоматных программ
![](/images/spacer.gif)
Царев М.Н., Царев Ф.Н. Школа информационных технологий и футбола
![](/images/spacer.gif)
Automata Based Programming (внешняя ссылка: se.inf.ethz.ch)
![](/images/spacer.gif)
Spichakova M. Automata Based Programming (Institute of Cybernetics at Tallinn University of Technology) (внешняя ссылка: s-ma-u-g.googlecode.com)
![](/images/spacer.gif)
Давыдов А.А., Поликарпова Н.И., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Разработка программного средства 3Genetic для генерации автоматов управления системами со сложным поведением
![](/images/spacer.gif)
Чеботарева Ю.К. Применение генетических алгоритмов для генерации числовых последовательностей, описывающих движение, на примере шага вперед человекоподобного робота
![](/images/spacer.gif)
Клебан В.О., Шалыто А.А. Применение автоматного программирования во встраиваемых системах
![](/images/spacer.gif)
St. Petersburg University of IT, Mechanics & Optics and ACM International Collegiate Programming Contest (PDF)
![](/images/spacer.gif)
Соколов Д.О. Применение двухэтапного генетического программирования для построения автомата, управляющего моедлью танка в игре Robocode (PDF)
![](/images/spacer.gif)
Ремизов А.О., Шалыто А.А. Верификация автоматных программ
![](/images/spacer.gif)
Dvorkin M. Genomics Quick Start
![](/images/spacer.gif)
Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты (PDF)
![](/images/spacer.gif)
Дворкин М.Э. Методы минимизации необходимого числа цепейдля секвенирования ДНК (PDF)
![](/images/spacer.gif)
Клебанов А.А. Применение шаблонов требований для формальной спецификации и верификации автоматных программ
![](/images/spacer.gif)
Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ
![](/images/spacer.gif)
Вельдер С.Э. Оптимальные укладки графов в пространстве и их приложения к задаче выполнимости
![](/images/spacer.gif)
Мандриков Е.А. Совместное использование автоматного программирования и генетических алгоритмов для управления мультиагентными системами (PDF)
![](/images/spacer.gif)
Алексеев С.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами
![](/images/spacer.gif)
Егоров К.В. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением
![](/images/spacer.gif)
Красильников Н.Н. Автоматное программирование (внешняя ссылка: kenai.com)
![](/images/spacer.gif)
Dvorkin M. Genomics Quick Start (внешняя ссылка: is.ifmo.ru)
![](/images/spacer.gif)
Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода
![](/images/spacer.gif)
Васильев В.Н. Проект «Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий» (PDF)
![](/images/spacer.gif)
Васильев В.Н. Опыт взаимодействия НИУ ИТМО и бизнеса. Двадцать девятое заседание Комиссии при Президенте РФ по модернизации, Покров, 21 марта 2012 (PDF)
![](/images/spacer.gif)
Царев Ф. Н., Шалыто А. А. Эволюционные вычисления и генерация конечных автоматов. Третья российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения». Институт проблем управления имени В. А. Трапезникова РАН (г. Москва, Россия), 17 апреля 2012 года. Пленарный доклад. (PDF)
![](/images/spacer.gif)
Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий (внешняя ссылка: www.i-russia.ru)
![](/images/spacer.gif)
Programming World Champions from Russia
![](/images/spacer.gif)
Верификация распределенных автоматных программ с использованием инструментального средства Spin (внешняя ссылка: tmpaconf.org)
![](/images/spacer.gif)
Карпов Ю.Г., Шошмина И.В. На пути к практическому применению верификации в разработке программных систем (PDF)
![](/images/spacer.gif)
Карпов Ю.Г., Шошмина И.В., Беляев А.Б. Верификация параллельных и распределенных программных систем (PDF)
![](/images/spacer.gif)
Шошмина И.В., Карпов Ю.Г., Беляев А.Б. Моделирование и верификация распределенных систем в среде SPIN (PDF)
![](/images/spacer.gif)
Slides from Konstantin Rubinov, Politecnico di Milano (PDF)
![](/images/spacer.gif)
Шалыто А.А. Или бизнес помогает классным ИТ-коллективам в вузах, или нам всем труба (PDF)
![](/images/spacer.gif)
Бедный Ю., Шалыто А.А. Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления (внешняя ссылка: rpp.nashaucheba.ru)
![](/images/spacer.gif)
Кажелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний (внешняя ссылка: www.myshared.ru)
![](/images/spacer.gif)
Царев Ф.Н. Теория автоматов в программировании (внешняя ссылка: hnu.docdat.com)
![](/images/spacer.gif)
Как компьютерное зрение и машинное обучение помогают автоматизировать видеонаблюдение (PDF)
![](/images/spacer.gif)
Итоговая конференция ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 г."
Разработка технологии генетического программирования для генерации автоматов управления системами со сложным поведением
![](/images/spacer.gif)
Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода
![](/images/spacer.gif)
Царев Ф. Н., Шалыто А. А. Программирование олимпиадными командами как разновидность экстремального программирования для решения задач дискретной математики (на примере сборки генома). CEE-SEC(R) 2011 (PDF)
![](/images/spacer.gif)
VI Всероссийская межвузовская конференция молодых ученых
Владыкин А.А. (аспир.). Эффективный разбор XML на основе автоматного подхода. (PDF)
![](/images/spacer.gif)
Колесников Е.И. (аспир.). Обзор маршрутов проектирования прикладного программного обеспечения для ПЛИС/ASIC/SoC на основе языков С/С++.
![](/images/spacer.gif)
Чепурной А.И. (аспир.). Выбор исполнимой модели для описания логики переходов веб-приложений.
![](/images/spacer.gif)
Клебан В.О. (студ.), Стрюк Л.Е. (студ.). Моделирование бизнес-процессов с использованием конечных автоматов.
![](/images/spacer.gif)
Бульёнов А.В. (аспир.). Методы автоматного программирования в разработке web-приложений.
![](/images/spacer.gif)
Буздалов М.В. (студ.). Применение генетических алгоритмов для генерации тестов к олимпиадным задачам по программированию.
![](/images/spacer.gif)
Вельдер С.Э. (аспир.). Верификация автоматных моделей на основе построения редуцированного графа переходов.
![](/images/spacer.gif)
Стрюк Л.Е. (студ.), Клебан В.О. (студ.). Использование конечных автоматов при построении ядра микрооперационной системы реального времени.
![](/images/spacer.gif)
Царев Ф.Н. (студ.). Применение метода представления функции переходов с помощью абстрактных конечных автоматов в генетическом программировании.
![](/images/spacer.gif)
Попов С.О. (студ.). Метод построения детерминированных автоматов на основе использования вероятностных автоматов.
![](/images/spacer.gif)
Родиков Д.Е. (студ.), Соколов Д.О. (студ.). Анализ использования нескольких функций приспособленности для построения автоматов с помощью генетических алгоритмов на примере задачи "Умный муравей 3".
![](/images/spacer.gif)
Чеботарева Ю.К. (студ.). Применение генетических алгоритмов для генерации числовых последовательностей, описывающих движение, на примере шага вперед человекоподобного робота.
![](/images/spacer.gif)
Федотов П.В. (студ.), Соколов Д.О. (студ.), Царев Ф.Н. (студ.). Применение генетического программирования в задаче поиска усердных бобров.
![](/images/spacer.gif)
Мандриков Е.А. (студ.), Кулев В.А. (студ.). Применение автоматного программирования для построения систем управления бизнес-процессами.
![](/images/spacer.gif)
Маврин П.Ю. (аспир.). Декларативное объявление сервисов в динамических компонентных системах.
![](/images/spacer.gif)
VII Всероссийская межвузовская конференция молодых ученых
Вельдер С.Э. Оптимальные укладки графов в пространстве и их приложения к задаче выполнимости
![](/images/spacer.gif)
I Всероссийский конгресс молодых ученых
Афанасьева А.С. Выбор функции приспособленности особей генетического алгоритма с помощью обучения с подкреплением (PDF)
![](/images/spacer.gif)