Daniil Chivilikhin

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 23

Top Topics

Boolean Satisfiability

Top Venues

GECCO (Companion)

IEEE Trans. Ind. Informatics

Publications

Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi
Probabilistic Generalization of Backdoor Trees with Application to SAT. AAAI (2023)
Daniil Chivilikhin, Artem Pavlenko, Alexander A. Semenov
Decomposing Hard SAT Instances with Metaheuristic Optimization. CoRR (2023)
Alexander A. Semenov, Konstantin Chukharev, Egor Tarasov, Daniil Chivilikhin, Viktor Kondratiev
Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits. CoRR (2022)
Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov
On Probabilistic Generalization of Backdoors in Boolean Satisfiability. AAAI (2022)
Konstantin Chukharev, Daniil Chivilikhin
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver. IEEE Access 10 (2022)
Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov
Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability. CEC (2022)
Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
BeBoSy: Behavior Examples Meet Bounded Synthesis. IEEE Access 9 (2021)
Daniil Chivilikhin
Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking. CEC (2021)
Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. CP (2021)
Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Ind. Informatics 16 (12) (2020)
Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access 8 (2020)
Konstantin Chukharev, Daniil Chivilikhin
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks. CoRR (2019)
Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin
Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN (2019)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Trans. Ind. Informatics 15 (8) (2019)
Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA (2018)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN (2018)
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
Plant trace generation for formal plant model inference: Methods and case study. INDIN (2017)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Closed-loop verification of a compensating group drive model using synthesized formal plant model. ETFA (2017)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
CSP-based inference of function block finite-state models from execution traces. INDIN (2017)
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics 13 (4) (2017)
Daniil Chivilikhin
Experimental Study of Automated Parameter Tuning on the Example of irace and the Traveling Salesman Problem. GECCO (Companion) (2016)
Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin
Reconstruction of function block controllers based on test scenarios and verification. INDIN (2016)
Viacheslav Shalamov, Andrey Filchenkov, Daniil Chivilikhin
Small-Moves Based Mutation For Pick-Up And Delivery Problem. GECCO (Companion) (2016)
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN (2015)
Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. GECCO (Companion) (2015)
Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. TrustCom/BigDataSE/ISPA (3) (2015)
Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev
Improving the quality of supervised finite-state machine construction using real-valued variables. GECCO (Companion) (2014)
Daniil Chivilikhin, Vladimir Ulyantsev
Inferring automata-based programs from specification with mutation-based ant colony optimization. GECCO (Companion) (2014)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. ICMLA (2014)
Daniil Chivilikhin, Vladimir Ulyantsev
MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines. GECCO (2013)
Daniil Chivilikhin, Vladimir Ulyantsev
Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions. ICMLA (2) (2013)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization. MIM (2013)
Daniil Chivilikhin, Vladimir Ulyantsev
Learning Finite-State Machines with Ant Colony Optimization. ANTS (2012)
Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev
Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization. GECCO (Companion) (2012)