Photo

Daniil Chivilikhin, PhD

mailto: chivdan [at] gmail [dot] com
Currently, I am a Senior Software Engineer @ Siemens Digital Industries Software, Leuven, Belgium.
Previously, I was an Assistant Professor and Senior Research Associate @ Computer Technologies Laboratory, ITMO University.
Interested in SAT/CSP solvers, Synthesis, Verification, Evolutionary Algorithms, Finite Automata
Google Scholar
DBLP
ACM
Scopus
ResearcherID
ResearchGate


Publications

2023

  1. Semenov A., Chivilikhin D., Kochemazov S., Dzhiblavi I. Probabilistic Generalization of Backdoor Trees with Application to SAT / 37th AAAI Conference on Artificial Intelligence, pp. 4095-4103, Vol. 37, No. 4 2023 [aaai.org] [pdf]
  2. Chivilikhin D., Pavlenko A., Semenov A. Decomposing Hard SAT Instances with Metaheuristic Optimization // International Journal of Artificial Intelligence, Vol. 21(2), pp. 61-92, 2023 [arXiv.org] [ceser.in]

2022

  1. Semenov A., Pavlenko A., Chivilikhin D., Kochemazov S. On Probabilistic Generalization of Backdoors in Boolean Satisfiability / 36th AAAI Conference on Artificial Intelligence, Vol. 36, No. 9, pp. 10353-10361, 2022 [aaai.org] [pdf]
  2. Pavlenko A., Chivilikhin D., Semenov A. Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability / 2022 IEEE World Congress on Computational Intelligence [ieeexplore.ieee.org]
  3. Semenov A., Chukharev K., Tarasov E., Chivilikhin D., Kondratiev V. Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits / CoRR abs/2210.01484, 2022. [arXiv.org]
  4. Chukharev K., Chivilikhin D. fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver // IEEE Access, Vol. 10, pp. 131592-131610, 2022 [ieeexplore.ieee.org]

2021

  1. Semenov A., Chivilikhin D., Pavlenko A., Otpuschennikov I., Ulyantsev V., Ignatiev A. Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms / Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021 [pdf]
  2. Chivilikhin D. Temporal specification mining for IEC 61499 function blocks using evolutionary algorithms and model checking / Proceedings of IEEE Congress on Evolutionary computation, pp. 2419-2426, 2021 [ieeexplore.ieee.org]
  3. Chivilikhin D., Zakirzyanov I., Ulyansev V. BeBoSy: Behavior Examples meet Bounded Synthesis // IEEE Access, Vol. 9, pp. 27540-27551, 2021 [ieeexplore.ieee.org]

2020

  1. Chukharev K., Suvorov D., Chivilikhin D., Vyatkin V. SAT-based Counterexample-Guided Inductive Synthesis of Distributed Controllers // IEEE Access, Vol. 8, pp. 207485-207498, 2020 [ieeexplore.ieee.org] [bib]
  2. Chivilikhin D., Samarin A., Ulyantsev V., Iorsh I., Oganov A.R., and Kyriienko O. MoG-VQE: Multiobjective genetic variational quantum eigensolver / Preprint, 2020 [arXiv:2007.04424]
  3. Chivilikhin D., Patil S., Chukharev K., Cordonnier A., Vyatkin V. Automatic state machine reconstruction from legacy PLC using data collection and SAT solver / IEEE Transactions on Industrial Informatics, Vol. 16(12), pp. 7821-7831, 2020 [preprint] [ieeexplore.ieee.org] [bib]

2019

  1. Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V. Function block finite-state model identification using SAT and CSP solvers / IEEE Transactions on Industrial Informatics, Vol. 15 (8), pp. 4558-4568, 2019 [preprint] [ieeexplore.ieee.org] [bib]
  2. Chivilikhin D., Patil S., Cordonnier A., Vyatkin V. Towards automatic state machine reconstruction from legacy PLC using data collection / IEEE International Conference on Industrial Informatics, 2019 [ieeexplore.ieee.org] [slides]
  3. Chukharev K., Chivilikhin D. fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver / Preprint, 2019 [arXiv:1907.03285]

2018

  1. Ovsiannikova P., Chivilikhin D., Ulyantsev V., Stankevich A., Zakirzyanov I., Vyatkin V., Shalyto A. Active learning of formal plant models for cyber-physical systems / In Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018, pp. 719-724 [ieeexplore.ieee.org] [bib] [pdf]
  2. Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V. Counterexample-guided inference of controller logic from execution traces and temporal formulas / In Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018, pp. 91-98 [ieeexplore.ieee.org] [slides] [pdf]

2017

  1. Chivilikhin D., Shalyto A., Patil S., Vyatkin V. Reconstruction of Function Block Logic using Metaheuristic Algorithm / IEEE Transactions on Industrial Informatics, Vol. 13, no. 4, pp. 1763-1771, 2017 [pdf] [ieeexplore.ieee.org] [bib]
  2. Chivilikhin D., Ulyantsev V., Shalyto A. and Vyatkin V. CSP-based inference of function block finite-state models from execution traces / In Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017, pp. 714-719 [pdf] [ieeexplore.ieee.org] [slides] [bib]
  3. Avdyukhin D., Chivilikhin D., Korneev G., Ulyantsev V. and Shalyto A. Plant trace generation for formal plant model inference: methods and case study / In Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017, pp. 746-752 [pdf] [ieeexplore.ieee.org] [slides] [bib]
  4. Ovsiannikova P., Chivilikhin D., Ulyantsev V. and Shalyto A. Closed-loop verification of a compensating group drive model using synthesized formal plant model / Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017 [pdf] [ieeexplore.ieee.org] [bib]

2016

  1. Chivilikhin D., Ivanov I., Shalyto A., Vyatkin V. Reconstruction of Function Block Controllers Based on Test Scenarios and Verification / Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016, pp. 646-651. [pdf] [slides] [ieeexplore.ieee.org] [bib]
  2. Chivilikhin D. Experimental Study of Automated Offline Parameter Tuning on the Example of irace and the Traveling Salesman Problem / Proceedings of the 18th Genetic and Evolutionary Computation Conference companion, 2016, pp. 45-46. [pdf] [dl.acm.org] [poster] [bib]
  3. Shalamov V., Filchenkov A., Chivilikhin D. Small-Moves Based Mutation For Pick-Up And Delivery Problem / Proceedings of the 18th Genetic and Evolutionary Computation Conference companion, 2016, pp. 1027-1030. [pdf] [dl.acm.org] [bib]
  4. Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas // Automation and Remote Control, Vol. 77, No. 3, 2016, P.473-484 [link.springer.com] [bib]

2015

  1. Chivilikhin D., Shalyto A., Vyatkin V. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks / In Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'15), 2015, pp. 307-312 [pdf] [bib] [slides] [pptx] [ieeexplore.ieee.org]
  2. Chivilikhin D., Shalyto A., Patil S., Vyatkin V. Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations / In Proceedings of the 13th IEEE International Conference on Industrial Informatics (INDIN'15), 2015, pp. 1239-1242 [pdf] [bib] [slides] [pptx] [ieeexplore.ieee.org]
  3. Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming / In Proceedings of 17th Genetic and Evolutionary Computation Conference companion (GECCO'15 companion), 2015, pp. 1185-1188 [pdf] [bib] [slides] [pptx] [dl.acm.org]

2014

  1. Chivilikhin D., Ulyantsev V. Inferring Automata-Based Programs from Specification With Mutation-Based Ant Colony Optimization / In Proceedings of the 16th Genetic and Evolutionary Computation Conference companion (GECCO'14), ACM, 2014, pp. 67-68 [pdf] [bib] [supplementary] [poster] [dl.acm.org]
  2. Chivilikhin D., Ulyantsev V., Shalyto A. Extended Finite-State Machine Inference With Parallel Ant Colony Based Algorithms / In Proceedings of the International Student Workshop on Bioinspired Optimization Methods and their Applications (BIOMA'14), 2014, pp. 117-126 [pdf] [bib] [slides] [pptx]
  3. Chivilikhin D., Ulyantsev V., Shalyto A. Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties / In Proceedings of the 13th International Conference on Machine Learning and Applications (ICMLA'14), 2014, pp. 350-355 [pdf] [bib] [pptx] [ieeexplore.ieee.org]
  4. Buzhinsky I.P., Ulyantsev V.I., Chivilikhin D.S., and Shalyto A. Inducing Finite State Machines from Training Samples Using Ant Colony Optimization // Journal of Computer and Systems Sciences International, 2014, Vol. 53, No. 2, pp. 256-266 [pdf] [bib] [link.springer.com]
  5. Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F.. Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables / In Proceedings of the 16th Genetic and Evolutionary Computation Conference companion (GECCO'14), ACM, New York, NY, USA, 2014, pp. 1037-1040 [pdf] [bib] [slides] [poster] [dl.acm.org]

2013

  1. Chivilikhin D., Ulyantsev V. Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions / In Proceedings of the 12th International Conference on Machine Learning and Applications (ICMLA'13), Miami, Florida, USA, 2013, vol. 2, pp. 90-95. [pdf] [bib] [slides] [ppt] [ieeexplore.ieee.org]
  2. Chivilikhin D., Ulyantsev V. MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines / In Proceedings of the 15th Genetic and Evolutionary Computation Conference (GECCO'13), Christian Blum (Ed.). ACM, New York, NY, USA, 2013, pp. 511-518 [pdf] [bib] [presentation] [dl.acm.org]
  3. Chivilikhin D., Ulyantsev V., Shalyto A. Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization / In Proceedings of the 2013 IFAC Conference on Manufacturing Modelling, Management and Control (MIM'13). Saint-Petersburg, Russia, 2013. Vol. 7, part 1, pp. 1043-1048 [pdf] [bib] [poster] [IFAC-PapersOnLine.net]
  4. Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Classical and Mutation-Based Ant Colony Optimization: Experimental Evaluation / In Proceedings of the 1st BRICS countries Congress on Computational Intelligence (BRICS-CCI'13), 2013, pp. 528-533 [pdf] [bib] [ieeexplore.ieee.org]

2012

  1. Chivilikhin D., Ulyantsev V., Tsarev F. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization / In Proceedings of the 14th international conference on Genetic and Evolutionary Computation companion (GECCO'12), ACM, New York, NY, USA. 2012, pp. 603–606. [pdf] [bib] [presentation] [dl.acm.org]
  2. Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Ant Colony Optimization / Lecture Notes in Computer Science, 2012, Volume 7461/2012, pp. 268-275. [pdf] [bib] [poster] [poster vsd] [link.springer.com]

Theses