Extended Finite-State Machine Induction Using SAT-Solver. - Vladimir Ulyantsev; Fedor Tsarev (ICMLA (2), 2011)

Learning Finite-State Machines with Ant Colony Optimization. - Daniil Chivilikhin; Vladimir Ulyantsev (ANTS, 2012)

Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization. - Daniil Chivilikhin; Vladimir Ulyantsev; Fedor Tsarev (GECCO (Companion), 2012)

Search-based construction of finite-state machines with real-valued actions: new representation model. - Igor Buzhinsky; Vladimir Ulyantsev; Fedor Tsarev; Anatoly Shalyto 001 (GECCO (Companion), 2013)

MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines. - Daniil Chivilikhin; Vladimir Ulyantsev (GECCO, 2013)

Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions. - Daniil Chivilikhin; Vladimir Ulyantsev (ICMLA (2), 2013)

Test-Based Induction of Finite-State Machines with Continuous Output Actions. - Igor Buzhinsky; Vladimir Ulyantsev; Anatoly Shalyto 001 (MIM, 2013)

Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization. - Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001 (MIM, 2013)

Improving the quality of supervised finite-state machine construction using real-valued variables. - Igor Buzhinsky; Daniil Chivilikhin; Vladimir Ulyantsev; Fedor Tsarev (GECCO (Companion), 2014)

Inferring automata-based programs from specification with mutation-based ant colony optimization. - Daniil Chivilikhin; Vladimir Ulyantsev (GECCO (Companion), 2014)

Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. - Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001 (ICMLA, 2014)

Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. - Vladimir Ulyantsev; Mikhail Melnik (AlCoB, 2015)

Evolutionary approach to coverage testing of IEC 61499 function block applications. - Igor Buzhinsky; Vladimir Ulyantsev; Jari Veijalainen; Valeriy Vyatkin (INDIN, 2015)

BFS-Based Symmetry Breaking Predicates for DFA Identification. - Vladimir Ulyantsev; Ilya Zakirzyanov; Anatoly Shalyto 001 (LATA, 2015)

Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas. - Daniil S. Chivilikhin; Vladimir I. Ulyantsev; Anatoly A. Shalyto (Autom. Remote. Control., 2016)

MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data. - Vladimir Ulyantsev; Sergey Kazakov; Veronika B. Dubinkina; Alexander V. Tyakht; Dmitry G. Alexeev (Bioinform., 2016)

Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis. - Veronika B. Dubinkina; Dmitry S. Ischenko; Vladimir Ulyantsev; Alexander V. Tyakht; Dmitry G. Alexeev (BMC Bioinform., 2016)

Symmetry Breaking Predicates for SAT-based DFA Identification. - Vladimir Ulyantsev; Ilya Zakirzyanov; Anatoly Shalyto 001 (CoRR, 2016)

Closed-loop verification of a compensating group drive model using synthesized formal plant model. - Polina Ovsiannikova; Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001 (ETFA, 2017)

Applying Reinforcement Learning and Supervised Learning Techniques to Play Hearthstone. - Ilya Kachalsky; Ilya Zakirzyanov; Vladimir Ulyantsev (ICMLA, 2017)

Plant trace generation for formal plant model inference: Methods and case study. - Dmitry Avdyukhin; Daniil Chivilikhin; Georgiy Korneev; Vladimir Ulyantsev; Anatoly Shalyto 001 (INDIN, 2017)

CSP-based inference of function block finite-state models from execution traces. - Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001; Valeriy Vyatkin (INDIN, 2017)

Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. - Ilya Zakirzyanov; Anatoly Shalyto 001; Vladimir Ulyantsev (SEFM Workshops, 2017)

Counterexample-guided inference of controller logic from execution traces and temporal formulas. - Daniil Chivilikhin; Igor Buzhinsky; Vladimir I. Ulyantsev; Andrey Stankevich; Anatoly Shalyto 001; Valeriy Vyatkin (ETFA, 2018)

Active Learning of Formal Plant Models For Cyber-Physical Systems. - Polina Ovsiannikova; Daniil Chivilikhin; Vladimir Ulyantsev; Andrey Stankevich; Ilya Zakirzyanov; Valeriy Vyatkin; Anatoly Shalyto 001 (INDIN, 2018)

MetaCherchant: analyzing genomic context of antibiotic resistance genes in gut microbiota. - Evgenii I Olekhnovich; Artem T. Vasilyev; Vladimir Ulyantsev; Elena S. Kostryukova; Alexander V. Tyakht (Bioinform., 2018)

BFS Enumeration for Breaking Symmetries in Graphs. - Vyacheslav Moklev; Vladimir Ulyantsev (CoRR, 2018)

Exact finite-state machine identification from scenarios and temporal properties. - Vladimir Ulyantsev; Igor Buzhinsky; Anatoly Shalyto 001 (Int. J. Softw. Tools Technol. Transf., 2018)

Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis. - Artem Pavlenko; Alexander A. Semenov; Vladimir Ulyantsev (EvoApplications, 2019)

Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks. - Artem Pavlenko; Maxim Buzdalov 001; Vladimir Ulyantsev (GECCO, 2019)

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. - Ilya Zakirzyanov; António Morgado 001; Alexey Ignatiev; Vladimir Ulyantsev; João Marques-Silva 001 (LATA, 2019)

Parallel Framework for Evolutionary Black-box optimization with Application to Algebraic Cryptanalysis. - Artem Pavlenko; Alexander A. Semenov; Vladimir Ulyantsev; Oleg Zaikin 002 (MIPRO, 2019)

Smart Contract Design Meets State Machine Synthesis: Case Studies. - Dmitrii Suvorov; Vladimir Ulyantsev (CoRR, 2019)

Function Block Finite-State Model Identification Using SAT and CSP Solvers. - Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2019)

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. - Alexander A. Semenov; Daniil Chivilikhin; Artem Pavlenko; Ilya V. Otpuschennikov; Vladimir Ulyantsev; Alexey Ignatiev (CP, 2021)

BeBoSy: Behavior Examples Meet Bounded Synthesis. - Daniil Chivilikhin; Ilya Zakirzyanov; Vladimir Ulyantsev (IEEE Access, 2021)