default search action
Anatoly Shalyto 0001
Person information
- affiliation: ITMO University, St. Petersburg, Russia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j13]Natalia Khanzhina
, Andrey Filchenkov
Combating data incompetence in pollen images detection and classification for pollinosis prevention. Comput. Biol. Medicine 140: 105064 (2022) - 2021
- [j12]Anastasiia N. Gainullina
Method for Joint Clustering in Graph and Correlation Spaces. Autom. Control. Comput. Sci. 55(7): 647-657 (2021) - [j11]Anton O. Bassin
The "One-Fifth Rule" with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ, λ)) Genetic Algorithm. Autom. Control. Comput. Sci. 55(7): 885-902 (2021) - [c44]Alexander Semiletov, Aleksandra Vatian, Maksim Krychkov, Natalia Khanzhina
Comparative Evaluation of Lung Cancer CT Image Synthesis with Generative Adversarial Networks. ICCS (3) 2021: 593-608 - [c43]Margarita Suzdaltseva, Alexandra Shamakhova
De-identification of Medical Information for Forming Multimodal Datasets to Train Neural Networks. ICT4AWE 2021: 163-170 - [c42]Jaafar Hammoud
New Arabic Medical Dataset for Diseases Classification. IDEAL 2021: 196-203 - [i5]Jaafar Hammoud, Aleksandra Vatian, Natalia V. Dobrenko, Nikolay Vedernikov, Anatoly Shalyto, Natalia F. Gusarova:
New Arabic Medical Dataset for Diseases Classification. CoRR abs/2106.15236 (2021)
2010 – 2019
- 2019
- [j10]Viacheslav Shalamov, Andrey Filchenkov, Anatoly Shalyto:
Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing. Evol. Syst. 10(1): 3-11 (2019) - [j9]Dmitry Mukhutdinov
Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. Future Gener. Comput. Syst. 94: 587-600 (2019) - [j8]Daniil Chivilikhin
Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Trans. Ind. Informatics 15(8): 4558-4568 (2019) - [c41]Vitalii Boitsov, Roman Soldatov
Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist's Personal Context. FRUCT 2019: 64-76 - [c40]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: 361-372 - [c39]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: 472-478 - [c38]Aleksandra Vatian, Sergey Dudorov, Aleksandr Ivchenko, Kirill Smirnov, Ekaterina Chikshova, Artem Lobantsev, Vladimir Parfenov, Anatoly Shalyto, Natalia F. Gusarova:
Design Patterns for Personalization of Healthcare Process. ICGDA 2019: 83-88 - [c37]Aleksandra Vatian, Anna Tatarinova, Svyatoslav Osipov
Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis. IDEAL (1) 2019: 166-174 - 2018
- [j7]Vladimir Ulyantsev
Exact finite-state machine identification from scenarios and temporal properties. Int. J. Softw. Tools Technol. Transf. 20(1): 35-55 (2018) - [c36]Aleksandra Vatian
Intellectualization of Knowledge Acquisition of Academic Texts as an Answer to Challenges of Modern Information Society. EGOSE 2018: 138-153 - [c35]Daniil Chivilikhin, Igor Buzhinsky
Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA 2018: 91-98 - [c34]Kirill Kochetov, Evgeny Putin, Maksim Balashov, Andrey Filchenkov, Anatoly Shalyto:
Noise Masking Recurrent Neural Network for Respiratory Sound Classification. ICANN (3) 2018: 208-217 - [c33]Artem Lobantsev
Specifics Analysis of Medical Communities in Social Network Services. IDEAL (1) 2018: 195-203 - [c32]Polina Ovsiannikova
Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN 2018: 719-724 - [c31]Vitaly Aksenov
On Helping and Stacks. NETYS 2018: 107-121 - [c30]Vitaly Aksenov
Parallel Combining: Benefits of Explicit Synchronization. OPODIS 2018: 11:1-11:16 - [c29]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: 106-114 - 2017
- [j6]Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil
Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics 13(4): 1763-1771 (2017) - [c28]Polina Ovsiannikova
Closed-loop verification of a compensating group drive model using synthesized formal plant model. ETFA 2017: 1-4 - [c27]Daniil Chivilikhin, Vladimir Ulyantsev
CSP-based inference of function block finite-state models from execution traces. INDIN 2017: 714-719 - [c26]Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev
Plant trace generation for formal plant model inference: Methods and case study. INDIN 2017: 746-752 - [c25]Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. SEFM Workshops 2017: 117-131 - 2016
- [j5]Daniil S. Chivilikhin, Vladimir I. Ulyantsev
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas. Autom. Remote. Control. 77(3): 473-484 (2016) - [c24]Valeria Efimova
Reinforcement-Based Simultaneous Algorithm and Its Hyperparameters Selection. IDP 2016: 15-27 - [c23]Viacheslav Shalamov, Andrey Filchenkov, Anatoly Shalyto
Genetic Search of Pickup and Delivery Problem Solutions for Self-driving Taxi Routing. AIAI 2016: 348-355 - [c22]Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto
Reconstruction of function block controllers based on test scenarios and verification. INDIN 2016: 646-651 - [c21]Alexsander Pavlov, Anton Ev. Pashchenko, Boris V. Sokolov
Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems. IEEE Conf. on Intelligent Systems 2016: 402-408 - [i4]Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
Exact Finite-State Machine Identification from Scenarios and Temporal Properties. CoRR abs/1601.06945 (2016) - [i3]Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto:
Symmetry Breaking Predicates for SAT-based DFA Identification. CoRR abs/1602.05028 (2016) - [i2]Valeria Efimova, Andrey Filchenkov, Anatoly Shalyto:
Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection. CoRR abs/1611.02053 (2016) - 2015
- [c20]Maxim Buzdalov
Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited. CEC 2015: 2121-2128 - [c19]Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. GECCO (Companion) 2015: 1185-1188 - [c18]Viktor Arkhipov, Maxim Buzdalov
An Asynchronous Implementation of the Limited Memory CMA-ES. ICMLA 2015: 707-712 - [c17]Heng-You Lin, Seppo A. Sierla
Change request management in model-driven engineering of industrial automation software. INDIN 2015: 1186-1191 - [c16]Daniil Chivilikhin, Anatoly Shalyto
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN 2015: 1239-1242 - [c15]Vladimir Ulyantsev
BFS-Based Symmetry Breaking Predicates for DFA Identification. LATA 2015: 611-622 - [c14]Daniil Chivilikhin, Anatoly Shalyto
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. TrustCom/BigDataSE/ISPA (3) 2015: 307-312 - [i1]Viktor Arkhipov, Maxim Buzdalov, Anatoly Shalyto:
An Asynchronous Implementation of the Limited Memory CMA-ES. CoRR abs/1510.00419 (2015) - 2014
- [c13]Maxim Buzdalov, Anatoly Shalyto:
Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm. BIC-TA 2014: 1-10 - [c12]Mikhail Lukin, Maxim Buzdalov, Anatoly Shalyto:
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. Haifa Verification Conference 2014: 165-170 - [c11]Daniil Chivilikhin, Vladimir Ulyantsev
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. ICMLA 2014: 350-355 - [c10]Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. INDIN 2014: 411-417 - [c9]Cheng Pang, Sandeep Patil
A portability study of IEC 61499: Semantics and tools. INDIN 2014: 440-445 - [c8]Maxim Buzdalov, Anatoly Shalyto:
A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-dominated Sorting. PPSN 2014: 528-537 - 2013
- [c7]Igor Buzhinsky
Search-based construction of finite-state machines with real-valued actions: new representation model. GECCO (Companion) 2013: 199-200 - [c6]Viktor Arkhipov, Maxim Buzdalov
Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms Using Genetic Algorithms. ICMLA (2) 2013: 108-111 - [c5]Maxim Buzdalov
A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning. ICMLA (1) 2013: 203-208 - [c4]Daniil Chivilikhin, Vladimir Ulyantsev
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization. MIM 2013: 1043-1048 - [c3]Igor Buzhinsky
Test-Based Induction of Finite-State Machines with Continuous Output Actions. MIM 2013: 1049-1054 - 2012
- [c2]Andrey Zakonov, Anatoly Shalyto
Extracting EFSMs of Web Applications for Formal Requirements Specification. SAFECOMP 2012: 161-172 - 2010
- [c1]Andrey Zakonov, Oleg A. Stepanov, Anatoly Shalyto
GA-based and design by contract approach to test generation for EFSMs. EWDTS 2010: 152-155
2000 – 2009
- 2007
- [j4]D. G. Shopyrin, Anatoly A. Shalyto
Graphical inheritance notation for state-based classes. Program. Comput. Softw. 33(5): 283-292 (2007) - [j3]V. S. Gurov, M. A. Mazin, A. S. Narvsky, Anatoly A. Shalyto
Tools for support of automata-based programming. Program. Comput. Softw. 33(6): 343-355 (2007) - 2002
- [j2]Anatoly A. Shalyto, N. I. Tukkel:
Translating Iterative Algorithms into Automaton Ones. Program. Comput. Softw. 28(5): 250-260 (2002) - 2001
- [j1]Anatoly A. Shalyto
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems. Program. Comput. Softw. 27(5): 260-276 (2001)
Coauthor Index
aka: Daniil Chivilikhin
aka: Vladimir Ulyantsev
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 18:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: