| 2025 | INDIN | LLM-based Iterative Requirements Refinement in FSM with IEC 61499 Code Generation. | Valeriy Vyatkin, Sandeep Patil, Dmitrii Drozdov, Anatoly Shalyto |
| 2021 | ICCS | Comparative Evaluation of Lung Cancer CT Image Synthesis with Generative Adversarial Networks. | Alexander Semiletov, Aleksandra Vatian, Maksim Krychkov, Natalia Khanzhina, Anton Klochkov, Aleksey Zubanenko, Roman Soldatov, Anatoly Shalyto, Natalia F. Gusarova |
| 2021 | IDEAL | New Arabic Medical Dataset for Diseases Classification. | Jaafar Hammoud, Aleksandra Vatian, Natalia V. Dobrenko, Nikolai Vedernikov, Anatoly Shalyto, Natalia F. Gusarova |
| 2019 | FRUCT | Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist's Personal Context. | Vitalii Boitsov, Roman Soldatov, Rajdeep Niyogi, Alexandra Vatian, Nikolay Egorov, Anton Klochkov, Artem Lobantsev, Ekaterina Markova, Natalia F. Gusarova, Anatoly Shalyto, Alexey Zubanenko |
| 2019 | FRUCT | Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images. | Aleksandra Vatian, Natalia F. Gusarova, Natalia V. Dobrenko, Sergey Dudorov, Niyaz Nigmatullin, Anatoly Shalyto, Artem Lobantsev |
| 2019 | FRUCT | Intelligent Support for Clinical Processes Based on Automaton Approach. | Alexandra Vatyan, Anna Tatarinova, Rajdeep Niyogi, Natalia V. Dobrenko, Mark Tkachenko, Natalia F. Gusarova, Anatoly Shalyto, Vitaly Boytsov, Nikolay Egorov, Tatiana Treshkur, Elena Ryngach |
| 2019 | IDEAL | Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis. | Aleksandra Vatian, Anna Tatarinova, Svyatoslav Osipov, Nikolai Egorov, Vitalii Boitsov, Elena Ryngach, Tatiana Treshkur, Anatoly Shalyto, Natalia F. Gusarova |
| 2018 | ETFA | Counterexample-guided inference of controller logic from execution traces and temporal formulas. | Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin |
| 2018 | ICANN | Noise Masking Recurrent Neural Network for Respiratory Sound Classification. | Kirill Kochetov, Evgeny Putin, Maksim Balashov, Andrey Filchenkov, Anatoly Shalyto |
| 2018 | INDIN | Active Learning of Formal Plant Models For Cyber-Physical Systems. | Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto |
| 2018 | IDEAL | Specifics Analysis of Medical Communities in Social Network Services. | Artem Lobantsev, Aleksandra Vatian, Natalia V. Dobrenko, Andrey Stankevich, Anna Kaznacheeva, Vladimir Parfenov, Anatoly Shalyto, Natalia F. Gusarova |
| 2018 | OPODIS | Parallel Combining: Benefits of Explicit Synchronization. | Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto |
| 2017 | ETFA | Closed-loop verification of a compensating group drive model using synthesized formal plant model. | Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto |
| 2017 | INDIN | Plant trace generation for formal plant model inference: Methods and case study. | Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto |
| 2017 | INDIN | CSP-based inference of function block finite-state models from execution traces. | Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin |
| 2017 | SEFM | Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. | Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev |
| 2016 | INDIN | Reconstruction of function block controllers based on test scenarios and verification. | Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin |
| 2015 | CEC | Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited. | Maxim Buzdalov, Anatoly Shalyto |
| 2015 | GECCO | Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. | Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto |
| 2015 | ICMLA | An Asynchronous Implementation of the Limited Memory CMA-ES. | Viktor Arkhipov, Maxim Buzdalov, Anatoly Shalyto |
| 2015 | INDIN | Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. | Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin |
| 2015 | INDIN | Change request management in model-driven engineering of industrial automation software. | Heng-You Lin, Seppo A. Sierla, Nikolaos Papakonstantinou, Anatoly Shalyto, Valeriy Vyatkin |
| 2015 | LATA | BFS-Based Symmetry Breaking Predicates for DFA Identification. | Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto |
| 2015 | TrustCom | Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. | Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin |
| 2014 | ICMLA | Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. | Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto |
| 2014 | INDIN | A portability study of IEC 61499: Semantics and tools. | Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto |
| 2014 | INDIN | Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. | Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin |
| 2014 | PPSN | A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-dominated Sorting. | Maxim Buzdalov, Anatoly Shalyto |
| 2013 | GECCO | Search-based construction of finite-state machines with real-valued actions: new representation model. | Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto |
| 2013 | ICMLA | Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms Using Genetic Algorithms. | Viktor Arkhipov, Maxim Buzdalov, Anatoly Shalyto |
| 2013 | ICMLA | A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning. | Maxim Buzdalov, Arina Buzdalova, Anatoly Shalyto |
| 2012 | SAFECOMP | Extracting EFSMs of Web Applications for Formal Requirements Specification. | Andrey Zakonov, Anatoly Shalyto |