Шалыто Анатолий Абрамович

Должность: профессор (квалификационная категория " ординарный профессор")

Кафедра: факультет информационных технологий и программирования

Уч. степень: доктор технических наук

Звание: профессор

Стаж: 16 лет

Условие работы: Внутренний совместитель

Трудовой договор: с 09/01/2018 по 12/31/2018

Образование:

  • Диплом о высшем образовании (высшее профессиональное); Специальность: Автоматика и телемеханика; Квалификация: инженер-электрик;

Наименование направления подготовки и (или) специальности:

Преподаваемые дисциплины:

  • Автоматное и эволюционное программирование

Повышение квалификации:

№ п/п
Тип
Название
Год
Описание
Страна
Город
1
Повышение квалификации
Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченным возможностями здоровья
2017
Российская Федерация
2
Конференция
LATA 2015
2015
LATA 2015
Франция
Ницца

Список трудов:

  1. Vatian A., Dudorov S., Beresnev A., Gusarova N., Nigmatullin N., Vasilev A., Vedernikov N., Stankevich A., Shalyto A. Topic modeling of text content for monitoring the employee’s efficiency via his internet activity. Proceedings of the International Conferences on Computer Graphics, Visualization, Computer Vision and Image Processing 2018. 2018. pp. in press. [Тип: Статья, Год: 2018]
  2. Zakirzyanov I., Shalyto A., Ulyantsev V. Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. Vol. 10729. pp. 117-131. [Тип: Статья, Год: 2018]
  3. Ovsiannikova P., Chivilikhin D., Ulyantsev V., Vyatkin V., Stankevich A., Shalyto A. Active learning of plant models for cyber-physical systems. 16th IEEE International Conference on Industrial Informatics. 2018. pp. 1-6. [Тип: Статья, Год: 2018]
  4. Аксенов В.Е., Shalyto A., Kuznetsov P. On Helping and Stacks. In Proceedings of NETYS 2018. 2018. [Тип: Статья, Год: 2018]
  5. Ulyantsev V.I., Buzhinsky I., Shalyto A.A. Exact finite-state machine identification from scenarios and temporal properties. International Journal on Software Tools for Technology Transfer. 2018. Vol. 20. No. 1. pp. 35-55. [Тип: Статья, Год: 2018]
  6. Vatian A., Dobrenko N., Makarenko A., Nigmatullin N., Vedernikov N., Vasilev A., Stankevich A., Gusarova N., Shalyto A. Adaptation of Algorithms for Medical Information Retrieval for Working on Russian-Language Text Content. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. Vol. 11107. pp. 106-114. [Тип: Статья, Год: 2018]
  7. Active learning of formal plant models for cyber-physical systems [Тип: Статья, Год: 2018]
  8. Lobantsev A., Vatian A., Dobrenko N., Stankevich A., Gusarova N., Shalyto A., Parfenov V. Specifics Analysis of Medical Communities in Social Network Services. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. pp. in press. [Тип: Статья, Год: 2018]
  9. Vatian A., Dudorov S., Mairovich A., Osipov M., Lobantsev A., Gusarova N., Shalyto A. Intellectualization of knowledge acquisition of academic texts as an answer to challenges of modern information society. Communications in Computer and Information Science. 2018. pp. in press. [Тип: Статья, Год: 2018]
  10. Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией [Тип: Тезисы, Год: 2018]
  11. Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V. Counterexample-guided inference of controller logic from execution traces and temporal formulas. Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation. 2018. pp. 91-98. [Тип: Статья, Год: 2018]
  12. Ovsiannikova P., Chivilikhin D., Ulyantsev V., Shalyto A. Closed-loop verification of a compensating group drive model using synthesized formal plant model. 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017). 2017. pp. 1-4. [Тип: Статья, Год: 2017]
  13. Sokolov B., Gnidenko A., Shalyto A. Models and algorithms of operational planning and control of dynamical objects with application of the Pontryagin's Maximum principle. 5th IEEE Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE). 2017. pp. 1-5. [Тип: Статья, Год: 2017]
  14. Avdyukhin D., Chivilikhin D., Korneev G., Ulyantsev V., Shalyto A. Plant Trace Generation for Formal Plant Model Inference: Methods and Case Study. Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN). 2017. pp. 746-752. [Тип: Статья, Год: 2017]
  15. Efimova V., Filchenkov A., Shalyto A. Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection. Communications in Computer and Information Science. 2017. pp. (accepted). [Тип: Статья, Год: 2017]
  16. Экспериментальное исследование методов генерации монолитной модели объекта управления на примере симуляционной модели лифта [Тип: Тезисы, Год: 2017]
  17. Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V. CSP-based Inference of Function Block Finite-State Models from Execution Traces. Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN). 2017. pp. 714-719. [Тип: Статья, Год: 2017]
  18. Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией [Тип: Тезисы, Год: 2017]
  19. Буланова Н.С., Буздалова А.С., Шалыто А.А. Метод адаптивного выбора операторов мутации искусственных иммунных систем и локального поиска. Научно-технический вестник информационных технологий, механики и оптики. 2017. Т. 17. № 6(112). С. 1100-1106. [Тип: Статья, Год: 2017]
  20. Петрова И.А., Буздалова А.С., Шалыто А.А. Теоретический анализ метода выбора переключающихся вспомогательных критериев на задаче XdivK. Научно-технический вестник информационных технологий, механики и оптики. 2017. Т. 17. № 3(109). С. 409–416. [Тип: Статья, Год: 2017]
  21. Chivilikhin D., Shalyto A., Patil S., Vyatkin V. Reconstruction of Function Block Logic using Metaheuristic Algorithm. IEEE Transactions on Industrial Informatics. 2017. Vol. 13. No. 4. pp. 1763-1771. [Тип: Статья, Год: 2017]
  22. Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности. Научно-технический вестник информационных технологий, механики и оптики. 2016. Т. 16. № 1(101). С. 108-114. [Тип: Статья, Год: 2016]
  23. Pavlov A.N., Pashchenko A.E., Sokolov B.V., Shalyto A.A., Maklakov G. Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems. 8th IEEE International Conference on Intelligent Systems, IS 2016. 2016. pp. 402-408. [Тип: Статья, Год: 2016]
  24. Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas. Automation and Remote Control. 2016. Vol. 77. No. 3. pp. 473-484. [Тип: Статья, Год: 2016]
  25. Петрова И.А., Буздалова А.С., Шалыто А.А. Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах. Научно-технический вестник информационных технологий, механики и оптики. 2016. Т. 16. № 3(103). С. 460-466. [Тип: Статья, Год: 2016]
  26. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам. Автоматика и телемеханика. 2016. № 3. С. 137-151. [Тип: Статья, Год: 2016]
  27. Dubinin V.N., Vyatkin V.V., Shalyto A.A. Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems. International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings. 2016. pp. 7491701. [Тип: Статья, Год: 2016]
  28. Kulakov F.M., Sokolov B., Shalyto A.A., Alferov G. Robot master slave and supervisory control with large time delays of control signals and feedback. Applied Mathematical Sciences. 2016. Vol. 10. No. 33-36. pp. 1783-1796. [Тип: Статья, Год: 2016]
  29. Shalamov V., Filchenkov A., Shalyto A. Genetic Search of Pickup and Delivery Problem Solutions for Self-Driving Taxi Routing. IFIP International Conference on Artificial Intelligence Applications and Innovations. 2016. Vol. 475. pp. 348-355. [Тип: Статья, Год: 2016]
  30. Chivilikhin D., Ivanov I., Shalyto A., Vyatkin V. Reconstruction of Function Block Controllers Based on Test Scenarios and Verification. Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016). 2016. pp. 646-651. [Тип: Статья, Год: 2016]
  31. Антипов Д.С., Шалыто А.А. Теоретический анализ времени работы эволюционных алгоритмов при генерации тестов. Сборник тезисов докладов конгресса молодых ученых (V Всероссийский конгресс молодых ученых, 12-15 апреля 2016 г.). Электронное издание. 2016. С. Электронное издание. [Тип: Статья, Год: 2016]
  32. Efimova V.A., Filchenkov A.A., Shalyto A.A. Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection. Asian workshop on reinforcement learning at Asian conference on machine learning (accepted). 2016. pp. (accepted). [Тип: Статья, Год: 2016]
  33. Ефимова В.А., Фильченков А.А., Шалыто А.А. Применение обучения с подкреплением для одновременного выбора модели алгоритма классификации и ее структурных параметров. Машинное обучение и анализ данных. 2016. Т. 2. № 2. С. 244-254. [Тип: Статья, Год: 2016]
  34. Lin H., Sierla S.A., Papakonstantinou N., Shalyto A.A., Vyatkin V.V. Change request management in model-driven engineering of industrial automation software. Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015. 2015. pp. 1186-1191. [Тип: Статья, Год: 2015]
  35. Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам. Известия Российской академии наук. Теория и системы управления. 2015. № 6. С. 17-30. [Тип: Статья, Год: 2015]
  36. Chivilikhin D., Shalyto A., Vyatkin V. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks. 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings. 2015. Vol. 3. pp. 307-312. [Тип: Статья, Год: 2015]
  37. Chivilikhin D.S., Shalyto A.A., Patil S., Viatkin V.V. Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015. 2015. pp. 1239-1242. [Тип: Статья, Год: 2015]
  38. Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference. 2015. pp. 1185-1188. [Тип: Статья, Год: 2015]
  39. Савин А.В., Клебан В.О., Шалыто А.А. Поддержка стандарта IEC 61499 для встраиваемых применений на базе ОС Linux. не указано. 2015. С. не указано. [Тип: Статья, Год: 2015]
  40. Savin A.V., Kleban V.O., Shalyto A. Adaptation of object-oriented programming patterns to IEC 61499 applications in a case of “Factory method” design pattern. не указано. 2015. pp. ???. [Тип: Статья, Год: 2015]
  41. Савин А.В., Клебан В.О., Шалыто А.А. Применение шаблонов объектно-ориентированного проектирования к программам IEC61499 на примере шаблона “Фабричный метод”. не указано. 2015. С. не указаны. [Тип: Статья, Год: 2015]
  42. Glotov A.S., Kazakov S., Zhukova E.A., Alexandrov A., Glotov O.S., Pakin V.S., Danilova M.M., Poliakova I.V., Niyazova S.S., Chakova N.N., Komissarova S.M., Kurnikova E.A., Sarana A.M., Sherbak S.G., Sergushichev A., Shalyto A., Baranov V.S. Targeted next-generation sequencing (NGS) of nine candidate genes with custom AmpliSeq in patients and a cardiomyopathy risk group. Clinica Chimica Acta. 2015. Vol. 446. pp. 132-140. [Тип: Статья, Год: 2015]
  43. Ulyantsev V., Zakirzyanov I., Shalyto A. BFS-Based Symmetry Breaking Predicates for DFA Identification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2015. Vol. 8977. pp. 611-622. [Тип: Статья, Год: 2015]
  44. Buzhinskii I.P., Kazakov S.V., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Modification of the method of generation of control finite-state machines with continuous actions based on training examples. Journal of Computer and Systems Sciences International. 2015. Vol. 54. No. 6. pp. 853-865. [Тип: Статья, Год: 2015]
  45. Buzdalov M., Shalyto A. Hard Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms: Revisited. IEEE Congress on Evolutionary Computation, CEC 2015 - Proceedings. 2015. pp. 2121-2128. [Тип: Статья, Год: 2015]
  46. Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. [Тип: Тезисы, Год: 2015]
  47. Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015 [Тип: Тезисы, Год: 2015]
  48. публикация в Сборнике тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. [Тип: Сборник, Год: 2015]
  49. Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. [Тип: Сборник, Год: 2015]
  50. Vyatkin V., Shalyto A.A. Message from the DIAS 2015 Workshop Chairs (Editorial). 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings. 2015. Vol. 3. pp. 7345620. [Тип: Статья, Год: 2015]
  51. Arkhipov V.V., Buzdalov M.V., Shalyto A.A. An asynchronous implementation of the limited memory CMA-ES. 14th International Conference on Machine Learning and Applications, ICMLA 2015. 2015. pp. 707-712. [Тип: Статья, Год: 2015]
  52. Overlap Graph Simplification Using Edge Reliability Calculation [Тип: Тезисы, Год: 2014]
  53. Kravtsov N., Buzdalov M., Buzdalova A., Shalyto A. Worst-Case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives. Mendel. 2014. pp. 111-116. [Тип: Статья, Год: 2014]
  54. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем [Тип: Тезисы, Год: 2014]
  55. Муравьиный алгоритм для построения автоматных программ по спецификации [Тип: Тезисы, Год: 2014]
  56. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации. XII Всероссийское совещание по проблемам управления ВСПУ-2014. 2014. С. 4351-4542. [Тип: Статья, Год: 2014]
  57. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6(94). С. 98-105. [Тип: Статья, Год: 2014]
  58. Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода. Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6(94). С. 146-152. [Тип: Статья, Год: 2014]
  59. Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем. XII Всероссийское совещание по проблемам управления ВСПУ-2014. 2014. С. 3159-3166. [Тип: Статья, Год: 2014]
  60. Тихомиров А.В., Шалыто А.А. Применение направленной мутации для генерации клеточных автоматов. Научно-технический вестник информационных технологий, механики и оптики. 2014. № 2(90). С. 93-98. [Тип: Статья, Год: 2014]
  61. Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm. Communications in Computer and Information Science. 2014. Vol. 472. pp. 1-10. [Тип: Статья, Год: 2014]
  62. Kazakov S., Shalyto A. Overlap graph simplification using edge reliability calculation. Proceedings of the European Conference on Data Mining 2014 and International Conferences on Intelligent Systems and Agents 2014 and Theory and Practice in Modern Computing 2014 - Part of the Multi Conference on Computer Science and Information Systems, MCCSIS 2014. 2014. pp. 222-226. [Тип: Статья, Год: 2014]
  63. Chivilikhin D., Ulyantsev V., Shalyto A. Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014. 2014. pp. 350-355. [Тип: Статья, Год: 2014]
  64. Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantics and Tools. Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN). 2014. pp. 440-445. [Тип: Статья, Год: 2014]
  65. Buzdalov M., Shalyto A. A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. Vol. 8672. pp. 528-537. [Тип: Статья, Год: 2014]
  66. Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Extended Finite-State Machine Inference With Parallel Ant Colony Based Algorithms. Proceedings of the Student Workshop on Bioinspired Optimization Methods and their Applications, BIOMA 2014. 2014. pp. 117-126. [Тип: Статья, Год: 2014]
  67. Zhabelova G., Yang C., Patil S., Pang C., Yan J., Shalyto A., Vyatkin V. Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN). 2014. pp. 411-417. [Тип: Статья, Год: 2014]
  68. Lukin M., Buzdalov M., Shalyto A. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. Vol. 8855. pp. 165-170. [Тип: Статья, Год: 2014]
  69. Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма. Известия Российской академии наук. Теория и системы управления. 2014. № 2. С. 111-121. [Тип: Статья, Год: 2014]
  70. Buzhinsky I.P., Ulyantsev V.I., Chivilikhin D.S., Shalyto A.A. Inducing finite state machines from training samples using ant colony optimization. Journal of Computer and Systems Sciences International. 2014. Vol. 53. No. 2. pp. 256-266. [Тип: Статья, Год: 2014]
  71. A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting [Тип: Тезисы, Год: 2014]
  72. Worst-case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives [Тип: Тезисы, Год: 2014]
  73. Cyber-Phisical Components for Heterogeous Modelin, Validation and Implementation of Smart Grid Intelligence [Тип: Тезисы, Год: 2014]
  74. A Portability Study of IEC 61499: Semantics and Tools [Тип: Тезисы, Год: 2014]
  75. Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением. Известия Российской академии наук. Теория и системы управления. 2013. № 3. С. 85-100. [Тип: Статья, Год: 2013]
  76. Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы. 2013. № 5(66). С. 43-50. [Тип: Статья, Год: 2013]
  77. Arkhipov V., Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms. Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013. 2013. Vol. 2. pp. 108-111. [Тип: Статья, Год: 2013]
  78. Buzhinsky I.P., Ulyantsev V.I., Shalyto A.A. Test-based induction of finite-state machines with continuous output actions. IFAC Proceedings Volumes (IFAC-PapersOnline). 2013. Vol. 9. No. 1. pp. 1049-1054. [Тип: Статья, Год: 2013]
  79. Buzdalov M., Buzdalova A., Shalyto A. A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning. Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013. 2013. Vol. 1. pp. 203-208. [Тип: Статья, Год: 2013]
  80. Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Solving five instances of the artificial ant problem with ant colony optimization. IFAC Proceedings Volumes (IFAC-PapersOnline). 2013. Vol. 9. No. 1. pp. 1043-1048. [Тип: Статья, Год: 2013]
  81. Метод построения конечных автоматов на основе муравьиного алгоритма [Тип: Тезисы, Год: 2013]
  82. Aleksandrov A.V., Tsarev F.N., Kazakov S.V., Sergushichev A.A., Shalyto A.A. The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior. Journal of Computer and Systems Sciences International. 2013. Vol. 52. No. 3. pp. 410-425. [Тип: Статья, Год: 2013]
  83. Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома. Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2013. Т. 13. № 2-2. С. 51–57. [Тип: Статья, Год: 2013]
  84. Buzhinsky I.P., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Search-based construction of finite-state machines with real-valued actions: New representation model. GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference. 2013. pp. 199-200. [Тип: Статья, Год: 2013]
  85. Extracting EFSMs of web applications for formal requirements specification [Тип: Тезисы, Год: 2012]
  86. Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ. Научно-технический вестник информационных технологий, механики и оптики. 2012. № 1(77). С. 81-85. [Тип: Статья, Год: 2012]
  87. Тихомиров А.В., Шалыто А.А. Применение адаптивного генетического алгоритма для генерации клеточных автоматов. Научно-технический вестник информационных технологий, механики и оптики. 2012. № 1(77). С. 100-105. [Тип: Статья, Год: 2012]
  88. Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя. Научно-технический вестник информационных технологий, механики и оптики. 2012. № 1(77). С. 90-95. [Тип: Статья, Год: 2012]
  89. Проектный менеджмент в ВУЗе. Учебные кейсы [Тип: Учебник, учебное пособие, Год: 2012]
  90. Zakonov A., Shalyto A.A. Extracting EFSMs of web applications for formal requirements specification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2012. Vol. 7612. No. LNCS. pp. 161-172. [Тип: Статья, Год: 2012]
  91. Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 6(76). С. 64-68. [Тип: Статья, Год: 2011]
  92. Данилов В.Р., Шалыто А.А. Метод представления автоматов линейными бинарными графами для использования в генетическом программировании. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 54-57. [Тип: Статья, Год: 2011]
  93. Шалыто А.А., Янкин Ю.Ю. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС. Системы управления и обработки информации. 2011. № 22. С. 92 - 103. [Тип: Статья, Год: 2011]
  94. Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания. Информационные технологии. 2011. № 7. С. 34-37. [Тип: Статья, Год: 2011]
  95. Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать. Компьютерные инструменты в образовании. 2011. № 3. С. 51-59. [Тип: Статья, Год: 2011]
  96. Клебан В.О., Шалыто А.А. Разработка системы управления малоразмерным вертолетом. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 12-16. [Тип: Статья, Год: 2011]
  97. Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом. Информационно-управляющие системы. 2011. № 1. С. 50-56. [Тип: Статья, Год: 2011]
  98. Верификация автоматных программ [Тип: Учебник, учебное пособие, Год: 2011]
  99. Трофимов Д.А., Шалыто А.А. Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 45-49. [Тип: Статья, Год: 2011]
  100. Алексеев С.А., Клебан В.О., Шалыто А.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 37-40. [Тип: Статья, Год: 2011]
  101. Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О. Автоматический синтез системы управления мобильным роботом для решения задачи "Кегельринг". Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 26-31. [Тип: Статья, Год: 2011]
  102. Клебан В.О., Шалыто А.А., Сергеев А.А. Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 32-36. [Тип: Статья, Год: 2011]
  103. Шалыто А.А. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС. Системы управления и обработки информации. 2011. № 22. С. 92-103. [Тип: Статья, Год: 2011]
  104. Тихомиров А.В., Шалыто А.А. Применение генетического подхода для генерации клеточных автоматов. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 62-66. [Тип: Статья, Год: 2011]
  105. Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 5(75). С. 81-84. [Тип: Статья, Год: 2011]
  106. Законов А.Ю., Шалыто А.А. Применение генетических алгоритмов к генерации тестов для автоматных программ. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 66-72. [Тип: Статья, Год: 2011]
  107. Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы [Тип: Тезисы, Год: 2011]
  108. Казаков С.В., Александров А.В., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности. Научно-технический вестник СПбГУ ИТМО. 2011. № 5. С. 81-84. [Тип: Статья, Год: 2011]
  109. Университет XXI века [Тип: Монография, Год: 2011]
  110. Zakonov A., Shalyto A.A. Automatic extraction and verification of state-models for web applications. Lecture Notes in Electrical Engineering. 2011. Vol. 133. pp. 157-160. [Тип: Статья, Год: 2011]
  111. Клебан В.О., Шалыто А.А. Анализ эффективности использования GPU для автоматического анализа системы управления мобильным роботом. Научно-технический вестник СПбГУ ИТМО. 2011. № 2 (72). С. 32-36. [Тип: Статья, Год: 2011]
  112. Верификация автоматных программ [Тип: Монография, Год: 2011]
  113. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы [Тип: Тезисы, Год: 2011]
  114. Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Генерация конечных автоматов для управления моделью беспилотного самолета. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 3-11. [Тип: Статья, Год: 2011]
  115. Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать. Компьютерные инструменты в образовании. 2011. № 3. С. 51-59. [Тип: Статья, Год: 2011]
  116. Применение шаблонов требований к формальной спецификации и верификации автоматных программ [Тип: Тезисы, Год: 2010]
  117. Автоматный подход к созданию программного обеспечения боевой информационно-управляющей системы [Тип: Тезисы, Год: 2010]
  118. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования. Известия РАН. Теория и системы управления. 2010. № 2. С. 100 – 117. [Тип: Статья, Год: 2010]
  119. Егоров К.В., Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации. Научно-технический вестник СПбГУ ИТМО. 2010. № 5 (69). С. 81 - 86. [Тип: Статья, Год: 2010]
  120. Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях. Информационные технологии.. 2010. № 8. С. 18 - 22. [Тип: Статья, Год: 2010]
  121. Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ. Научно-технический вестник СПбГУ ИТМО. 2010. № 5 (69). С. 91 - 95. [Тип: Статья, Год: 2010]
  122. Царев Ф.Н., Шалыто А.А. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования. Информационно-управляющие системы. 2010. № 5. С. 31-36. [Тип: Статья, Год: 2010]
  123. Суясов Д.И., Шалыто А.А. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками. Информационно-управляющие системы. 2010. № 4. С. 39–45. [Тип: Статья, Год: 2010]
  124. Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования. Известия РАН. Теория и системы управления. 2010. № 2(2). С. 100-117. [Тип: Статья, Год: 2010]
  125. Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 5 (69). С. 91-95. [Тип: Статья, Год: 2010]
  126. Попов С.И., Шалыто А.А. Задача о муравьеде и муравьях. Информационные технологии. 2010. № 8. С. 18-22. [Тип: Статья, Год: 2010]
  127. Шалыто А.А., Царев Ф.Н. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 5 (69). С. 81-86. [Тип: Статья, Год: 2010]
  128. Polikarpova N.I., Tochilin V.N., Shalyto A.A. Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming. Journal of Computer and Systems Sciences International. 2010. Vol. 49. No. 2. pp. 265-282. [Тип: Статья, Год: 2010]
  129. Автоматное программирование [Тип: Монография, Год: 2010]
  130. Верификация автоматных программ [Тип: Тезисы, Год: 2010]
  131. GA-Based and Design by Contract Approach to Test Generation for EFSMs [Тип: Тезисы, Год: 2010]
  132. A GA-Based Approach for Test Generation for Automata-Based Programs [Тип: Тезисы, Год: 2010]
  133. Астафуров А.А., Шалыто А.А. Исследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY). Информационно–управляющие системы.. 2009. № 4. С. 21–25. [Тип: Статья, Год: 2009]
  134. Шалыто А.А. 1_Реализация конечных автоматов на функциональных языках программирования. Информационно-управляющие системы. 2009. № 6. С. 15-18. [Тип: Статья, Год: 2009]
  135. Шалыто А.А. 1_Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение. Информационные технологии.. 2009. № 12. С. 38-45. [Тип: Статья, Год: 2009]
  136. Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2009. № 6(64). С. 66-77. [Тип: Статья, Год: 2009]
  137. Шалыто А.А. 1_Парадигма автоматного программирования. RSDN Magazinе. 2009. № 1. С. 53-58. [Тип: Статья, Год: 2009]
  138. Шалыто А.А. 1_Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C. Прикладная дискретная математика.. 2009. № 1. С. 81-83. [Тип: Статья, Год: 2009]
  139. Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО. Научно–технический вестник СПбГУ ИТМО.. 2009. № 4 (62). С. 5–11. [Тип: Статья, Год: 2009]
  140. Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А. Автоматное программирование и параллельные вычисления. Известия высших учебных заведений. Приборостроение.. 2009. Т. 52. № 10. С. 66–73. [Тип: Статья, Год: 2009]
  141. Шалыто А.А. Верификация автоматных программ. Информационно-управляющие системы. 2008. № 5. С. 22-30. [Тип: Статья, Год: 2008]
  142. Шалыто А.А. Парадигма автоматного программирования. Научно-технический вестник СПбГУ ИТМО.. 2008. № 53. С. 3-24. [Тип: Статья, Год: 2008]
  143. Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах. Компьютерные инструменты в образовани. 2007. № 4. С. 13-17. [Тип: Статья, Год: 2007]
  144. Шалыто А.А. Применение генетического программирования при решении задачи о флибах. Информационные технологии. 2007. № 12. С. 14-17. [Тип: Статья, Год: 2007]
  145. Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY. Информационно-управляющие системы. 2007. № 4. С. 22-27. [Тип: Статья, Год: 2007]
  146. Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах. Известия РАН. Теория и системы управления. 2007. № 5. С. 43-51. [Тип: Статья, Год: 2007]
  147. Шалыто А.А. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя. Нейрокомпьютеры: разработка, применение. 2007. № 9. С. 372-379. [Тип: Статья, Год: 2007]
  148. Шалыто А.А. LabVIEW и SWITCH-технология. Промышленные АСУ и контроллеры. 2006. № 6. С. 43–45. [Тип: Статья, Год: 2006]
  149. Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью. Известия РАН. Теория и системы управления. 2006. № 1. С. 78–81. [Тип: Статья, Год: 2006]
  150. Шалыто А.А. Автоматное программирование. Известия Уральского государственного университета. 2006. № 43. С. 181– 190. [Тип: Статья, Год: 2006]
  151. Шалыто А.А. О проекте Технология автоматного программирования: применение и инструментальные средства. Информационные технологии. 2006. № 2. С. -79-83. [Тип: Статья, Год: 2006]