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


доктор технических наук, профессор

Структурное подразделение:
факультет информационных технологий и программирования
Должность:
главный научный сотрудник
Структурное подразделение:
факультет информационных технологий и программирования
Должность:
профессор (квалификационная категория " ординарный профессор")
Профиль:
05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
05.13.18 - Математическое моделирование, численные методы и комплексы программ

Область интересов:
Теоретическая информатика. Алгоритмы и структуры данных. Конечно-автоматные модели. Формальная верификация.
Рабочий язык:
Русский

Публикации руководителя
Выходные данные Год Индексирование в БД
Гайнуллина А.Н., Сухов В.Д., Шалыто А.А., Сергушичев А.А. Применение метода независимых компонент для определения начального приближения при поиске активных модулей в биологических графах [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 2020 Scopus, ВАК, РИНЦ
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 Scopus, ВАК, РИНЦ
Грачев П.Г., Муравьёв С.Б., Фильченков А.А., Шалыто А.А. Генерация автоматов на основе рекуррентных нейросетей и автоматического выбора кластеризации [Automata generation based on recurrent neural networks and automated cauterization selection] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] -2020. - № 1(104). - С. 34-43 2020 Scopus, ВАК, РИНЦ
Гайнуллина А.Н., Шалыто А.А., Сергушичев А.А. Метод совместной кластеризации в графовом и корреляционном пространствах // Моделирование и анализ информационных систем -2020. - Т. 27. - № 2. - С. 180-193 2020 ВАК, РИНЦ
Gusarova N.F., Klochkov A.P., Lobantcev A.A., Vatian A.S., Kabyshev M.V., Shalyto A.A., Tatarinova A., Treshkur T., Li M. Generative augmentation to improve lung nodules detection in resource-limited settings [Генеративная аугментация для улучшения обнаружения узелков в легких в условиях ограниченных ресурсов]//Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy], 2020, No. 6(109), pp. 60-69 2020 Scopus, ВАК, РИНЦ
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 Scopus, Web of Science
Aksenov V., Kuznetsov P., Shalyto A.A. Parallel combining: Benefits of explicit synchronization//Leibniz International Proceedings in Informatics, LIPIcs, 2019, pp. 11 2019 Scopus
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Аксенов Ю.В., Добренко Н.В., Ватьян А.С., Капустин Р.О., Осипов С.В., Маврин П.Ю., Гусарова Н.Ф., Шалыто А.А. Применение автоматного подхода для персонализированной поддержки клинических процессов в медицине [Automata approach for personalized support of clinical processes in healthcare] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] -2019. - № 5(102). - С. 64-75 2019 Scopus, ВАК, РИНЦ
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Путин Е.О., Шалыто А.А. Нейронная сеть с конкурентным порогом для генерации малых органических молекулярных структур [Adversarial threshold neural computer for small organic molecular structures] // Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy] -2018. - № 4(95). - С. 52-60 2018 Scopus, ВАК, РИНЦ
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Петрова И.А., Буздалова А.С., Шалыто А.А. Теоретический анализ метода выбора переключающихся вспомогательных критериев на задаче XdivK // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2017. - Т. 17. - № 3(109). - С. 409–416 2017 ВАК, РИНЦ
Буланова Н.С., Буздалова А.С., Шалыто А.А. Метод адаптивного выбора операторов мутации искусственных иммунных систем и локального поиска // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2017. - Т. 17. - № 6(112). - С. 1100-1106 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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика -2016. - № 3. - С. 137-151 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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Петрова И.А., Буздалова А.С., Шалыто А.А. Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2016. - Т. 16. - № 3(103). - С. 460-466 2016 ВАК, РИНЦ
Ефимова В.А., Фильченков А.А., Шалыто А.А. Применение обучения с подкреплением для одновременного выбора модели алгоритма классификации и ее структурных параметров // Машинное обучение и анализ данных -2016. - Т. 2. - № 2. - С. 244-254 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 Scopus, Web of Science
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 Scopus
Александров А.В., Шалыто А.А. Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2016. - Т. 16. - № 1(101). - С. 108-114 2016 ВАК, РИНЦ
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления -2015. - № 6. - С. 17-30 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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 6(94). - С. 146-152 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 Scopus, Web of Science
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 Scopus
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 Scopus, Web of Science
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 Scopus, Web of Science
Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) -2014. - С. 4351-4542 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 Scopus
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 Scopus, Web of Science
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 Scopus
Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 6(94). - С. 98-105 2014 ВАК, РИНЦ
Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) -2014. - С. 3159-3166 2014 РИНЦ
Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления -2014. - № 2. - С. 111-121 2014 ВАК, РИНЦ
Тихомиров А.В., Шалыто А.А. Применение направленной мутации для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 2(90). - С. 93-98 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 Scopus, Web of Science
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 Scopus
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus
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 Scopus
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 Scopus, Web of Science
Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы -2013. - № 5(66). - С. 43-50 2013 ВАК, РИНЦ
Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика -2013. - Т. 13. - № 2-2. - С. 51–57 2013 ВАК, РИНЦ
Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением // Известия Российской академии наук. Теория и системы управления -2013. - № 3. - С. 85-100 2013 ВАК, РИНЦ
Степанов Д.В., Шалыто А.А. Использование генетического алгоритма для поиска оптимальной траектории наблюдателя // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2012. - № 1(77). - С. 90-95 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 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 Scopus
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 Scopus
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 Scopus, Web of Science
Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2009. - № 6(64). - С. 66-77 2009 ВАК, РИНЦ