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

Главная

Новости
Новости науки
Важное
Почетные доктора
Инновации
Культура
Люди
Разное
Скартел-Yota
Стрим
Смольный

Учебный процесс

Образование
Дипломы
Курсовые проекты
Лабораторные работы
Учебные курсы
Визуализаторы
Unimod-проекты
Семинары
Стипендии

Наука

События и факты
Госконтракты
Статьи
Диссертации
Книги
Презентации
Свидетельства
Сотрудничество

Исследования

Автоматы
Верификация
Биоинформатика
Искусственный интеллект
Генетические алгоритмы
Движение
UniMod
Роботы и агенты
Нейронные сети
ФЦП ИТМО-Аалто
Разное

О нас
Премии
Сертификаты и дипломы
Соревнования по программированию
Прорыв
Автографы
Рецензии

Беллетристика
Мотивация
Мысли

Медиа

Видео
Фотографии
Аудио
Интервью

English

Home

Articles
Posters
Automata-Based Programming
Initiatives
Projects
Presentations
UniMod
UniMod Projects
Visualizers

Поиск по сайту

Яndex

Главная / Статьи (версия для печати)

Статьи

Существует только то, что известно.
Сэр Питер Устинов

В режиме “инкогнито”. Российской компьютерной науке пора выбираться из тени (внешняя ссылка: www.poisknews.ru)

Б. Мейер, К. Чоппи, Я.В. Ливен, Й. Стаунструп. Computer Science борется за справедливую оценку // Санкт-Петербургский университет. 2011, №9. (PDF)

Мякишева Л.М. Рекомендации для авторов статей (PDF)

Сборник, которым так гордится В.Г. Парфенов (PDF)

Столяров Л. Трансляция описаний конечных автоматов, представленных в формате Microsoft Visio, в исходный код на языке С (внешняя ссылка: ded32.net.ru)

Столяров Л., Петряйкин Ф., Уваров Н. Платформа для автоматной многоагентной системы в стиле 3D-Action (внешняя ссылка: ded32.net.ru)

Шелехов В.И. Язык и технология автоматного программирования // Программная инженерия. 2014. № 4, с. 3-15. (PDF)

Большаков О.А., Рыбаков А.В. Разработка систем диспетчеризации и управления технологическим процессом на основе прототипа и промежуточного тестирования компонентов разрабатываемой системы // Промышленные АСУ и контроллеры. 2014. № 6, с. 3-7. (PDF)

Большаков О.А., Рыбаков А.В. Автоматное моделирование систем автоматизации с реализацией на ПЛК // Автоматизация в промышленности. Октябрь 2013, с. 61-64. (PDF)

Большаков О.А., Рыбаков А.В. Автоматное моделирование технологических процессов на ПЛК Siemens // Вестник МГТУ «СТАНКИН». 2013. № 4, с. 71–75. (PDF)

Сроки (в месяцах) от подачи статьи до ее принятия и выхода в журналах американского математического общества (внешняя ссылка: www.ams.org)

И это если статья проходит нормально. Примеры по близкой к нам тематике:
1. Algoritmica 7 + 14 = 21
2. Automatica J. IFAK 13 + 6 = 19
3. Discrete Math 12 + 3 = 15
4. Theory Comput Syst. 7 +12 = 19

Статьи из журнала "Научно-технический вестник информационных технологий, механики и оптики" №77(1), 2012

Афанасьева А.С., Буздалов М.В. Выбор функции приспособленности особей генетического алгоритма с помощью обучения с подкреплением // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 77-81. (PDF)

Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 81-85. (PDF)

Банных А.Г. Применение деревьев для реализации массовых операций на многомерных массивах данных // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 85-89. (PDF)

Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 90-95. (PDF)

Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 96-100. (PDF)

Тихомиров А.В., Шалыто А.А. Применение адаптивного генетического алгоритма для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 100-105. (PDF)

Сборник "Список-2011"

Сборник "Список-2011". Материалы второй межвузовской научной конференции по проблемам информатики". СПб.: ВВМ, 2011. - 476 с. Конференция проходила 27-29.04.2011 г. на матмехе СПбГУ. Наши статьи на с. 319-384. (PDF)

Сергушичев А. А., Исенбаев В. В., Царев Ф. Н., Прохорчук Е. Б., Шалыто А. А. Разработка метода восстановления фрагментов нуклеотидных последовательностей по парным чтениям /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 320 – 325. (PDF)

Александров А. В., Казаков С. В., Мельников С. В., Прохорчук Е. Б., Царев Ф. Н., Шалыто А. А.Разработка метода удаления ошибок из набора чтений нуклеотидной последовательности /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 326 – 329. (PDF)

Александров А. В., Казаков С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А. Применение генетических алгоритмов на основе обучающих примеров для построения конечных автоматов для управления моделью беспилотного самолета /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 330 – 332. (PDF)

Казаков С. В., Царев Ф. Н., Шалыто А. А.Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 333 – 335. (PDF)

Буздалов М. В. Генерация тестов для олимпиадных задач по программированию с использованием эволюционных стратегий /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 336 – 338. (PDF)

Буздалов М. В. Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 339 – 342. (PDF)

Егоров К. В., Царев Ф. Н. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе верификации моделей и обучающих примеров /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 343 – 350. (PDF)

Егоров К. В., Шалыто А. А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе контрактов и тестовых примеров /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 351 – 355. (PDF)

Ульянцев В. И., Царев Ф. Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 356 – 358. (PDF)

Вельдер С. Э. Автоматическое доказательство аналогов гипотезы Черни-Пэна /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 359 – 362. (PDF)

Паращенко Д. А., Станкевич А. С. Обработка строк на основе суффиксных автоматов /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 363 – 365. (PDF)

Паращенко Д. А., Станкевич А. С. Суффиксные автоматы с сохранением промежуточных версий и их приложения /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 366 – 367. (PDF)

Малаховски Я. М. Применение систем типов для валидации и верификации автоматных программ /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 368, 369. (PDF)

Тихомиров А. В. Генерация клеточных автоматов на основе обучающих примеров при помощи генетического программирования /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 370 – 372. (PDF)

Лукин М. А. Разработка и верификация многопоточных автоматных программ /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 373, 374. (PDF)

Алексеев С. А., Клебан В. О. Программно-аппаратный комплекс для исследования аппаратного управления мобильными роботами /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 375, 376. (PDF)

Смирнов Е. В. Применение генетических алгоритмов для локальной оптимизации программного кода /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 377 – 379. (PDF)

Купцов А. В. Вывод nullness-контрактов из исходного кода программы с помощью графа потока управления /Сборник «Список-2011». Материалы второй межвузовской научной конференции по проблемам информатики». СПб.: ВВМ. 2011, с. 380 – 384. (PDF)

Статьи из журнала "Научно-технический вестник СПбГУ ИТМО" №72(2), 2011

Сборник "Технологии автоматного программирования и искусственного интеллекта" (Обложка) (PDF)

Сборник "Технологии автоматного программирования и искусственного интеллекта" (Статьи) (PDF)

Александров А. В., Казаков С. В. Сергушичев А. А., Царев Ф. Н., Шалыто А. А. Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 3 – 11. (PDF)

Клебан В. О., Шалыто А. А. Разработка системы управления малоразмерным вертолетом // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 12 – 16. (PDF)

Соколов Д. О. Применение двухэтапного генетического программирования для построения модели танка в игре «Robocode» // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 16 – 22. (PDF)

Чернявский И. И. Применение машинного обучения для создания управляющих автоматов на примере игры «Robocode» // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 22 – 26. (PDF)

Алексеев С. А., Калиниченко А. И., Клебан В. О., Шалыто А. А. Автоматический синтез системы управления мобильным роботом для решения задачи «Кегельринг» // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 26 – 31. (PDF)

Сергеев А. А., Клебан В. О., Шалыто А. А. Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 32 – 36. (PDF)

Алексеев С. А., Клебан В. О., Шалыто А. А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 37 – 40. (PDF)

Скорынин П. А. Детекторы особенностей в методе Виолы-Джонса, построенные на основе конечных автоматов // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 40 – 44. (PDF)

Трофимов Д. А., Шалыто А. А. Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 45 – 49. (PDF)

Заикин А. К. Разработка методов построения конечных автоматов с использованием алгоритма имитации отжига на примере игры «Война за ресурсы» // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 49 – 54. (PDF)

Данилов В. Р., Шалыто А. А. Метод представления автоматов линейными бинарными графами для использования в генетическом программировании // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 54 – 57. (PDF)

Кулев В. А. Автоматический подбор параметров внешней среды при генерации автоматных программ с помощью генетических алгоритмов // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 57 – 62. (PDF)

Тихомиров А. В., Шалыто А. А. Применение генетического подхода для генерации клеточных автоматов // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 62 – 66. (PDF)

Законов А. Ю., Шалыто А. А. Применение генетических алгоритмов для генерации тестов для автоматных программ // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 66 – 72. (PDF)

Буздалов М. В. Генерация тестов для олимпиадных задач по программированию с использованием генетических алгоритмов // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 72 – 77. (PDF)

Борисенко А. А., Парфенов В. Г. Совместное применение контрактов и верификации для повышения качества автоматных программ // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 77 – 81. (PDF)

Тяхти А. С. Виртуальная лаборатория обучения методам искусственного интеллекта для генерации управляющих конечных автоматов // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 81 – 85. (PDF)

Научно-технический вестник СПбГУ ИТМО, выпуск 53, 2008. Автоматное программирование

Первый в мире сборник по автоматному программированию (PDF)

Шалыто А.А. Парадигма автоматного программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 3-24 (PDF)

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для генерации автоматов с большим числом входных переменных //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 24-42 (PDF)

Царев Ф.Н. Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 42-60 (PDF)

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетического программирования и методов сокращенных таблиц переходов и деревьев решений для построения автоматов управления моделью беспилотного летательного аппарата //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 60-79 (PDF)

Лобанов П.Г., Сытник С.А., Шалыто А.А. Построение автопилота для упрощенной модели вертолета с помощью генетического алгоритма //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 79-88 (PDF)

Бедный Ю Д., Шалыто А.А. Создание системы управления танком для игры robocode с использованием генетических алгоритмов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 88-99 (PDF)

Мандриков Е.А., Кулев В.А. Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 100-103 (PDF)

Данилов В.Р. Метод представления автоматов деревьями решений для использования в генетическом программировании //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 103-108 (PDF)

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "умном муравье" //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 108-114 (PDF)

Лобанов П.Г. Методы оптимизации генетических алгоритмов для построения конечных автоматов //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 114-122 (PDF)

Вельдер С.Э., Шалыто А.А. Методы верификации моделей автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 123-137 (PDF)

Курбацкий Е.А. Верификация программ, построенных на основе автоматного подхода с использованием программного средства SMV //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 137-145 (PDF)

Лукин М.А., Шалыто А.А. Верификация автоматных программ с использованием верификатора SPIN //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 145-162 (PDF)

Гуров В.С., Яминов Б.Р. Верификация автоматных программ при помощи верификатора UNIMOD.VERIFIER //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 162-177 (PDF)

Егоров К.В., Шалыто А.А. Разработка верификатора автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 177-189 (PDF)

Законов А.Ю. Применение автоматного подхода для создания корректных JAVA CARD-приложений //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 189-198 (PDF)

Клебанов А.А., Шалыто А.А. Разработка корректных JAVA CARD-программ на основе автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 198-211 (PDF)

Канжелев С.Ю. Верификации взаимодействия частей реактивной системы, реализованных с помощью автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 211-221 (PDF)

Степанов О.Г. Метод автоматической динамической верификации автоматных программ //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 221-229 (PDF)

Астафуров А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 230-238 (PDF)

Тимофеев К.И., Астафуров А.А. Наследование автоматных классов с использованием динамических языков программирования на примере RUBY //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 238-250 (PDF)

Кочелаев Д.Ю., Лагунов И.А., Хасянзянов Б.З., Яминов Б.Р. Инструментальное средство для поддержки автоматного программирования UNIMOD 2: проектирование. валидация. верификация. реализация //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 251-257 (PDF)

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 258-263 (PDF)

Лагунов И.А. Текстовый язык автоматного программирования FSML для инструментального средства UNIMOD //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 263-272 (PDF)

Рубинов К.В., Веденеев В.В., Парфенов В.Г. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 273-280 (PDF)

Клебан В.О., Шалыто А.А., Парфенов В.Г. Построение системы автоматического управления мобильным роботом на основе автоматного подхода //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 281-285 (PDF)

Клебан В.О., Новиков Ф.А. Применение конечных автоматов в документообороте //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 286-294 (PDF)

Красс А.Л. Метод обучения сложных систем с большим числом входных данных и выходных воздействий //Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование, с. 295 (PDF)

Инициатива "Сохраним в университетах лучших!"

Шалыто А.А. Сохраним в университетах лучших! (PDF)

Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать (PDF)

Движение за открытую проектную документацию

Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию

Автоматное программирование

Шалыто А.А. Автоматно-ориентированное программирование (PDF)

Шалыто А.А. Автоматное программирование (PDF)

Шалыто А.А. Парадигма автоматного программирования (PDF)

Шалыто А.А. Автоматное программирование (PDF)

Шалыто А.А. Парадигма автоматного программирования (PDF)

Отрывок из книги "Автоматное программирование" в журнале RSDN Magazine (PDF)

Шалыто А.А. Автоматное программирование / Труды конференции "Технические и программные средства систем управления, контроля и измерения". М.: ИПУ РАН им. В.А. Трапезникова. 2010, с. 1213 - 1224. (PDF)

Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). C. 146-152. (PDF)

Новосельцев А.В. Метод создания графических интерактивных мнемосхем с использованием идеи автоматного программирования в среде PhA8 (ОСРВ QNX 4.25) // Системы управления и обработки информции. 2013. Вып.27, с. 79-88. (PDF)

Технология автоматного программирования

Шалыто А.А. Технология автоматного программирования

Программирование с явным выделением состояний

Шалыто А.А. Программная реализация управляющих автоматов

Шалыто А.А. Технология программной реализации алгоритмов логического управления как средство повышения живучести (PDF)

Шалыто А.А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления

Шалыто А.А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем

Шалыто А.А. Алгоритмизация и программирование для систем логического управления и "реактивных" систем

Шалыто А.А. Алгоритмизация и программирование для систем логического управления и "реактивных" систем (скан) (PDF)

Шалыто А.А., Туккель Н.И. Программирование с явным выделением состояний

Шалыто А.А., Туккель Н.И. От тьюрингова программирования к автоматному

Шалыто А.А., Туккель Н.И. Реализация автоматов при программировании событийных систем

Шалыто А.А., Туккель Н.И. Проектирование программного обеспечения системы управления дизель-генераторами на основе автоматного подхода

Мазин М., Шалыто А.А. Анимация. Flash-технология. Автоматы

Шалыто А.А., Туккель Н.И. Автоматный подход к созданию программного обеспечения для систем логического управления и "реактивных" систем (PDF)

Switch-технология (внешняя ссылка: ru.wikipedia.org)

Automata-based programming (Shalyto's approach) (внешняя ссылка: en.wikipedia.org)

Объектно-ориентированное программирование с явным выделением состояний

Шалыто А.А., Туккель Н.И. Автоматы и Танки

Шалыто А.А., Наумов Л.А. Реализация автоматов в объектно-ориентированных программах (PDF)

Наумов Л.А., Шалыто А.А. Искусство программирования лифта. Объектно-ориентированное программирование с явным выделением состояний

Шопырин Д., Шалыто А.А. Объектно-ориентированный подход к автоматному программированию

Шамгунов Н.Н., Корнеев Г.А., Шалыто А.А. State Machine — новый паттерн объектно-ориентированного проектирования

Шамгунов Н.Н., Корнеев Г.А., Шалыто А.А. Паттерн State Machine. Внедрение. Сравнение с другими подходами

Шамгунов Н.Н., Корнеев Г.А., Шалыто А.А. State Machine — расширение языка Java для эффективной реализации автоматов

Шалыто А.А. Классификация методов реализации автоматов в объектно-ориентированном программировании (PDF)

Лобанов П.Г., Шалыто А.А. Подсчет длин слов в строке на основе автоматного подхода

Шопырин Д.Г. Объектно-ориентированная реализация конечных автоматов на основе виртуальных методов

Шопырин Д.Г. Метод проектирования и реализации конечных автоматов на основе виртуальных вложенных классов

Бабаев А. Фильтрация строк с использованием автоматов

Бабаев А. Автоматный интерфейс. Новый метод создание логики интерфейса

Маврин П.Ю., Корнеев Г.А., Станкевич А.С., Шалыто А.А. Моделирование жизненного цикла компоненты программного комплекса с использованием диаграмм состояний (PDF)

Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения (PDF)

Астафуров А.А., Шалыто А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования (PDF)

Красильников Н.Н. Простенький набор классов для описания автоматов (PDF)

Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов (PDF)

Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов (скан) (PDF)

Раер М.Г. Автоматное расширение языка C# (внешняя ссылка: ntv.ifmo.ru)

Красильников Н.Н. Реализация автоматов на основе указателей на методы (PDF)

Астафуров А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирония (PDF)

Тимофеев К.И., Астафуров А.А. Шалыто А.А. Наследование автоматных классов с использованием динамических языков программирования (на примере языка Ruby) (PDF)

Инструментальные средства автоматного программирования

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UML. SWITCH-технология. Eclipse

Гуров В.С., Нарвский А.С., Шалыто А.А. ICQ и автоматы

Горшкова Е.А., Новиков Б.А. Использование диаграмм состояний переходов для моделирования гипертекста (PDF)

Горшкова Е.А., Новиков Б.А., Белов Д.Д., Гуров В.С., Спиридонов С.В. Моделирование контроллера WEB-приложений с использованием UML

Гуров В.С., Мазин М.А., Шалыто А.А. Операционная семантика UML-диаграмм состояний в программном пакете UniMod //Труды XII Всероссийской научно-методической конференции "Телематика- 2005". СПб.: СПбГУ ИТМО. Т.1, с.74-76. (PDF)

Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России (PDF)

Новиков Ф.А. Визуальное конструирование программ

Гуров В.С., Мазин М.А., Шалыто А.А. UniMod — Инструментальное средство для автоматного программирования (PDF)

Канжелев С.Ю., Шалыто А.А. Автоматическая генерация программного кода (PDF)

Гуров В.С., Мазин М.А., Зубок Д.А., Парфенов В.Г., Шалыто А.А. Два подхода к созданию программ с использованием инструментального средства UniMod (PDF)

Царев Ф.Н., Шалыто А.А. Групповое управление беспилотными летательными объектами на основе автоматного программирования (PDF)

Татарчевский В.А. Инструментальное средство проектирования ПО встроенных систем MicroSWITCH на основе модифицированной нотации UML (PDF)

Татарчевский В.А. Проблемы применения языков стандарта IEC 61131-3 и возможные пути решения (PDF)

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования (PDF)

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования (скан) (PDF)

Туккель Н.И. О реализации автоматов (внешняя ссылка: habrahabr.ru)

Восьмиклассник Л.В. Столяров (лицей "Вторая школа") опубликовал работу в журнале Прикладная дискретная математика. Приложение. 2009. № 1, с.81-83,который выпускается Томским государственным университетом (внешняя ссылка: www.lib.tsu.ru)

Столяров Л.В. Трансляция описаний автоматов, представленных в формате Microsot Visio в исодный код на языке C (PDF)

Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем / XII Всероссийское совещания по проблемам управления (ВСПУ-2014). С. 3159-3166. (PDF)

Синхронное программирование

Шопырин Д.Г., Шалыто А.А. Синхронное программирование

Павлов Д. Автоматный серпентарий

Автоматная реализация вычислительных алгоритмов

Туккель Н.И., Шалыто А.А. Реализация вычислительных алгоритмов на основе автоматного подхода (PDF)

Шалыто А.А., Туккель Н.И. Преобразование итеративных алгоритмов в автоматные

Туккель Н.И., Шалыто А.А., Шамгунов Н.Н. Реализация рекурсивных алгоритмов на основе автоматного подхода

Шалыто А.А., Туккель Н.И., Шамгунов Н.Н. Ханойские башни и автоматы

Шалыто А.А., Туккель Н.И., Шамгунов Н. Задача о ходе коня

Мазин М.М., Шалыто А.А. Преступники и автоматы

Корнеев Г.А., Шамгунов Н.Н., Шалыто А.А. Обход деревьев на основе автоматного подхода

Шалыто А.А., Оршанский С.А. Применение динамического программирования при решении задач на конечных автоматах (PDF)

Дворкин М.Э., Станкевич А.С., Шалыто А.А. О применении автоматов при реализации алгоритмов дискретной математики (на примере АВЛ-деревьев) (PDF)

Логическое управление

Шалыто А.А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 1

Шалыто А.А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 2

Шалыто А.А. Реализация алгоритмов логического управления программами на языке функциональных блоков

Шалыто А.А. Реализация управляющих автоматов на языках инструкций программируемых логических контроллеров

Альтерман И.З., Шалыто А.А. Формальные методы программирования логических контроллеров

Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология (PDF)

Татарчевский В.А. SWITCH-технология в задачах логического управления (PDF)

Вавилов К.В., Шалыто А.А. Что плохого в неавтоматном подходе к программированию контроллеров? (PDF)

Татарчевский В.А. Применение SWITCH-технологии в задачах управления технологическими процессами. (PDF)

Признание комиссара полиции прокурору республики (PDF)

Вавилов К.В. Программирование за... 1 (одну) минуту

Татарчевский В.А. Switch-технология в задачах логического управления (внешняя ссылка: www.swsys.ru)

Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем // Системы управления и обработки информации. 2013. Вып. 26, с. 128–135. (PDF)

Игры

Беляев А.В., Суясов Д.И., Шалыто А.А. Компьютерная игра «Космонавт». Проектирование и реализация (PDF)

Петрошенко П.А., Корнеев Г.А., Шалыто А.А. Реализация игры «Морской бой» на основе автоматного подхода (PDF)

Визуализаторы

Казаков М.А., Корнеев Г.А., Шалыто А.А. Разработка логики визуализаторов алгоритмов на основе конечных автоматов

Казаков М.А., Шалыто А.А. Использование автоматного программирования для реализации визуализаторов

Казаков М.А., Шалыто А.А. Реализация анимации при построении визуализаторов алгоритмов на основе автоматного подхода

Казаков М.А., Шалыто А.А. Автоматный подход к реализации анимации в визуализаторах алгоритмов

Казаков М.А., Шалыто А.А. Методы построения логики визуализаторов алгоритмов

Корнеев Г.А., Шалыто А.А. Vizi — язык описания логики визуализаторов алгоритмов (PDF)

Корнеев Г.А. Технология разработки визуализаторов алгоритмов (PDF)

Корнеев Г.А., Шалыто А.А. Построение визуализаторов алгоритмов дискретной математики (PDF)

Корнеев Г.А. Метод преобразования программ в систему взаимодействующих автоматов (PDF)

Нейросети и автоматы

Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Использование нейросетевых конечных автоматов для моделирования функционирования агрегатов жидкостного ракетного двигателя

Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Ракеты. Автоматы. Нейронные сети (PDF)

Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя (PDF)

Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя (скан) (PDF)

Встроенные системы

Черномырдин А. Автоматное программирование для микроконтроллеров. Switch-технология и интерпретаторы (PDF)

Черномырдин А. Автоматное программирование для микроконтроллеров - 2 (PDF)

Татарчевский В. Некоторые мысли по поводу программирования встроенных систем (PDF)

Татарчевский В. Еще раз о программировании встроенных систем (PDF)

Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 1 (PDF)

Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 2 (PDF)

Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 3 (PDF)

Татарчевский В.А. Применение SWITCH- технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 4 (PDF)

Татарчевский В.А. Применение SWITCH- технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 5 (PDF)

Татарчевский В.А. Применение SWITCH- технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 6 (PDF)

Татарчевский В.А. Применение SWITCH- технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 7 (PDF)

Катков А.Н. Применение Switch-технологии при разработке встроенного программного обеспечения для датчико-преобразующей аппаратуры (PDF)

Татарчевский В.А. Графический язык разработки программного обеспечения встроенных систем на основе модифицированной нотации UML (внешняя ссылка: www.jurnal.org)

Эволюционные алгоритмы

Буздалов М.В. Применение генетических алгоритмов, выявляющих неэффективные решения олимпиадных задач по программированию, на примере задачи о рюкзаке (PDF)

Чеботарева Ю.К. Применение генетических алгоритмов для генерации функций, описывающих движение, на примере шага вперед человекоподобного робота (PDF)

Тяхти А.С., Чебатуркин А.А., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория обучения методам искусственного интеллекта для генерации управляющих конечных автоматов (PDF)

Чащин Д.А., Шалыто А.А. Распределенная виртуальная лаборатория для обучения генетическим алгоритмам (PDF)

Егоров К.В., Царев Ф.Н., Шалыто А.А. Совместное применение генетического программирования для построения автоматов управления системами со сложным поведением // Труды СПИИРАН. 2010. Вып. 15, с. 123 – 135 (PDF)

Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных стратегий // Научно-технический вестник СПбГУ ИТМО. 2011, №6(76), стр. 123-127. (PDF)

Буздалова А.С., Буздалов М.В. Метод повышения эффективности эволюционных алгоритмов с помощью обучения с подкреплением // Научно-технический вестник информационных технологий, механики и оптики. 2012. №5(81), с. 115-119. (PDF)

Генетические алгоритмы и автоматы

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для построения автоматов в задаче «Умный муравей»

Царев Ф.Н., Шалыто А.А. О построении автоматов с минимальным числом состояний для задачи об умном муравье (PDF)

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Разработка библиотеки для генерации управляющих автоматов методом генетического программирования (PDF)

Мандриков Е.А., Кулев В.А., Шалыто А.А. Построение автоматов с помощью генетических алгоритмов для решения задачи о "флибах" (PDF)

Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечного автомата в задаче о <флибах>

Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для решения задачи об "Умном муравье" (PDF)

Царев Ф.Н.., Шалыто А.А. Применение генетического программирования для генерации автоматов в задаче об "Умном муравье" (PDF)

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для реализации систем со сложным поведением (PDF)

Шалыто А.А., Лобанов П.Г. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах (PDF)

Гунич И.С., Иринев А.В, Шалыто А.А. Автоматный подход к моделированию эволюции микроорганизмов с использованием генетических алгоритмов (PDF)

Мандриков Е.А., Кулев В.А., Шалыто А.А. Применение генетических алгоритмов для создания управляющих автоматов в задаче о "флибах" (PDF)

Мандриков Е.А., Кулев В.А., Шалыто А.А. Применение генетических алгоритмов для создания управляющих автоматов в задаче о "флибах" (скан) (PDF)

Царев Ф.Н., Шалыто А.А. Применение генетических алгоритмов для построения автоматов с минимальным числом состояний для задачи об "Умном муравье" (PDF)

Лобанов П.Г. Использование генетических алгоритмов для решения задачи об "умном муравье" (внешняя ссылка: ntv.ifmo.ru)

Поликарпова Н.И., Точилин В.Н. Применение генетического программирования для реализации систем со сложным поведение (внешняя ссылка: ntv.ifmo.ru)

Лобанов П.Г., Сытник С.А. Использование генетических алгоритмов для построения автопилота для простейшего вертолета (PDF)

Данилов В.Р., Шалыто А.А. Метод генетического программирования для генерации автоматов, представленных деревьями решений (PDF)

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode (PDF)

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Применение островного генетического алгоритма для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "Умном муравье" (PDF)

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов (PDF)

Лобанов П.Г. Методы оптимизации генетических алгоритмов для построения конечных автоматов (PDF)

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетического программирования и методов сокращенных таблиц переходов и деревьев решений для построения автоматов управления моделью беспилотного летательного аппарата (PDF)

Данилов В.Р., Шалыто А.А. Метод представления функций переходов деревьями решений для генерации автоматов с помощью генетического программирования (PDF)

Мандриков Е.А., Кулев В.А. Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов (PDF)

Данилов В.Р., Шалыто А.А. Представление функции переходов линейными бинарными графами при генерации управляющих автоматов с помощью генетического программирования (PDF)

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "Умном муравье" (PDF)

Данилов В.Р. Метод представления автоматов деревьями решений для использования в генетическом программировании (PDF)

Бедный Ю.Д., Шалыто А.А. Создание системы управления танком для игры Robocode с использованием генетических алгоритмов (PDF)

Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Controllers represented by Automata (PDF)

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode / Сборник трудов четвертой Международной конференции по проблемам управления. М.: ИПУ РАН. 2009, с.1521-1528 (PDF)

Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях (сборник статей третьей Всероссийской научной конференции "Нечеткие системы и мягкие вычисления") (PDF)

Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях (журнал "Информационные технологии") (PDF)

Шалыто А.А., Мандриков Е.А., Чеботарева Ю.К. Автоматное программирование и параллельные вычисления (PDF)

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования (PDF)

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н. Генетическое программирование на основе обучающих примеров для построения конечных автоматов управления моделью беспилотного самолета (PDF)

Царев Ф.Н. Построение автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования (PDF)

Царев Ф.Н. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования (PDF)

Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания (PDF)

Буздалов М. В. Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации //Сборник научных трудов VI-ой Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте. М. : Физмалит. 2011, с. 566 – 577. (PDF)

Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник СПбГУ ИТМО. 2011, №6(76), стр. 64-68. (PDF)

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением. // Известия российской академии наук. Теория и системы управления. 2013. № 3. С. 85—100. (PDF)

Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия РАН. Теория и системы управления. 2015. № 6. С. 17-30. (PDF)

Генетические алгоритмы и верификация

Егоров К.В., Царев Ф.Н. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением (PDF)

Егоров К.В., Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации (PDF)

Царев Ф.Н., Шалыто А.А. Построение конечных автоматов на основе генетических алгоритмов и генетического программирования // Труды Третьей российской конференции с международным участием "Технические и программные средства систем управления, контроля и измерения" (УКИ’12). М.: ИПУ РАН. 2012, c. 2017-2031. (PDF)

Генетические алгоритмы и тестирование

Zakonov A. A GA-based approach for test generation for automata-based programs (PDF)

Zakonov A., Stepanov O., Shalyto A. GA-based and Design by Contract Approach to Test Generation for EFSMs (PDF)

Генетические алгоритмы, нейронные сети, конечные автоматы

Царев Ф.Н. Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом (PDF)

Построение автоматов на основе сценариев работы

Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы / Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011). - Санкт-Петербург: СПбГЭТУ, 2011. - Т. 2. - С. 69-75. (PDF)

Вихарев А.К., Ульянцев В.И., Шалыто А.А. Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы / Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011). - Санкт-Петербург, СПбГЭТУ, 2011. - Т. 2. - С. 76-80. (PDF)

Шестаков А.В. Минимальная модификация автоматных программ при изменении сценариев их работы // Научно-технический вестник информационных технологий, механики и оптики, 2013, № 1 (83). C. 104-108. (PDF)

Панченко Е.В., Ульянцев В.И. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам // Научно-технический вестник информационных технологий, механики и оптики, 2013, № 4 (86). C. 151-153. (PDF)

Верификация

Виноградов Р.А., Кузьмин Е.В., Соколов В.А. Верификация автоматных программ средствами CPN/Tools (PDF)

Кузьмин Е.В. Иерархическая модель автоматных программ (PDF)

Васильева К.А., Кузьмин Е.В. Верификация автоматных программ с использованием LTL (PDF)

Кузьмин Е.В., Соколов В.А. О дисциплине специализации "Верификация программ" (PDF)

Кузьмин Е.В., Соколов В.А. О верификации "автоматных" программ (PDF)

Вельдер С.Э., Шалыто А.А. О верификации простых автоматных программ на основе метода Model Checking (PDF)

Кузьмин Е.В., Соколов В.А. О некоторых подходах к верификации автоматных программ (PDF)

Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Верификация автоматных программ (PDF)

Гуров В.С., Шалыто А.А., Яминов Б.Р. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора (PDF)

Гуров В.С., Яминов Б.Р. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора (PDF)

Лукин М.А., Шалыто А.А. Автоматизация верификации визуальных автоматных программ (PDF)

Вельдер С.Э., Шалыто А.А. Верификация простых автоматных программ на основе метода Model Checking (PDF)

Курбацкий Е.А., Шалыто А.А. Верификация программ, построенных на основе автоматного подхода (PDF)

Кузьмин Е.В., Соколов В.А. Моделирование, спецификация и верификация "автоматных" программ (PDF)

Егоров К.В., Шалыто А.А. Методика верификации автоматных программ (PDF)

Вельдер С.Э., Шалыто А.А. Методы верификации моделей автоматных программ (PDF)

Курбацкий Е.А. Верификация программ построенных на основе автоматного подхода с использованием программного средства SMV (PDF)

Гуров В.С., Яминов Б.Р. Верификация автоматных программ при помощи верификатора Unimod.Verifier (PDF)

Егоров К.В., Шалыто А.А. Разработка верификатора автоматных программ (PDF)

Клебанов А.А., Шалыто А.А. Разработка корректных Java Card-программ на основе автоматного подхода

Законов А.Ю. Применение автоматного подхода для создания корректных Java Card-приложений (PDF)

Канжелев С.Ю. Верификация взаимодействия частей реактивной системы, реализованных с помощью автоматного подхода (PDF)

Курбацкий Е.А. Верификация программ, построенных на основе автоматного подхода с использованием программного средства SMV (PDF)

Вельдер С.Э., Шалыто А.А. Методы верификации моделей автоматных программ (PDF)

Степанов О.Г. Метод автоматической динамической верификации автоматных программ (PDF)

Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов (PDF)

Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ (PDF)

Ремизов А.О., Шалыто А.А. Верификация автоматных программ на основе метода Model Checking (PDF)

Ульянцев В.И., Шалыто А.А. О верификации программ со сложным поведением (оттиск) (PDF)

Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы. №5(66). 2013 (PDF)

Лукин М.А. Верификация параллельных автоматных программ // Научно-техническый вестник информационных технологий, механики и оптики. №1(89), с. 145–162. 2014. (PDF)

Лукин М.А., Буздалов М.В., Шалыто А.А. Верификация 800 автоматных программ, построенных при помощи генетического программирования / Международная научно-практическая конференция "Инструменты и методы анализа программ", TMPA 2014. C. 67-75. 2014. (PDF)

Статьи не о программировании, опубликованные в журналах академии наук

Кондратьев В.Н., Шалыто А.А. Реализация систем булевых функций линейными арифметическими полиномами //Автоматика и телемеханика. 1997. N3. с.200-215. (PDF)

Кондратьев В.Н., Шалыто А.А. Реализация булевых функций одним линейным арифметическим полиномом с маскированием //Автоматика и телемеханика. 1996. N1. с.158-170. (PDF)

Кондратьев В.Н., Шалыто А.А. Реализация систем булевых функций с использованием линейных арифметических полиномов //Автоматика и телемеханика. 1993. N3. с.135-151. (PDF)

Артюхов В.Л., Кондратьев В.Н., Шалыто А.А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1988. N4. с.138-147. (PDF)

Шалыто А.А. Модули, универсальные в классе всех булевых функций, парафазными входными переменными //Известия РАН. Теория и системы управления. 1997. N5. с.150-157. (PDF)

Кузнецов Б.П., Шалыто А.А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул //Автоматика и телемеханика. 1998. N9. с.142-154. (PDF)

Шалыто А.А. Модули, универсальные в классе самодвойственных функций и в "близких" к ним классах //Известия РАН. Теория и системы управления. 2001. N5. с.110-120. (PDF)

Шалыто А.А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. I //Автоматика и телемеханика. 1996. N6. C.148-158. (PDF)

Шалыто А.А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. II //Автоматика и телемеханика. 1996. N7. C.144-169. (PDF)

Кузнецов Б.П., Шалыто А.А. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ //Известия РАН. Техническая кибернетика. 1994. N5. с.132-142. (PDF)

Кузнецов Б.П., Шалыто А.А. Реализация булевых формул линейными бинарными графами. II. Оценки числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N3. с.144-153. (PDF)

Кузнецов Б.П., Шалыто А.А. Реализация булевых формул линейными бинарными графами. III. Оптимизация числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N5. с.214-223. (PDF)

Артюхов В.Л., Шалыто А.А. Реализация булевых формул однородными мультиплексорными и мажоритарными каскадами //Известия РАН. Теория и системы управления. 1996. N5. с.133-146. (PDF)

Шалыто А.А. Методы построения многофункциональных логических модулей //Известия РАН. Теория и системы управления. 2004. N6, c.100-112. (PDF)

Шалыто А.А. Разложение булевых функций по крайним правым входным переменным таблиц истинности //Известия РАН. Теория и системы управления. 2003. N4, c.62-68. (PDF)

Шалыто А.А. Мультиплексорный метод реализации булевых функций схемами из произвольных логических элементов //Известия РАН. Теория и системы управления. 2003. N1, c.105-109. (PDF)

Шалыто А.А. Мультиплексорный метод реализации булевых функций схемами из произвольных логических элементов

Шалыто А.А. Реализация булевых формул и булевых функций однородными структурами //Известия РАН. Теория и системы управления. 2002. N2, c.104-112. (PDF)

Киселев В.В., Шалыто А.А. Исследование переходных процессов в одноконтурных логических схемах //Известия РАН. Теория и системы управления. 1999. N5. с.22-27. (PDF)

Сагалович Ю.Л., Шалыто А.А. Бинарные программы и их реализация асинхронными автоматами //Проблемы передачи информации. 1987. Вып.1. с.89-96. (PDF)

Артюхов В.Л., Кузнецова О.С., Шалыто А.А. Оценка функциональных возможностей программируемых логических матриц //Автоматика и вычислительная техника. 1985. N2. с.58-64. (PDF)

Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Об оценках сложности реализации булевых формул древовидными схемами из настраиваемых модулей //Автоматика и телемеханика. 1981. N11. с.124-130. (PDF)

Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия высших учебных заведений. Приборостроение. 1981. N4. с.38-41. (PDF)

Артюхов В.Л., Розенблюм Л.Я., Шалыто А.А. Логические возможности некоторых типов каскадных структур //Сети связи и дискретные устройства управления. М.: Наука, 1976. с.138-144. (PDF)

Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия РАН. Теория и системы управления. 2006. N1, с.78-81 (PDF)

Языково-ориентированное программирование

Дмитриев С. Языково-ориентированное программирование: следующая парадигма (внешняя ссылка: www.rsdn.ru)

Фаулер М. Языковой инструментарий: новая жизнь языков предметной области (внешняя ссылка: www.maxkir.com)

Автоматы и параллельные вычисления

Автоматное программирование и многоядерные процессоры (внешняя ссылка: www.osp.ru)

Текстовые языки автоматного программирования

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования (PDF)

Красильников Н.Н. Мультиагентная система дорожного движения. Реализация на языке Java и текстовом языке автоматного программирования

Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка Ruby (PDF)

Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка Ruby (скан публикации) (PDF)

Красильников Н.Н. Реализация одного класса мультиагентных систем на текстовых языках автоматного программирования (на примере системы дорожного движения) (PDF)

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО (PDF)

Образование

Казаков М.А. Реализация концепции многоуровневой системы дистанционного обучения на базе Интернет-школы программирования (PDF)

Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Инновационная система поиска и подготовки высококвалифицированных разработчиков программного обеспечения на основе проектного и соревновательного подходов (PDF)

Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Применение проектного подхода на основе автоматного программирования при подготовке разработчиков программного обеспечения (PDF)

Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ (PDF)

Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Автоматное программирование и проектный подход при подготовке разработчиков программного обеспечения (PDF)

Шалыто А.А. Триединая задача педагогического эксперимента в области ИТ-образования (PDF)

Три кита подготовки программистов (внешняя ссылка: www.osp.ru)

Шалыто А.А. Проектный подход при обучении разработке программ (PDF)

Васильев В.Н., Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО (PDF)

Столяров Л.В., Петряйкин Ф.А., Уваров Н.С. Разработка платформы для автоматного моделирования и проведения соревнований автоматных интеллектов с трехмерной визуализацией (PDF)

Не отпустить выпускника! Издание "Поиск" от 05.02.2010 (PDF)

Монахов В.В. Анализ результатов ЕГЭ по математике и физике и интернет-олимпиады по физике (PDF)

Парфенов В.Г. Национальный научно-образовательный центр «Программная инженерия и интернет-технологии» (внешняя ссылка: www.nstar-spb.ru)

Мультиагентные системы и автоматы

Никитин А.С., Чураков М.Ю., Шалыто А.А. Применение автоматного программирования для имитационного моделирования разъезда машин на нерегулируемом перекрестке равнозначных дорог (PDF)

Егоров К.В., Райков П.М., Шалыто А.А. Применение автоматного подхода для создания одного класса мультиагентной системы (PDF)

Гниломедов И.И. Моделирование экономических агентов при помощи конечных автоматов (PDF)

Гниломедов И.И. Использование муравьиного алгоритма для создания системы принятия экономических решений в автоматной модели производства (PDF)

Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров / Сборник докладов XV Международной конференции по мягким вычислениям и измерениям (SCM`2012). СПб: СПбГЭТУ "ЛЭТИ", 2012. Т. 1, с. 250 – 253 (PDF)

Бужинский И.П., Ульянцев В.И, Шалыто А.А. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров / Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012. М.: Физматлит, 2012. Т. 1, с. 15-20. (PDF)

Чивилихин Д.С., Ульянцев В.И. Применение муравьиных алгоритмов для построения конечных автоматов / Труды XIX Всероссийской научно-методической конференции «Телематика`2012». Т.1, с. 145. (PDF)

Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия РАН. Теория и системы управления. 2014. № 2. С. 111-121. (PDF)

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации / XII Всероссийское совещания по проблемам управления (ВСПУ-2014). С. 4531-4542. (PDF)

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). С. 98-105. (PDF)

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный параллельный муравьиный алгоритм для построения управляющих конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика. 2016. № 3, с. 137-151. (PDF)

Грамматики и автоматы

Гуров В.С., Мазин М.А., Шалыто А.А. Автоматическое завершение ввода условий в диаграммах состояний (PDF)

Клеточные автоматы

Наумов Л.А., Шалыто А.А. Клеточные автоматы. Реализация и эксперименты

Наумов Л.А., Шалыто А.А. "Цветные" клеточные автоматы, или клонирование Мона Лизы

Пестов О.А., Шалыто А.А. Сапер, мины и автоматы

Наумов Л.А., Шалыто А.А. Классификация структур, порождаемых одномерными двоичными клеточными автоматами из точечного зародыша

Мордвинцев А.С. Использование графического ускорителя вычислений для моделирования динамики жидкости методом Lattice-Boltzman (PDF)

Наумов Л., Трофимов Д. Реализация клеточного автомата WireWorld с помощью инструментального средства CAME&L и его зональная оптимизация

Суясов Д.И. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками (PDF)

Матюшкин И.В. Перспективы развития современных средств проектирования клеточных автоматов (PDF)

Роботы и автоматы

Клебан В.О., Шалыто А.А. Автоматизированные сервисы и мобильные роботы (PDF)

Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения многоуровневых систем управления мобильными роботами (PDF)

Применение автоматов для управления электроприводом

Янкин Ю.Ю. Применение автоматного подхода к управлению электроприводом (PDF)

Труды молодых ученых

Коротков М. Доказательства в математике и проектная документация (PDF)

Бабаев А.А. Транслитерация и как правильно ее надо программировать

Владыкин А. Декларативный язык описания алгоритмов извлечения данных их XML-документов (PDF)

Олимпиады

Оршанский С.А. О решении олимпиадных задач по программированию формата ACM ICPC

Акишев И.Р. Об опыте участия в командных соревнованиях по программированию формата ACM ICPC (PDF)

Автоматы и функциональное программирование

Сорокин И.В. Использование автоматов для вычислений в комбинаторах

Малаховски Я.М., Шалыто А.А. Реализация конечных автоматов на функциональных языках программирования (PDF)

Малаховски Я.М., Шалыто А.А. Конечные автоматы в чистых функциональных языках программирования (PDF)

Малаховски Я.М., Корнеев Г.А. Валидация автоматов с переменными на функциональных языках программирования (PDF)

Применение автоматного программирования

Ремизов А.О., Шалыто А.А. Применение автоматного подхода при создании программного обеспечения БИУС (PDF)

Волобуев В.Н., Калачинский А.В. Опыт использования автоматного подхода при разработке программного обеспечения систем боевого управления (PDF)

Ремизов А.О., Шалыто А.А. Автоматный подход к созданию программного обеспечения БИУС (PDF)

Волобуев В.Н., Гаврилов А.Ф., Калачинский А.В. Инновационный подход к разработке программного обеспечения систем боевого управления (PDF)

Ремизов А.О., Шалыто А.А. Верификация автоматных программ (PDF)

Автоматное программирование на ПЛИС

Шалыто А.А., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом (PDF)

Пимкин А. Транслятор описания конечного автомата в исходный код на языке описания аппаратуры Verilog (внешняя ссылка: ded32.net.ru)

Сборка и анализ генома

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности //Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 5, с. 81–84. (PDF)

А.В. Александров, С.В. Казаков, С.В. Мельников, А.А. Сергушичев, Ф.Н. Царев, А.А. Шалыто. Метод сборки контигов геномных последовательностей на основе совместного применения графов де Брюина и графов перекрытий / Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012. М.: Физматлит, 2012. Т. 3, с. 283-288. (PDF)

Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А. Метод DE NOVO cборки контигов геномных последовательностей на основе совместных применения графов де Брюина и графов перекрытий / Труды XIX Всероссийской научно-методической конференции «Телематика`2012». Т.1, с. 183–185. (PDF)

Сергушичев А. А, Царев Ф. Н. Сборка генома и технология MapReduce // Суперкомпьютеры. 2012. № 4 (12), с. 40 - 43. (PDF)

Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брёйна, графа перекрытий и микросборки для de novo сборки генома //Изв. Сарат. ун-та. Нов.сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 2, ч. 2, с. 51-57 (PDF)

Ульянцев В.И., Казаков С.В., Дубинкина В.Б., Тяхт А.В., Алексеев Д.Г. Metafast - программное средство для высокопроизводительного сравнительного анализа метагеномов / Сборник трудов IV международной научно-практической конференции "Постгеномные методы анализа в биологии, лабораторной и клинической медицине". Казань, Россия, 29 Октября – 1 Ноября, 2014. С. 103. (PDF)

Сергушичев А.А., Пирс Э., Артёмов М.Н. GAM: конвейер для совместного анализа данных транскрипционного и метаболического профайлинга / Сборник трудов IV международной научно-практической конференции "Постгеномные методы анализа в биологии, лабораторной и клинической медицине". Казань, Россия, 29 Октября – 1 Ноября, 2014. С. 104. (PDF)

Долганов В.О., Царев Ф.Н. Алгоритм сборки транскриптома на основе анализа компонент связности графа де Брёйна / Сборник трудов IV международной научно-практической конференции "Постгеномные методы анализа в биологии, лабораторной и клинической медицине". Казань, Россия, 29 Октября – 1 Ноября, 2014. С. 123. (PDF)

Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики. 2016. Т. 16. № 1. С. 108–114. (внешняя ссылка: ntv.ifmo.ru)

Автоматное программирование в трудах конференций

Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология /Сб. трудов конф.«Образовательные, научные и инженерные приложения в среде LabVIEW и технологии National Instrument». М.: Российский ун-т дружбы народов. 2005, с.377.

Корнеев Г.А., Шалыто А.А. Преобразование систем конечных автоматов в исполняемый код /Software Engineering Conference (Russia)- 2005. М.: РУССОФТ.

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Исполняемый UML. Проект UniMod /Software Engineering Conference (Russia)- 2005. М.: РУССОФТ.

Корнеев Г.А., Шалыто А.А. Преобразование программ в систему взаимодействующих конечных автоматов /Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». М.: МГУ. 2005, с.385-387 (презентация) (PDF)

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod: Метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний /Труды Второй Всероссийской научной конференции «Методы и средства обработки информации». М.: МГУ. 2005, с.361-366 (презентация) (PDF)

Столбов С.А., Шалыто А.А. Метод реализации с использованием клеточных автоматов игр, в которых преобладают локальные взаимодействия /Материалы международной научно-технической конференции «Интеллектуальные и многопроцессорные системы — 2005». Таганрог — Донецк — Минск,ТРТУ. 2005. Т.1, с. 138-141.

Шалыто А.А., Ярцев Б.М. Автоматный подход к разработке управляющих программ для реактивных мультиагентных систем /Материалы международной научно-технической конференции «Интеллектуальные и многопроцессорные системы — 2005». Таганрог — Донецк — Минск, ТРТУ. 2005. Т.2, с. 13-17.

Коротков М.А. Алгоритмы укладки диаграмм состояний /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.5-11. (PDF)

Шопырин Д.Г. Реализация мультиметодов на языке программирования С++ /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.46-48. (PDF)

Корнеев Г.А. Технология разработки визуализаторов алгоритмов /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.18-29. (PDF)

Корнеев Г.А. Метод преобразования программ в систему взаимодействующих автоматов /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.65-72. (PDF)

Гуров В.С., Мазин М.А. Создание системы автоматического завершения ввода с использованием пакета UniMod /Вестник II межвузовской конференции молодых ученых. Т.1. СПб.: СПбГУ ИТМО. 2005, с.73-87. (PDF)

Коротков М.А. Разработка алгоритма укладки диаграмм соcтояний //Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.1, с.89-92. (PDF)

Шопырин Д.Г. Программирование с явным выделением состояний на платформе .NET //Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.1, с.86-87. (PDF)

Станкевич А.С., Корнеев Г.А., Маврин П.Ю. Использование конечных автоматов с магазинной памятью для автоматизации тестирования программных решений //Труды XII Всероссийской научно-методической конференции «Телематика-2005». СПб.: СПбГУ ИТМО. Т.2, с.510,511. (PDF)

Казаков М.А., Шалыто А.А. Технология построения визуализаторов алгоритмов на основе автоматного подхода //Труды XII Всероссийской научно-методической конференции "Телематика- 2005". СПб.: СПбГУ ИТМО. Т.2, с.507-509. (PDF)

Шалыто А.А. Автоматно-ориентированние программирование //IX Всероссийская конференция по проблемам науки и высшей школы "ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ В ТЕХНИЧЕСКИХ УНИВЕРСИТЕТАХ". СПб.: изд-во Политехнического университета. 2005, с. 44-52. (PDF)

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Проект с открытым кодом UniMod - инструментальное средство для автоматного программирования на платформе Eclipse //Open Source Forum. М.: Руссофт. 2005.

Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //Open Source Forum. М.: Руссофт. 2005.

Наумов Л.А., Шалыто А.А. Методы объектно-ориентированной реализации реактивных агентов на основе конечных автоматов /Искусственный интеллект. Интеллектуальные и многопроцессорные системы. Материалы Международной научно-технической конференции. Т.1. Таганрог- Донецк, 2004, с.279-284. (PDF)

Наумов Л. А., Шалыто А. А. Реализация автоматов в объектно-ориентированных программах //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.332-334. (внешняя ссылка: tm.ifmo.ru)

Казаков М. А., Шалыто А. А. Реализация визуализаторов на основе автоматного программирования //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.191-193. (внешняя ссылка: tm.ifmo.ru)

Гуров В. С., Мазин М. А., Шалыто А. А. UNIMOD — программный пакет для разработки объектно-ориентированных приложений на основе автоматного подхода //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.189-191. (внешняя ссылка: tm.ifmo.ru)

Корнеев Г. А., Шамгунов Н. Н., Шалыто А. А. Обход деревьев на основе автоматного подхода //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.1, с.182-183. (PDF)

Шамгунов Н. Н., Шалыто А. А. Язык автоматного программирования «STATE» //Труды XI Всероссийской научно-методической конференции «Телематика-2004». СПб.: СПбГУ ИТМО. Т.?, с.180-181. (внешняя ссылка: tm.ifmo.ru)

Шамгунов Н. Н., Шалыто А. А. Язык автоматного программирования с компиляцией в Microsoft CLR //Материалы конференции «Microsoft Research Academic Days in St. Petersburg, April 21-23, 2004» (PDF)

Шалыто А. А. Новая инициатива в программировании. Движение за открытую проектную документация //Материалы конференции «Microsoft Research Academic Days in St. Petersburg, April 21-23, 2004» (PDF)

Шалыто А.А. Технология автоматного программирования //Труды Первой Всероссийской научной конференции "Методы и средства обработки информации". (МСО-2003). М.: МГУ. 2003, с.528-535.

Шалыто А.А., Туккель Н.И. Автоматное и синхронное программирование //Материалы международной научно-технической конференции "Интеллектуальные и многопроцессорные системы - 2003". (ИМС-2003). Таганрог - Донецк, ТРТУ. 2003, с. 15-17.

Shalyto A.A., Naumov L.A. Automata Programming as a Sort of Synchronous Programming //Proceedings of the EWDTC-03 "East-West Desi_g_n & Test Conference". Yalta: IEEE Ukraian Depatment, 2003.Радиоэлектроника и информатика. 2003. N3, с.140-143. (Украина).

Naumov L.A., Shalyto A.A. Automata theory for applied programming /Вторая международная конференция по проблемам управления. Избранные труды в двух томах. М.: Институт проблем управления. 2003. Т.2, с.86-92.

Гуров В.С., Нарвский А.С., Шалыто А.А. Автоматизация проектирования событийных объектно-ориентированных программ с явным выделением состояний //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. (внешняя ссылка: tm.ifmo.ru)

Шопырин Д.Г., Шалыто А.А. Применение класса "STATE" в объектно-ориентированном программировании с явным выделением состояний //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. (PDF)

Штучкин А.А., Шалыто А.А. Совместное использование теории построения компиляторов и SWITCH-технологии //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. (внешняя ссылка: tm.ifmo.ru)

Бабаев А.А., Чижова Г.А, Шалыто А.А. Метод создания скелетной анимации на основе автоматного программирования //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. (внешняя ссылка: tm.ifmo.ru)

Корнеев Г.А., Шалыто А.А. Реализация конечных автоматов с использованием объектно-ориентированного программирования //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. (внешняя ссылка: tm.ifmo.ru)

Корнеев Г.А., Казаков М.А., Шалыто А.А. Построение логики работы визуализаторов алгоритмов на основе автоматного подхода //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003, с. 378-379 (внешняя ссылка: tm.ifmo.ru)

Мазин М.А., Парфенов В.Г., Шалыто А.А. Автоматная реализация интерактивных сценариев образовательной анимации //Труды X Всероссийской научно-методической конференции "Телематика-2003". СПб.: СПбГИТМО (ТУ). 2003. (внешняя ссылка: tm.ifmo.ru)

Шалыто А.А., Туккель Н.И. Объектно-ориентированное программирование с явным выделением состояний //Материалы Международной научно-технической конференции "Искусственный интеллект". Т.1. Таганрогский гос. радиотехнический университет, Донецкий гос. институт искусственного интеллекта. 2002.

Шалыто А.А., Туккель Н.И. Объектно-ориентированное программирование с явным выделением состояний //Материалы международной научно-практической конференции "Информационно-телекоммуникационные технологии в образовании". М.: Соврем. гуманит. ун-тет. 2002.

Шалыто А.А., Туккель Н.И., Шамгунов Н.Н. Реализация рекурсивных алгоритмов автоматными программами //Труды Всероссийской научно- методической конференции "Телематика-2002". СПб.: СПбГИТМО (ТУ). 2002. (внешняя ссылка: tm.ifmo.ru)

Шалыто А.А., Туккель Н.И. Проектирование объектно-ориентированных программ с использованием автоматов //Труды Всероссийской научно-методической конференции "Телематика-2002". СПб.: СПбГИТМО (ТУ). 2002. (внешняя ссылка: tm.ifmo.ru)

Шалыто А.А., Туккель Н.И. Разработка программного обеспечения событийных систем на основе программирования с явным выделением состояний //Труды Всероссийской научно-методической конференции "Телематика-2002". СПб.: СПбГИТМО (ТУ). 2002. (внешняя ссылка: tm.ifmo.ru)

Шалыто А.А., Туккель Н.И. Автоматное программирование как практическое развитие тьюрингова программирования //Тезисы докладов международной научной конференции "Интеллектуальные и многопроцессорные системы - 2001". Таганрог, ТРТУ. 2001.

Шалыто А.А., Туккель Н.И. Применение автоматного программирования для создания "реактивных" систем управления //Материалы международной научно-практической конференции "Моделирование в образовании, науке, производстве". Тирасполь: Преднепровский гос. ун-тет. 2001.

Шалыто А.А., Туккель Н.И. Применение SWITCH- технологии для решения классических задач распознавания цепочек символов //Труды международ- ной научно-методической конференции "Телематика- 2001". СПб.: СПбГИТМО (ТУ). 2001.

Шалыто А.А., Туккель Н.И., Ваганов С.А. Повышение централизации управления при программировании "реактивных" систем //Труды международной научно-методической конференции "Телематика-2001". СПб.: СПбГИТМО (ТУ). 2001.

Шалыто А.А., Туккель Н.И., Казаков М.А. Использование автоматного подхода для реализации вычислительных алгоритмов //Труды международной научно-методической конференции "Телематика-2001". СПб.: СПбГИТМО (ТУ). 2001.

Шалыто А.А., Туккель Н.И. Применение SWITCH-технологии автоматный подход к созданию программного обеспечения "реактивных" систем //Материалы международной научно-технической конференции "Кибернетика и технологии ХХI века". Воронеж: Воронежский ГТУ. 2000.

Шалыто А.А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем //Тезисы докладов международной научно-методической конференции "Телематика-2000". СПб.: СПбГИТМО (ТУ). 2000.

Шалыто А.А., Туккель Н.И. Применение SWITCH-технологии для программирования в событийных системах //Труды международной научно-технической конференции "Пятьдесят лет развития кибернетики". СПб.: СПбГТУ. 1999.

Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Тезисы докладов международной конференции по проблемам управления. М.: Институт проблем управления РАН. 1999.

Шалыто А.А., Туккель Н.И. Сравнение событийного и автоматного подходов к программированию задач логического управления //Тезисы докладов Всероссийской научно-методической конференции "Телематика-99". СПб.: СПбГИТМО (ТУ). 1999.

Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Тезисы докладов Всероссийской научно-методической конференции "Телематика-99". СПб.: СПбГИТМО (ТУ). 1999.

Shalyto A.A., Bagluk U.V. SWITCH-technology. Algorithmic and programming methods in solution the logic control problems of shipping equipment //International Conference on Informatics and Control. ICI&C-97. Proceedings. V.1. St. Petersburg. 1997

Shalyto A.A. Cognitive Properties of Hierarchical Representations of Complex Logical Stractures //Proceeding of the 1995 International Symposium on Intelligent Control (ISIC). Workshop. Monterey. California. 1995.

И.П. Бужинский, В.И. Ульянцев, Ф.Н. Царев. Построение управляющих конечных автоматов с вещественными переменными по обучающим примерам // Материалы 6-й Всероссийской мультиконференции по проблемам управления. Ростов-на-Дону: Изд-во ЮФУ, Т. 1, с. 9-13, 2013. (PDF)