Daniil Chivilikhin

发表

Small-Moves Based Mutation For Pick-Up And Delivery Problem

Viacheslav Shalamov, Andrey Filchenkov, Daniil Chivilikhin, 2016, GECCO.

Closed-loop verification of a compensating group drive model using synthesized formal plant model

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

CSP-based inference of function block finite-state models from execution traces

Valeriy Vyatkin, Daniil Chivilikhin, Vladimir Ulyantsev, 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).

Experimental Study of Automated Parameter Tuning on the Example of irace and the Traveling Salesman Problem

Daniil Chivilikhin, 2016, GECCO.

Learning Finite-State Machines with Ant Colony Optimization

Daniil Chivilikhin, Vladimir Ulyantsev, V. Ulyantsev, 2012, ANTS.

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

Valeriy Vyatkin, Daniil Chivilikhin, Konstantin Chukharev, 2020, IEEE Access.

Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming

Daniil Chivilikhin, Anatoly Shalyto, Ilya Ivanov, 2015, GECCO.

Inferring automata-based programs from specification with mutation-based ant colony optimization

Daniil Chivilikhin, Vladimir Ulyantsev, 2014, GECCO.

Plant trace generation for formal plant model inference: Methods and case study

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).

Inducing finite state machines from training samples using ant colony optimization

Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, 2014 .

Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization

Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev, 2012, GECCO '12.

Improving the quality of supervised finite-state machine construction using real-valued variables

Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, 2014, GECCO.

Active Learning of Formal Plant Models For Cyber-Physical Systems

Valeriy Vyatkin, Daniil Chivilikhin, Vladimir Ulyantsev, 2018, 2018 IEEE 16th International Conference on Industrial Informatics (INDIN).

Reconstruction of function block controllers based on test scenarios and verification

Valeriy Vyatkin, Daniil Chivilikhin, Anatoly Shalyto, 2016, 2016 IEEE 14th International Conference on Industrial Informatics (INDIN).

Towards automatic state machine reconstruction from legacy PLC using data collection

Valeriy Vyatkin, Daniil Chivilikhin, Sandeep Patil, 2019, 2019 IEEE 17th International Conference on Industrial Informatics (INDIN).

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver

Valeriy Vyatkin, Daniil Chivilikhin, Sandeep Patil, 2020, IEEE Transactions on Industrial Informatics.

Function Block Finite-State Model Identification Using SAT and CSP Solvers

Valeriy Vyatkin, Daniil Chivilikhin, Vladimir Ulyantsev, 2019, IEEE Transactions on Industrial Informatics.

Reconstruction of function block logic using metaheuristic algorithm: Initial explorations

Valeriy Vyatkin, Daniil Chivilikhin, Sandeep Patil, 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions

Daniil Chivilikhin, Vladimir Ulyantsev, 2013, 2013 12th International Conference on Machine Learning and Applications.

MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines

Daniil Chivilikhin, Vladimir Ulyantsev, V. Ulyantsev, 2013, GECCO '13.

Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, 2013, MIM.

Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks

Valeriy Vyatkin, Daniil Chivilikhin, Anatoly Shalyto, 2015, 2015 IEEE Trustcom/BigDataSE/ISPA.

Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, 2014, 2014 13th International Conference on Machine Learning and Applications.

Reconstruction of Function Block Logic Using Metaheuristic Algorithm

Valeriy Vyatkin, Daniil Chivilikhin, Sandeep Patil, 2017, IEEE Transactions on Industrial Informatics.

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks pdf

Daniil Chivilikhin, Konstantin Chukharev, 2019, ArXiv.

Counterexample-guided inference of controller logic from execution traces and temporal formulas

Valeriy Vyatkin, Daniil Chivilikhin, Igor Buzhinsky, 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

BeBoSy: Behavior Examples Meet Bounded Synthesis

Daniil Chivilikhin, Vladimir Ulyantsev, Ilya Zakirzyanov, 2021, IEEE Access.

Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking

Daniil Chivilikhin, 2021, 2021 IEEE Congress on Evolutionary Computation (CEC).

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms

Daniil Chivilikhin, Alexander A. Semenov, Vladimir Ulyantsev, 2021, CP.

Learning Finite-State Machines with Classical and Mutation-Based Ant Colony Optimization: Experimental Evaluation

Daniil Chivilikhin, Vladimir Ulyantsev, 2013, 2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence.