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

Шалыто Анатолий Абрамович
профессор, доктор технических наук
профессор (квалификационная категория " ординарный профессор"), факультет информационных технологий и программирования

Педагогический стаж

Общий стаж:
19 лет

Публикации

179
Статья
2021 год

Gainullina A. Method of the Joint Clustering in Network and Correlation Spaces. Automatic Control and Computer Sciences. 2021. Vol. 55. No. 7. pp. in press.

Статья
2020 год

Tkachenko M., Shalyto A. ANALYSIS OF DATA QUALITY ON ADVERSE DRUG REACTIONS AND OF METHODS FOR ITS IMPROVEMENT // Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health - 2020 - 2020, pp. in press. Proceedings of the International Conferences on E-health - 2020. 2020. pp. 0.

Статья
2020 год

Грачев П.Г., Муравьёв С.Б., Фильченков А.А., Шалыто А.А. Генерация автоматов на основе рекуррентных нейросетей и автоматического выбора кластеризации [Automata generation based on recurrent neural networks and automated cauterization selection]. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2020. № 1(104). С. 34-43.

Статья
2020 год

Shovkoplias G., Glekler E., Gusarova N., Vatian A., Shalyto A., Hammoud J. Application of automata model to support patient rehabilitation. Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health - 2020. 2020. pp. in press.

Статья
2020 год

Грачев П.Г., Муравьёв С.Б., Фильченков А.А., Шалыто А.А. Генерация автоматов на основе рекуррентный нейросетей и автоматического выбора кластеризации. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2020. № 1(104). С. 34-43.

Статья
2020 год

Lobantsev A., Gusarova N., Vatian A., Капитонов А., Shalyto A. Comparative assessment of text-image fusion models for medical diagnostics [Cравнительная оценка моделей слияния текста и изображения для медицинской диагностики]. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2020. No. 5(108). pp. 70-79.

Статья
2020 год

Lobantsev A., Beresnev A., Tkachenko M., Alekseeva O.V., Gusarova N., Vatian A., Shalyto A. Creation of a Publicly Accessible Resource for Increasing the Volume of Freely Distributed Medical Datasets. 13th International Conference on ICT, Society and Human Beings 2020 (ICT 2020). 2020. pp. 19-26.

Статья
2020 год

Shovkoplias G., Smirnov I., Tkachenko M., Gusarova N., Vatian A., Shalyto A. Verification of automata models for clinical decision support systems. Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health - 2020. 2020. pp. in press.

Статья
2020 год

Гайнуллина А.Н., Шалыто А.А., Сергушичев А.А. Метод совместной кластеризации в графовом и корреляционном пространствах. Моделирование и анализ информационных систем. 2020. Т. 27. № 2. С. 180-193.

Статья
2020 год

Гайнуллина А.Н., Сухов В.Д., Шалыто А.А., Сергушичев А.А. Применение метода независимых компонент для определения начального приближения при поиске активных модулей в биологических графах [Independent component analysis for initial approximation determination in identification of active modules in biological graphs]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2020. Т. 20. № 6(130). С. 888-892.

Статья
2019 год

Vatian A., Gusarova N., Dobrenko N., Klochkov A., Nigmatullin N., Lobantsev A., Shalyto A. Fusing of Medical Images and Reports in Diagnostics of Brain Diseases. ACM International Conference Proceeding Series. 2019. pp. 102-108.

Статья
2019 год

Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V. Function block finite-state model identification using SAT and CSP solvers. IEEE Transactions on Industrial Informatics. 2019. Vol. 15. No. 8. pp. 4558-4568.

Статья
2019 год

Efimova V., Filchenkov A., Shalyto A. Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection. Communications in Computer and Information Science. 2019. Vol. 794. pp. 15-27.

Учебник, учебное пособие
2019 год

Методические рекомендации по организации и проведению производственной практики обучающихся

Статья
2019 год

Vatian A., Dudorov S., Dobrenko N., Mairovich A., Osipov M., Lobantsev A., Shalyto A., Gusarova N. Intellectualization of knowledge acquisition of academic texts as an answer to challenges of modern information society. Communications in Computer and Information Science. 2019. Vol. 947. pp. 138-153.

Статья
2019 год

Vatian A., Ratnikova A., Gruntov A., Osipov S., Shalyto A.A., Gusarova N.F. Using associative links for storing personalized medical information. Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health. 2019. pp. 211-215.

Статья
2019 год

Vatian A.S., Tatarinova A., Osipov S., Egorov N., Boitsov V., Ryngach E., Treshkur T., Shalyto A., Gusarova N. Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. Vol. 11871. pp. 166-174.

Статья
2019 год

Аксенов Ю.В., Добренко Н.В., Ватьян А.С., Капустин Р.О., Осипов С.В., Маврин П.Ю., Гусарова Н.Ф., Шалыто А.А. Применение автоматного подхода для персонализированной поддержки клинических процессов в медицине [Automata approach for personalized support of clinical processes in healthcare]. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2019. № 5(102). С. 64-75.

Статья
2019 год

Vatian A., Gusarova N., Nigmatullin N., Dudorov S., Shalyto A., Korotaeva D. Specifics of Transfer Learning in Processing of MRI Brain Images Using Deep Neural Networks. Cambridge Scholars. 2019. pp. in press.

Статья
2019 год

Mukhutdinov D., Filchenkov A., Shalyto A., Vyatkin V. Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. Future Generation Computer Systems. 2019. Vol. 94. pp. 587-600.

Статья
2019 год

Vatian A., Dudorov S., Ivchenko A., Smirnov K., Chikshova E., Lobantsev A., Parfenov V., Shalyto A., Gusarova N. Design Patterns for Personalization of Healthcare Process. ACM International Conference Proceeding Series. 2019. Vol. F148261. pp. 83-88.

Статья
2019 год

Shalamov V., Filchenkov A., Shalyto A.A. Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing. Evolving Systems. 2019. Vol. 10. No. 1. pp. 3-11.

Статья
2019 год

Boitsov V., Vatian A., Egorov N., Klochkov A., Lobantsev A., Markova E., Gusarova N., Shalyto A., Zubanenko A., Soldatov R., Niyogi R. Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist’s Personal Context. Proceedings of the 25th Conference of Open Innovations Association FRUCT. 2019. pp. 64-76.

Статья
2019 год

Vatyan A., Dobrenko N., Tkachenko M., Gusarova N., Shalyto A., Boytsov V., Egorov N., Treshkur T., Ryngach E., Tatarinova A., Niyogi R. Intelligent Support for Clinical Processes Based on Automaton Approach. Proceedings of the 25th Conference of Open Innovations Association FRUCT. 2019. pp. 361-372.

Статья
2019 год

Aksenov V., Kuznetsov P., Shalyto A.A. Parallel combining: Benefits of explicit synchronization. Leibniz International Proceedings in Informatics, LIPIcs. 2019. pp. 11.

Статья
2019 год

Vatian A., Gusarova N., Dobrenko N., Dudorov S., Nigmatullin N., Shalyto A., Lobantsev A. Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images. Proceedings of the 24th Conference of Open Innovations Association FRUCT. 2019. pp. 472-278.

Статья
2019 год

Aksenov V.E., Kuznetsov P., Shalyto A.A. On Helping and Stacks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. Vol. 11028. pp. 107-121.

Статья
2019 год

Vatian A., Lobantsev A., Gorokhov N., Mirzayanov M., Korneev G., Gusarova N.F., Shalyto A.A. Data processing approaches for lung CT-image analysis under resource constraints. Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health. 2019. pp. 19-26.

Учебник, учебное пособие
2019 год

Методические рекомендации по организации и проведению учебной практики обучающихся

Статья
2018 год

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 (EFTA). 2018. pp. 91-98.

Статья
2018 год

Ovsiannikova P., Chivilikhin D., Ulyantsev V., Stankevich A., Zakirzyanov I., Vyatkin V., Shalyto A. Active learning of formal plant models for cyber-physical systems. Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018. 2018. pp. 719-724.

Статья
2018 год

Lobantsev A., Vatian A., Dobrenko N., Stankevich A., Kaznacheeva A.O., Parfenov V., Shalyto A., Gusarova N. 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. Vol. 11314. pp. 195-203.

Статья
2018 год

Путин Е.О., Шалыто А.А. Нейронная сеть с конкурентным порогом для генерации малых органических молекулярных структур [Adversarial threshold neural computer for small organic molecular structures]. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2018. № 4(95). С. 52-60.

Статья
2018 год

Vatian A., Dudorov S., Beresnev A., Vasilev A., Nigmatullin N., Vedernikov N., Stankevich A., Gusarova N., Shalyto A. Topic modeling of text content for monitoring the employee’s efficiency via his internet activity. Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2018, Theory and Practice in Modern Computing 2018 and Connected Smart Cities 2018, MCCSIS 2018. 2018. pp. 43-50.

Статья
2018 год

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 год

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 год

Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией

Статья
2018 год

Саблина М.М., Шалыто А.А. Программное средство для визуального и интерактивного анализа экспрессии генов. Роспатент. 2018. С. 2018666621.

Статья
2018 год

Kochetov K., Putin E., Balashov M., Filchenkov A., Shalyto A. Noise Masking Recurrent Neural Network for Respiratory Sound Classification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. Vol. 11141. pp. 208-217.

Статья
2018 год

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.

Статья
2017 год

Буланова Н.С., Буздалова А.С., Шалыто А.А. Метод адаптивного выбора операторов мутации искусственных иммунных систем и локального поиска. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2017. Т. 17. № 6(112). С. 1100-1106.

Тезисы
2017 год

Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией

Статья
2017 год

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 год

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 год

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 год

Петрова И.А., Буздалова А.С., Шалыто А.А. Теоретический анализ метода выбора переключающихся вспомогательных критериев на задаче XdivK. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2017. Т. 17. № 3(109). С. 409–416.

Тезисы
2017 год

Экспериментальное исследование методов генерации монолитной модели объекта управления на примере симуляционной модели лифта

Статья
2017 год

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 год

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.

Статья
2016 год

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 год

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 год

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 год

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

Статья
2016 год

Петрова И.А., Буздалова А.С., Шалыто А.А. Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2016. Т. 16. № 3(103). С. 460-466.

Статья
2016 год

Антипов Д.С., Шалыто А.А. Теоретический анализ времени работы эволюционных алгоритмов при генерации тестов. Сборник тезисов докладов конгресса молодых ученых (V Всероссийский конгресс молодых ученых, 12-15 апреля 2016 г.). Электронное издание. 2016. С. Электронное издание.

Статья
2016 год

Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2016. Т. 16. № 1(101). С. 108-114.

Статья
2016 год

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 год

Ефимова В.А., Фильченков А.А., Шалыто А.А. Применение обучения с подкреплением для одновременного выбора модели алгоритма классификации и ее структурных параметров. Машинное обучение и анализ данных. 2016. Т. 2. № 2. С. 244-254.

Статья
2016 год

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 год

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 год

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.

Тезисы
2015 год

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015

Сборник
2015 год

публикация в Сборнике тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.

Сборник
2015 год

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.

Статья
2015 год

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 год

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 год

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 год

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

Статья
2015 год

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 год

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 год

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 год

Савин А.В., Клебан В.О., Шалыто А.А. Поддержка стандарта IEC 61499 для встраиваемых применений на базе ОС Linux. не указано. 2015. С. не указано.

Статья
2015 год

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 год

Савин А.В., Клебан В.О., Шалыто А.А. Применение шаблонов объектно-ориентированного проектирования к программам IEC61499 на примере шаблона “Фабричный метод”. не указано. 2015. С. не указаны.

Статья
2015 год

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 год

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 год

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 год

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 год

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.

Статья
2014 год

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

Статья
2014 год

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 6(94). С. 98-105.

Статья
2014 год

Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 6(94). С. 146-152.

Статья
2014 год

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

Статья
2014 год

Тихомиров А.В., Шалыто А.А. Применение направленной мутации для генерации клеточных автоматов. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 2(90). С. 93-98.

Статья
2014 год

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 год

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 год

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 год

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 год

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 год

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 год

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 год

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 год

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

Статья
2014 год

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 год

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 год

Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем

Тезисы
2014 год

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

Тезисы
2014 год

Worst-case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives

Тезисы
2014 год

A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting

Тезисы
2014 год

A Portability Study of IEC 61499: Semantics and Tools

Тезисы
2014 год

Overlap Graph Simplification Using Edge Reliability Calculation

Тезисы
2014 год

Cyber-Phisical Components for Heterogeous Modelin, Validation and Implementation of Smart Grid Intelligence

Статья
2013 год

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 год

Метод построения конечных автоматов на основе муравьиного алгоритма

Статья
2013 год

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

Статья
2013 год

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 год

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 год

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 год

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 год

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 год

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

Статья
2013 год

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

Статья
2012 год

Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2012. № 1(77). С. 90-95.

Статья
2012 год

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 год

Проектный менеджмент в ВУЗе. Учебные кейсы

Тезисы
2012 год

Extracting EFSMs of web applications for formal requirements specification

Статья
2012 год

Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2012. № 1(77). С. 81-85.

Статья
2012 год

Тихомиров А.В., Шалыто А.А. Применение адаптивного генетического алгоритма для генерации клеточных автоматов. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2012. № 1(77). С. 100-105.

Статья
2011 год

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

Статья
2011 год

Алексеев С.А., Клебан В.О., Шалыто А.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 37-40.

Статья
2011 год

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

Учебник, учебное пособие
2011 год

Верификация автоматных программ

Статья
2011 год

Казаков С.В., Александров А.В., Царев Ф.Н., Шалыто А.А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности. Научно-технический вестник СПбГУ ИТМО. 2011. № 5. С. 81-84.

Монография
2011 год

Верификация автоматных программ

Статья
2011 год

Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О. Автоматический синтез системы управления мобильным роботом для решения задачи "Кегельринг". Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 26-31.

Статья
2011 год

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

Статья
2011 год

Шалыто А.А. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС. Системы управления и обработки информации. 2011. № 22. С. 92-103.

Монография
2011 год

Университет XXI века

Тезисы
2011 год

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы

Тезисы
2011 год

Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы

Статья
2011 год

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

Статья
2011 год

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

Статья
2011 год

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

Статья
2011 год

Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом. Информационно-управляющие системы. 2011. № 1. С. 50-56.

Статья
2011 год

Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания. Информационные технологии. 2011. № 7. С. 34-37.

Статья
2011 год

Шалыто А.А., Янкин Ю.Ю. Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС. Системы управления и обработки информации. 2011. № 22. С. 92 - 103.

Статья
2011 год

Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать. Компьютерные инструменты в образовании. 2011. № 3. С. 51-59.

Статья
2011 год

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

Статья
2011 год

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 год

Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать. Компьютерные инструменты в образовании. 2011. № 3. С. 51-59.

Статья
2011 год

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

Статья
2011 год

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

Статья
2011 год

Клебан В.О., Шалыто А.А. Разработка системы управления малоразмерным вертолетом. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 2(72). С. 12-16.

Тезисы
2010 год

Применение шаблонов требований к формальной спецификации и верификации автоматных программ

Статья
2010 год

Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования. Известия РАН. Теория и системы управления. 2010. № 2(2). С. 100-117.

Статья
2010 год

Егоров К.В., Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации. Научно-технический вестник СПбГУ ИТМО. 2010. № 5 (69). С. 81 - 86.

Статья
2010 год

Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях. Информационные технологии.. 2010. № 8. С. 18 - 22.

Статья
2010 год

Клебанов А.А., Степанов О.Г., Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ. Научно-технический вестник СПбГУ ИТМО. 2010. № 5 (69). С. 91 - 95.

Статья
2010 год

Царев Ф.Н., Шалыто А.А. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования. Информационно-управляющие системы. 2010. № 5. С. 31-36.

Статья
2010 год

Суясов Д.И., Шалыто А.А. Выделение структурных признаков изображений символов на основе клеточных автоматов с метками. Информационно-управляющие системы. 2010. № 4. С. 39–45.

Тезисы
2010 год

Верификация автоматных программ

Тезисы
2010 год

A GA-Based Approach for Test Generation for Automata-Based Programs

Статья
2010 год

Шалыто А.А., Царев Ф.Н. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 5 (69). С. 81-86.

Статья
2010 год

Попов С.И., Шалыто А.А. Задача о муравьеде и муравьях. Информационные технологии. 2010. № 8. С. 18-22.

Тезисы
2010 год

GA-Based and Design by Contract Approach to Test Generation for EFSMs

Тезисы
2010 год

Автоматный подход к созданию программного обеспечения боевой информационно-управляющей системы

Статья
2010 год

Шалыто А.А. Применение шаблонов требований к формальной спецификации и верификации автоматных программ. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 5 (69). С. 91-95.

Монография
2010 год

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

Статья
2010 год

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 год

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования. Известия РАН. Теория и системы управления. 2010. № 2. С. 100 – 117.

Статья
2009 год

Астафуров А.А., Шалыто А.А. Исследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY). Информационно–управляющие системы.. 2009. № 4. С. 21–25.

Статья
2009 год

Шалыто А.А. 1_Реализация конечных автоматов на функциональных языках программирования. Информационно-управляющие системы. 2009. № 6. С. 15-18.

Статья
2009 год

Шалыто А.А. 1_Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение. Информационные технологии.. 2009. № 12. С. 38-45.

Статья
2009 год

Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2009. № 6(64). С. 66-77.

Статья
2009 год

Шалыто А.А. 1_Парадигма автоматного программирования. RSDN Magazinе. 2009. № 1. С. 53-58.

Статья
2009 год

Шалыто А.А. 1_Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C. Прикладная дискретная математика.. 2009. № 1. С. 81-83.

Статья
2009 год

Парфенов В.Г., Шалыто А.А. Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО. Научно–технический вестник СПбГУ ИТМО.. 2009. № 4 (62). С. 5–11.

Статья
2009 год

Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А. Автоматное программирование и параллельные вычисления. Известия высших учебных заведений. Приборостроение.. 2009. Т. 52. № 10. С. 66–73.

Статья
2008 год

Шалыто А.А. Верификация автоматных программ. Информационно-управляющие системы. 2008. № 5. С. 22-30.

Статья
2008 год

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

Статья
2007 год

Шалыто А.А. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя. Нейрокомпьютеры: разработка, применение. 2007. № 9. С. 372-379.

Статья
2007 год

Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах. Известия РАН. Теория и системы управления. 2007. № 5. С. 43-51.

Статья
2007 год

Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY. Информационно-управляющие системы. 2007. № 4. С. 22-27.

Статья
2007 год

Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах. Компьютерные инструменты в образовани. 2007. № 4. С. 13-17.

Статья
2007 год

Шалыто А.А. Применение генетического программирования при решении задачи о флибах. Информационные технологии. 2007. № 12. С. 14-17.

Статья
2006 год

Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью. Известия РАН. Теория и системы управления. 2006. № 1. С. 78–81.

Статья
2006 год

Шалыто А.А. LabVIEW и SWITCH-технология. Промышленные АСУ и контроллеры. 2006. № 6. С. 43–45.

Статья
2006 год

Шалыто А.А. О проекте Технология автоматного программирования: применение и инструментальные средства. Информационные технологии. 2006. № 2. С. -79-83.

Статья
2006 год

Шалыто А.А. Автоматное программирование. Известия Уральского государственного университета. 2006. № 43. С. 181– 190.

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

Повышение квалификации
2017 год
Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченным возможностями здоровья

Российская Федерация

Конференция
2015 год
LATA 2015

Франция, Ницца