Anatoly Shalyto

56 papers A 1B 3C 16Misc 4Journal 11Unranked 21

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