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)

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)

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)

Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. - Daniil Chivilikhin; Ilya Ivanov; Anatoly Shalyto 001 (GECCO (Companion), 2015)

Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. - Daniil Chivilikhin; Anatoly Shalyto 001; Sandeep Patil; Valeriy Vyatkin (INDIN, 2015)

Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. - Daniil Chivilikhin; Anatoly Shalyto 001; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

Experimental Study of Automated Parameter Tuning on the Example of irace and the Traveling Salesman Problem. - Daniil Chivilikhin (GECCO (Companion), 2016)

Small-Moves Based Mutation For Pick-Up And Delivery Problem. - Viacheslav Shalamov; Andrey Filchenkov; Daniil Chivilikhin (GECCO (Companion), 2016)

Reconstruction of function block controllers based on test scenarios and verification. - Daniil Chivilikhin; Ilya Ivanov; Anatoly Shalyto 001; Valeriy Vyatkin (INDIN, 2016)

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)

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)

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)

Reconstruction of Function Block Logic Using Metaheuristic Algorithm. - Daniil Chivilikhin; Anatoly Shalyto 001; Sandeep Patil; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 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)

Towards automatic state machine reconstruction from legacy PLC using data collection. - Daniil Chivilikhin; Sandeep Patil; Anthony Cordonnier; Valeriy Vyatkin (INDIN, 2019)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks. - Konstantin Chukharev; Daniil Chivilikhin (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)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. - Konstantin Chukharev; Dmitrii Suvorov; Daniil Chivilikhin; Valeriy Vyatkin (IEEE Access, 2020)

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. - Daniil Chivilikhin; Sandeep Patil; Konstantin Chukharev; Anthony Cordonnier; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2020)

Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking. - Daniil Chivilikhin (CEC, 2021)

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)

On Probabilistic Generalization of Backdoors in Boolean Satisfiability. - Alexander A. Semenov; Artem Pavlenko; Daniil Chivilikhin; Stepan Kochemazov (AAAI, 2022)

Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability. - Artem Pavlenko; Daniil Chivilikhin; Alexander A. Semenov (CEC, 2022)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver. - Konstantin Chukharev; Daniil Chivilikhin (IEEE Access, 2022)

Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits. - Alexander A. Semenov; Konstantin Chukharev; Egor Tarasov; Daniil Chivilikhin; Viktor Kondratiev (CoRR, 2022)

Probabilistic Generalization of Backdoor Trees with Application to SAT. - Alexander A. Semenov; Daniil Chivilikhin; Stepan Kochemazov; Ibragim Dzhiblavi (AAAI, 2023)

Decomposing Hard SAT Instances with Metaheuristic Optimization. - Daniil Chivilikhin; Artem Pavlenko; Alexander A. Semenov (CoRR, 2023)