Anatoly Shalyto

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 34

Top Topics

Genetic Algorithm

Hyperparameters

Top Venues

Publications

Natalia Khanzhina, Andrey Filchenkov, Natalia Minaeva, Larisa Novoselova, Maxim V. Petukhov, Irina Kharisova, Julia Pinaeva, Georgiy Zamorin, Evgeny Putin, Elena Zamyatina, Anatoly Shalyto
Combating data incompetence in pollen images detection and classification for pollinosis prevention. Comput. Biol. Medicine 140 (2022)
Margarita Suzdaltseva, Alexandra Shamakhova, Natalia V. Dobrenko, Olga Alekseeva, Jaafar Hammud, Natalia F. Gusarova, Aleksandra Vatian, Anatoly Shalyto
De-identification of Medical Information for Forming Multimodal Datasets to Train Neural Networks. ICT4AWE (2021)
Alexander Semiletov, Aleksandra Vatian, Maksim Krychkov, Natalia Khanzhina, Anton Klochkov, Aleksey Zubanenko, Roman Soldatov, Anatoly Shalyto, Natalia F. Gusarova
Comparative Evaluation of Lung Cancer CT Image Synthesis with Generative Adversarial Networks. ICCS (3) (2021)
Jaafar Hammoud, Aleksandra Vatian, Natalia V. Dobrenko, Nikolai Vedernikov, Anatoly Shalyto, Natalia F. Gusarova
New Arabic Medical Dataset for Diseases Classification. IDEAL (2021)
Jaafar Hammoud, Aleksandra Vatian, Natalia V. Dobrenko, Nikolay Vedernikov, Anatoly Shalyto, Natalia Gusarova
New Arabic Medical Dataset for Diseases Classification. CoRR (2021)
Dmitry Mukhutdinov, Andrey Filchenkov, Anatoly Shalyto, Valeriy Vyatkin
Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. Future Gener. Comput. Syst. 94 (2019)
Aleksandra Vatian, Natalia F. Gusarova, Natalia V. Dobrenko, Sergey Dudorov, Niyaz Nigmatullin, Anatoly Shalyto, Artem Lobantsev
Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images. FRUCT (2019)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Trans. Ind. Informatics 15 (8) (2019)
Aleksandra Vatian, Sergey Dudorov, Aleksandr Ivchenko, Kirill Smirnov, Ekaterina Chikshova, Artem Lobantsev, Vladimir Parfenov, Anatoly Shalyto, Natalia Gusarova
Design Patterns for Personalization of Healthcare Process. ICGDA (2019)
Alexandra Vatyan, Anna Tatarinova, Rajdeep Niyogi, Natalia V. Dobrenko, Mark Tkachenko, Natalia F. Gusarova, Anatoly Shalyto, Vitaly Boytsov, Nikolay Egorov, Tatiana Treshkur, Elena Ryngach
Intelligent Support for Clinical Processes Based on Automaton Approach. FRUCT (2019)
Aleksandra Vatian, Anna Tatarinova, Svyatoslav Osipov, Nikolai Egorov, Vitalii Boitsov, Elena Ryngach, Tatiana Treshkur, Anatoly Shalyto, Natalia F. Gusarova
Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis. IDEAL (1) (2019)
Viacheslav Shalamov, Andrey Filchenkov, Anatoly Shalyto
Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing. Evol. Syst. 10 (1) (2019)
Vitalii Boitsov, Roman Soldatov, Rajdeep Niyogi, Alexandra Vatian, Nikolay Egorov, Anton Klochkov, Artem Lobantsev, Ekaterina Markova, Natalia F. Gusarova, Anatoly Shalyto, Alexey Zubanenko
Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist's Personal Context. FRUCT (2019)
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
Parallel Combining: Benefits of Explicit Synchronization. OPODIS (2018)
Kirill Kochetov, Evgeny Putin, Maksim Balashov, Andrey Filchenkov, Anatoly Shalyto
Noise Masking Recurrent Neural Network for Respiratory Sound Classification. ICANN (3) (2018)
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Exact finite-state machine identification from scenarios and temporal properties. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA (2018)
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
On Helping and Stacks. NETYS (2018)
Aleksandra Vatian, Sergey Dudorov, Natalia V. Dobrenko, Andrey Mairovich, Mikhail Osipov, Artem Lobantsev, Anatoly Shalyto, Natalia F. Gusarova
Intellectualization of Knowledge Acquisition of Academic Texts as an Answer to Challenges of Modern Information Society. EGOSE (2018)
Artem Lobantsev, Aleksandra Vatian, Natalia V. Dobrenko, Andrey Stankevich, Anna Kaznacheeva, Vladimir Parfenov, Anatoly Shalyto, Natalia F. Gusarova
Specifics Analysis of Medical Communities in Social Network Services. IDEAL (1) (2018)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN (2018)
Aleksandra Vatian, Natalia V. Dobrenko, Anastasia Makarenko, Niyaz Nigmatullin, Nikolay Vedernikov, Artem Vasilev, Andrey Stankevich, Natalia F. Gusarova, Anatoly Shalyto
Adaptation of Algorithms for Medical Information Retrieval for Working on Russian-Language Text Content. TSD (2018)
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
Plant trace generation for formal plant model inference: Methods and case study. INDIN (2017)
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. SEFM Workshops (2017)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Closed-loop verification of a compensating group drive model using synthesized formal plant model. ETFA (2017)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
CSP-based inference of function block finite-state models from execution traces. INDIN (2017)
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics 13 (4) (2017)
Viacheslav Shalamov, Andrey Filchenkov, Anatoly Shalyto
Genetic Search of Pickup and Delivery Problem Solutions for Self-driving Taxi Routing. AIAI (2016)
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
Symmetry Breaking Predicates for SAT-based DFA Identification. CoRR (2016)
Valeria Efimova, Andrey Filchenkov, Anatoly Shalyto
Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection. CoRR (2016)
Valeria Efimova, Andrey Filchenkov, Anatoly Shalyto
Reinforcement-Based Simultaneous Algorithm and Its Hyperparameters Selection. IDP (2016)
Alexsander Pavlov, Anton Ev. Pashchenko, Boris V. Sokolov, Anatoly Shalyto, Gennady Maklakov
Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems. IEEE Conf. on Intelligent Systems (2016)
Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin
Reconstruction of function block controllers based on test scenarios and verification. INDIN (2016)
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Exact Finite-State Machine Identification from Scenarios and Temporal Properties. CoRR (2016)
Viktor Arkhipov, Maxim Buzdalov, Anatoly Shalyto
An Asynchronous Implementation of the Limited Memory CMA-ES. ICMLA (2015)
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN (2015)
Viktor Arkhipov, Maxim Buzdalov, Anatoly Shalyto
An Asynchronous Implementation of the Limited Memory CMA-ES. CoRR (2015)
Maxim Buzdalov, Anatoly Shalyto
Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited. CEC (2015)
Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. GECCO (Companion) (2015)
Heng-You Lin, Seppo Sierla, Nikolaos Papakonstantinou, Anatoly Shalyto, Valeriy Vyatkin
Change request management in model-driven engineering of industrial automation software. INDIN (2015)
Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. TrustCom/BigDataSE/ISPA (3) (2015)
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
BFS-Based Symmetry Breaking Predicates for DFA Identification. LATA (2015)
Maxim Buzdalov, Anatoly Shalyto
Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm. BIC-TA (2014)
Maxim Buzdalov, Anatoly Shalyto
A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-dominated Sorting. PPSN (2014)
Mikhail Lukin, Maxim Buzdalov, Anatoly Shalyto
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. Haifa Verification Conference (2014)
Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto
A portability study of IEC 61499: Semantics and tools. INDIN (2014)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. ICMLA (2014)
Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. INDIN (2014)
Igor Buzhinsky, Vladimir Ulyantsev, Anatoly Shalyto
Test-Based Induction of Finite-State Machines with Continuous Output Actions. MIM (2013)
Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto
Search-based construction of finite-state machines with real-valued actions: new representation model. GECCO (Companion) (2013)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization. MIM (2013)
Maxim Buzdalov, Arina Buzdalova, Anatoly Shalyto
A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning. ICMLA (1) (2013)
Viktor Arkhipov, Maxim Buzdalov, Anatoly Shalyto
Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms Using Genetic Algorithms. ICMLA (2) (2013)
Andrey Zakonov, Anatoly Shalyto
Extracting EFSMs of Web Applications for Formal Requirements Specification. SAFECOMP (2012)
Andrey Zakonov, Oleg A. Stepanov, Anatoly Shalyto
GA-based and design by contract approach to test generation for EFSMs. EWDTS (2010)