Daniil Chivilikhin

Photo

Daniil Chivilikhin, PhD

mailto: chivdan [at] itmo [dot] ru
Associate Professor, Research Associate, Deputy Head of "Discrete optimization and Formal Methods" group @ Computer Technologies Laboratory, ITMO University.
Research field: SAT solvers, Synthesis, Verification, Evolutionary Algorithms
Google Scholar
DBLP
ACM
Scopus
ResearcherID
ResearchGate
RSCI


Publications

2022

  1. [Semenov A., Pavlenko A., Chivilikhin D., Kochemazov S. On Probabilistic Generalization of Backdoors in Boolean Satisfiability / Accepted to 36th AAAI Conference on Artificial Intelligence, 2022]

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]

Journal papers (Russian)

  1. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // АиТ, № 3, с.137-151, 2016 [mathnet.ru] [bib]
  2. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6(94), с.98-105 [pdf] [ntv.ifmo.ru]
  3. Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих конечных автоматов по обучающим примерам на основе муравьиного алгоритма // Известия РАН. Теория и системы управления. 2014. № 2, с.111-121 [pdf]
  4. Чивилихин Д.С., Ульянцев В.И. Метод построения управляющих автоматов на основе муравьиных алгоритмов // Научно-технический вестник информационных технологий, механики и оптики. 2012. №6(82), с. 72-76. [pdf] [ntv.ifmo.ru]
  5. Голубок А.О., Пинаев А.Л., Чивилихин Д.С., Чивилихин С.А. Динамическая силовая литография на тонких металлических пленках в сканирующем зондовом микроскопе с пьезорезонансным датчиком локального взаимодействия // Научное приборостроение. 2011. №1(21). с. 31-43. [pdf]
  6. Чивилихин Д.С., Чивилихин С.А, Попов И.Ю., Гусаров В.В. Диффузионно-контролируемый рост системы наносвитков // Известия высших учебных заведений. Физика. 2010. № 3-2. С. 201-204. [pdf]
  7. Чивилихин С.А., Попов И.Ю., Свитенков А.И., Чивилихин Д.С., Гусаров В.В. Формирование и эволюция ансамблей наносвитков на основе соединений со слоистой структурой // Доклады Академии наук. 2009. Т. 429. № 2. c. 185-186. [pdf]

Conference proceedings (Russian)

  1. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.. Применение метода нарушения симметрии в алгоритмах построения управляющих конечных автоматов / Сборник тезисов докладов VI Всероссийской научно-практической конференции "Нечеткие системы и мягкие вычисления-2014" (НСМВ-2014), 2014 [slides]
  2. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.. Применение метода нарушение симметрии в алгоритмах построения управляющих конечных автоматов / Список-2014: Материалы всероссийской научной конференции по проблемам информатики. 23-25 апреля 2014 г. Санкт-Петербург. ВВМ, 2014, с.407-410. [pdf] [slides]
  3. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.. Муравьиный алгоритм для построения автоматных программ по спецификации / XII Всероссийское совещание по проблемам управления ВСПУ-2014. Москва, 16-19 июня 2014 г.: труды. [Электронный ресурс] М.: Институт проблем управления им. В.А. Трапезникова РАН, 2014. с. 4531-4542. [pdf]
  4. Чивилихин Д.С, Ульянцев В.И. Метод построения конечных автоматов на основе муравьиного алгоритма / Сборник тезисов докладов конгресса молодых ученых, Выпуск 1. СПб: НИУ ИТМО. 2013. с. 235-236. [pdf] [presentation]
  5. Чивилихин Д.С. Эволюционные стратегии с адаптивным управляющим параметром на основе свойств ландшафта функции приспособленности / Сборник тезисов докладов конгресса молодых ученых, Выпуск 1. СПб: НИУ ИТМО. 2013. с. 233-234. [pdf]
  6. Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиного алгоритма / Всероссийская научная конференция по проблемам информатики (СПИСОК-2013). СПб.: ВВМ. СПбГУ. 2013, с. 517–524. [pdf] [presentation]
  7. Чивилихин Д.С. Эволюционные стратегии с адаптивным параметром на основе свойств ландшафта функции приспособленности / Всероссийская научная конференция по проблемам информатики (СПИСОК-2013). СПб.: ВВМ. СПбГУ. 2013, с. 525–531. [pdf]
  8. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Метод построения конечных автоматов на основе муравьиного алгоритма / Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник тезисов докладов VII-й Международной научно-технической конференции (Коломна, 20-22 мая 2013 г.). В 3-х томах. Т.2. - М.: Физматлит, 2013. с. 931-942 [pdf] [presentation]
  9. Чивилихин Д.С., Ульянцев В.И. Применение муравьиных алгоритмов для построения конечных автоматов / Сборник тезисов докладов конгресса молодых ученых, Выпуск 1. Труды молодых ученых. СПб: НИУ ИТМО. 2012. с. 227-228. [pdf]
  10. Чивилихин Д.С., Ульянцев В.И, Применение муравьиных алгоритмов для построения конечных автоматов / Всероссийская научная конференция по проблемам информатики (СПИСОК-2012). СПб.: ВВМ. СПбГУ. 2012, с. 409-410. [pdf]
  11. Чивилихин Д.С., Ульянцев В.И. Применение муравьиных алгоритмов для построения конечных автоматов / Труды XIX Всероссийской научно-методической конференции Телематика'2012. Том 1. СПб: Университетские телекоммуникации, 2012. с. 145. [pdf] [tm.ifmo.ru]
  12. Чивилихин Д.C. Моделирование парного диффузионного взаимодействия наносвитков / Сборник тезисов докладов конференции молодых ученых, Выпуск 2. - СПб: СПбГУ ИТМО, 2011. с. 219-220. [pdf]
  13. Пинаев А.Л., Чивилихин Д.С. Численное моделирование режима динамической силовой литографии в сканирующем зондовом микроскопе / Сборник тезисов докладов конференции молодых ученых, Выпуск 2. - СПб: СПбГУ ИТМО, 2011. с. 359-360 [pdf]
  14. Альмяшев В.И., Альфимов А.В., Арысланова Е.М., Вавулин Д.Н., Кириллова С.А., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А, Гусаров В.В. Теоретическое и экспериментальное исследование физико-химических процессов формирования, трансформации и транспорта наноструктур // Труды НИЦ фотоники и оптоинформатики: Сборник статей, СПбГУ ИТМО, Санкт-Петербург, 2011. с. 140-167.
  15. S.A. Chivilikhin, E.N. Korytkova, T.P. Maslennikova, I.Yu. Popov, D.S. Chivilikhin, V.V. Gusarov. Diffusion controlled evolution of nanorolls ensemble / Proceedings of the XXXVII Summer School – Conference "Advanced problems in mechanics" (APM'2009). 2009. pp. 152-156. [pdf]
  16. Чивилихин Д.С. Эволюция формы нанотрубки во время ее диффузионного роста / Сборник тезисов докладов участников второго международного конкурса работ молодых ученых в области нанотехнологий. 2009. с. 249-250.
  17. Чивилихин С.А., Попов И.Ю., Чивилихин Д.С., Гусаров В.В. Диффузионно-контролируемый рост системы наносвитков / II Всероссийская конференция "Многомасштабное моделирование процессов и структур в нанотехнологиях". Сборник тезисов докладов. М.: МИФИ, 2009. с. 456 [pdf]

Theses