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

Статья

Клеверов Д.А., Шалыто А.А., Артемов М. Метод построения интерпретируемых скрытых марковских моделей для задачи поиска связываемых участков пептидов в последовательностях белков [A method for constructing interpretable hidden Markov models for the task of identifying binding cores in sequences]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2023. Т. 23. № 5(147). С. 989-1000.

Статья

Vitian A., Gusarova N., Tomilov I., Shalyto A. Adversarial Examples in Processing of High-Tech Imaging Using DNN. International Journal of Artificial Intelligence. 2023. Vol. 21. No. 1. pp. 27-54.

Статья

Шалыто А.А. Валидация автоматных спецификаций [Validation of state machine specifications]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2023. Т. 23. № 2(144). С. 436-438.

Статья

Khanzhina N., Filchenkov A., Minaeva N., Novoselova L., Petukhov M., Kharisova I., Pinaeva J., Zamorin G., Putin E.O., Zamyatina E., Shalyto A.A. Combating data incompetence in pollen images detection and classification for pollinosis prevention. Computers in Biology and Medicine. 2022. Vol. 140. pp. 105064.

Статья

Беляев Е.А., Шалыто А.А. Яаков Зив – «отец» современных архиваторов. Виртуальный компьютерный музей. Проект Эдуарда Пройдакова [электронный сайт]. 2022.

Статья

Рыбкин К.Е., Фильченков А.А., Азаров А.А., Забашта А.С., Шалыто А.А. Совместное обучение агентов и векторных представлений графов в задаче управления конвейерными лентами [Joint learning of agents and graph embeddings in a conveyor belt control problem]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2022. Т. 22. № 6(142). С. 1187-1196.

Статья

Shovkoplias G., Strokov D., Kasantsev D., Vatian A., Asadulaev A., Tomilov I., Shalyto A.A., Gusarova N.F. Improving Sign Language Processing via Few-Shot Machine Learning. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2022. Vol. 22. No. 3(139). pp. 559-566.

Статья

Buzhinskii I.P., Shalyto A.A. Towards Neural Routing with Verified Bounds on Performance [На пути к нейросетевой маршрутизации с верифицированными границами эффективности]. Моделирование и анализ информационных систем. 2022. Vol. 29. No. 3. pp. 228-245.

Статья

Грибанов Т.А., Фильченков А.А., Азаров А.А., Шалыто А.А. Мультиагентная адаптивная маршрутизация агентами-клонами на основе многоголового внутреннего внимания с использованием обучения с подкреплением [Multi-agent adaptive routing by multi-head-attention-based twin agents using reinforcement learning]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2022. Т. 22. № 6(142). С. 1178-1186.

Статья

Журба Я.С., Фильченков А.А., Азаров А.А., Шалыто А.А. Алгоритмы непрерывного управления для маршрутизации конвейера на основе мультиагентного глубокого обучения с подкреплением [Continuous control algorithms for conveyer belt routing based on multi-agent deep reinforcement learning]. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2022. № 6(121). С. 10-19.

Статья

Suzdaltseva M., Shamakhova A.S., Dobrenko N., Alekseeva O.V., Hammoud J., Gusarova N., Vatian A., Shalyto A.A. De-Identification of Medical Information for Forming Multimodal Datasets to Train Neural Networks. 7th International Conference on Information and Communication Technologies for Ageing Well and e-Health, ICT4AWE 2021. 2021. pp. 163-170.

Статья

Semiletov A., Vatian A., Krychkov M., Khanzhina N., Klochkov A., Zubanenko A., Soldatov R., Shalyto A., Gusarova N. Comparative Evaluation of Lung Cancer CT Image Synthesis with Generative Adversarial Networks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2021. Vol. 12744. pp. 593-608.

Статья

Vitian A., Peredreev D., Rodiontsev K., Murzina A., Klevtsova E., Tatarinova A., Treshkur T., Shalyto A., Gusarova N. Helping paramedics in assessing a patient's condition based on ECG by means of mobile phone. 14th International Conference on ICT, Society, and Human Beings, ICT 2021, 18th International Conference on Web Based Communities and Social Media, WBC 2021 and 13th International Conference on e-Health, EH 2021 - Held at the 15th Multi-Conference on Computer Science and Information Systems, MCCSIS 2021. 2021. pp. 144-151.

Статья

Shovkoplias G., Tkachenko M., Asadulaev A., Alekseeva O., Dobrenko N., Kazantsev D., Vatian A., Shalyto A., Gusarova N. Support for communication with deaf and dumb patients via Few-Shot Machine Learning. 14th International Conference on ICT, Society, and Human Beings, ICT 2021, 18th International Conference on Web Based Communities and Social Media, WBC 2021 and 13th International Conference on e-Health, EH 2021 - Held at the 15th Multi-Conference on Computer Science and Information Systems, MCCSIS 2021. 2021. pp. 216-220.

Статья

Hammoud J., Vatian A., Dobrenko N., Vedernikov N., Shalyto A., Gusarova N. New Arabic Medical Dataset for Diseases Classification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2021. Vol. 13113. pp. 196-203.

Статья

Gainullina A., Shalyto A.A., Sergushichev A.A. Method for Joint Clustering in Graph and Correlation Spaces. Automatic Control and Computer Sciences. 2021. Vol. 55. No. 7. pp. 647-657.

Статья

Bassin A., Buzdalov M., Shalyto A.A. The "One-Fifth Rule" with Rollbacks for Self-Adjustment of the Population Size in the (1+(lambda, lambda)) Genetic Algorithm. Automatic Control and Computer Sciences. 2021. Vol. 55. No. 7. pp. 885-902.

Статья

Басин А., Буздалов М.В., Шалыто А.А. Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1+(lambda,lambda)). Моделирование и анализ информационных систем. 2020. Т. 27. № 4. С. 488-508.

Статья

Гайнуллина А.Н., Сухов В.Д., Шалыто А.А., Сергушичев А.А. Применение метода независимых компонент для определения начального приближения при поиске активных модулей в биологических графах [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.

Статья

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.

Статья

Shovkoplias G., Smirnov I., Tkachenko M., Gusarova N., Vatian A., Shalyto A., Niyogi R. Verification of automata models for clinical decision support systems. Proceedings of the 12th IADIS International Conference e-Health 2020, EH 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020. 2020. pp. 10-18.

Статья

Shovkoplias G., Glekler E., Povyshev V., Hammoud J., Gusarova N., Vatian A., Shalyto A. Application of automaton model to support rehabilitation of motor skills of patients. Proceedings of the 12th IADIS International Conference e-Health 2020, EH 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020. 2020. pp. 39-46.

Статья

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

Статья

Lobantsev A., Shovkoplias G., Tkachenko M., Morokova K., Soldatov R., Zubanenko A., Shalyto A. Pipeline for control of the dynamics of localized brain pathologies in magnetic resonance images. Proceedings of the 12th IADIS International Conference e-Health 2020, EH 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020. 2020. pp. 19-26.

Статья

Lobantsev A., Beresnev A., Tkachenko M., Alekseeva O., Gusarova N., Vatian A., Shalyto A. Creation of a Publicly Accessible Resource for Increasing the Volume of Freely Distributed Medical Datasets. Proceedings of the 13th IADIS International Conference ICT, Society and Human Beings 2020, ICT 2020 and Proceedings of the 6th IADIS International Conference Connected Smart Cities 2020, CSC 2020 and Proceedings of the 17th IADIS International Conference Web Based Communities and Social Media 2020, WBC 2020 - Part of the 14th Multi Conference on Computer Science and Information Systems, MCCSIS 2020. 2020. pp. 19-26.

Статья

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

Статья

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.

Статья

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.

Статья

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.

Статья

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.

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

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

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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

Статья

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.

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

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

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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

Статья

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.

Статья

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

Тезисы

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

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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

Тезисы

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

Тезисы

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

Статья

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.

Статья

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.

Статья

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.

Статья

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

Статья

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.

Статья

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.

Статья

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

Статья

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.

Статья

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. № 3. С. 137-151.

Статья

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

Статья

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

Статья

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

Статья

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.

Статья

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

Статья

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.

Статья

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.

Статья

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.

Статья

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).

Статья

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.

Статья

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.

Тезисы

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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. Vol. не указан. No. не указан. pp. ???.

Статья

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

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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. № 2. С. 111-121.

Статья

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.

Статья

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.

Статья

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.

Тезисы

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

Тезисы

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

Тезисы

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

Тезисы

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

Тезисы

Overlap Graph Simplification Using Edge Reliability Calculation

Тезисы

A Portability Study of IEC 61499: Semantics and Tools

Тезисы

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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.

Статья

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. № 3. С. 85-100.

Статья

Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома [Combining De Bruijn Graphs, Overlap Graphs and Microassembly for De Novo Genome Assembly]. Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика [ Izvestiya of Saratov University. New Series. Series: Mathematics. Mechanics. Informatics]. 2013. Т. 13. № 2-2. С. 51–57.

Статья

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

Тезисы

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

Статья

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.

Статья

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

Тезисы

Extracting EFSMs of web applications for formal requirements specification

Статья

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

Статья

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

Статья

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.

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

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

Статья

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

Монография

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

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

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

Тезисы

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

Тезисы

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Монография

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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. № 6(76). С. 64-68.

Статья

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

Тезисы

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

Статья

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

Статья

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

Монография

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

Статья

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

Тезисы

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

Статья

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

Статья

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

Тезисы

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

Тезисы

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

Статья

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

Статья

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

Тезисы

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

Статья

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.

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

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

Статья

Shalyto A.A. Multifunctional logic modules consisting of elements with bilateral conductance. Journal of Computer and Systems Sciences International. 2006. Vol. 45  . No. 1  . pp. 73-76.