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

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