Daniil S. Chivilikhin

According to our database, Daniil S. Chivilikhin authored at least 35 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Decomposing Hard SAT Instances with Metaheuristic Optimization.

Daniil Chivilikhin, Artem Pavlenko, Alexander A. Semenov

CoRR, 2023

Probabilistic Generalization of Backdoor Trees with Application to SAT.

Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

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

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver.

Konstantin Chukharev, Daniil Chivilikhin

IEEE Access, 2022

Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability.

Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

On Probabilistic Generalization of Backdoors in Boolean Satisfiability.

Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

BeBoSy: Behavior Examples Meet Bounded Synthesis.

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access, 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

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

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

Daniil Chivilikhin

Proceedings of the IEEE Congress on Evolutionary Computation, 2021

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

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers.

Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin

IEEE Access, 2020

2019

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

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE Trans. Ind. Informatics, 2019

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

Konstantin Chukharev, Daniil Chivilikhin

CoRR, 2019

Towards automatic state machine reconstruction from legacy PLC using data collection.

Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

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

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

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

Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Reconstruction of Function Block Logic Using Metaheuristic Algorithm.

Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin

IEEE Trans. Ind. Informatics, 2017

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

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

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

Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

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

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

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

Reconstruction of function block controllers based on test scenarios and verification.

Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

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

Viacheslav Shalamov, Andrey Filchenkov, Daniil Chivilikhin

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

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

Daniil Chivilikhin

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015

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

Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Reconstruction of function block logic using metaheuristic algorithm: Initial explorations.

Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

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

Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014

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

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

Proceedings of the 13th International Conference on Machine Learning and Applications, 2014

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

Daniil Chivilikhin, Vladimir Ulyantsev

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

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

Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

2013

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

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

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

Daniil Chivilikhin, Vladimir Ulyantsev

Proceedings of the 12th International Conference on Machine Learning and Applications, 2013

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

Daniil Chivilikhin, Vladimir Ulyantsev

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

2012

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

Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Learning Finite-State Machines with Ant Colony Optimization.

Daniil Chivilikhin, Vladimir Ulyantsev

Proceedings of the Swarm Intelligence - 8th International Conference, 2012