| 2023 | AAAI | Probabilistic Generalization of Backdoor Trees with Application to SAT. | Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi |
| 2022 | AAAI | On Probabilistic Generalization of Backdoors in Boolean Satisfiability. | Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov |
| 2022 | CEC | Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability. | Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov |
| 2021 | CEC | Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking. | Daniil Chivilikhin |
| 2021 | CP | Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. | Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev |
| 2019 | INDIN | Towards automatic state machine reconstruction from legacy PLC using data collection. | Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin |
| 2018 | ETFA | 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 |
| 2018 | INDIN | Active Learning of Formal Plant Models For Cyber-Physical Systems. | Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto |
| 2017 | ETFA | Closed-loop verification of a compensating group drive model using synthesized formal plant model. | Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto |
| 2017 | INDIN | Plant trace generation for formal plant model inference: Methods and case study. | Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto |
| 2017 | INDIN | CSP-based inference of function block finite-state models from execution traces. | Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin |
| 2016 | GECCO | Experimental Study of Automated Parameter Tuning on the Example of irace and the Traveling Salesman Problem. | Daniil Chivilikhin |
| 2016 | GECCO | Small-Moves Based Mutation For Pick-Up And Delivery Problem. | Viacheslav Shalamov, Andrey Filchenkov, Daniil Chivilikhin |
| 2016 | INDIN | Reconstruction of function block controllers based on test scenarios and verification. | Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin |
| 2015 | GECCO | Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. | Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto |
| 2015 | INDIN | Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. | Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin |
| 2015 | TrustCom | Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. | Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin |
| 2014 | GECCO | Improving the quality of supervised finite-state machine construction using real-valued variables. | Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev |
| 2014 | GECCO | Inferring automata-based programs from specification with mutation-based ant colony optimization. | Daniil Chivilikhin, Vladimir Ulyantsev |
| 2014 | ICMLA | Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. | Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto |
| 2013 | GECCO | MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines. | Daniil Chivilikhin, Vladimir Ulyantsev |
| 2013 | ICMLA | Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions. | Daniil Chivilikhin, Vladimir Ulyantsev |
| 2012 | GECCO | Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization. | Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev |