en

Международная лаборатория «Компьютерные технологии»

  1. Главная
  2. Сотрудники

Сотрудник подразделения

Игорь Петрович Бужинский

Публикации

  1. 19Buzhinsky I. Formalization of natural language requirements into temporal logics: a survey // Proceesings of the 17th IEEE International Conference on Industrial Informatics (INDIN) - 2019, pp. 400-406
    подробнее >>
  2. 18Buzhinsky I., Pakonen A., Vyatkin V. Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes // IEEE International Symposium on Industrial Electronics - 2018, pp. 669-674
    подробнее >>
  3. 17Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V. Counterexample-guided inference of controller logic from execution traces and temporal formulas // Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation (EFTA) - 2018, pp. 91-98
    подробнее >>
  4. 16Pakonen A., Buzhinsky I., Vyatkin V. Counterexample visualization and explanation for function block diagrams // Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018 - 2018, pp. 747-753
    подробнее >>
  5. 15Buzhinsky I., Vyatkin V. Plant Model Inference for Closed-Loop Verification of Control Systems: Initial Explorations // Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016) - 2016, pp. 736-739
    подробнее >>
  6. 14Pang C., Pakonen A., Buzhinsky I., Vyatkin V. A Study on User-Friendly Formal Specification Languages for Requirements Formalization // Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016) - 2016, pp. 676-682
    подробнее >>
  7. 13Buzhinskii I.P., Kazakov S.V., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Modification of the method of generation of control finite-state machines with continuous actions based on training examples // Journal of Computer and Systems Sciences International - 2015, Vol. 54, No. 6, pp. 853-865 [IF: 0.484, SJR: 0.333]
    подробнее >>
  8. 12Buzhinsky I., Pang C., Vyatkin V. Formal Modeling of Testing Software for Cyber-Physical Automation Systems // 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings - 2015, Vol. 3, pp. 301-306
    подробнее >>
  9. 11Buzhinsky I.P., Ulyantsev V.I., Veijalainen J., Viatkin V.V. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1213-1218
    подробнее >>
  10. 10Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F.J., Ribo J., Bori J., Riva M.C., Legin A. Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria // Sensors and Actuators B: Chemical - 2015, Vol. 207, No. Part B, pp. 1069-1075 [IF: 5.401]
    подробнее >>
  11. 9Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления - 2015. - № 6. - С. 17-30 [IF: 0.535]
    подробнее >>
  12. 8Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F. Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 1037-1040 [SJR: 0.158]
    подробнее >>
  13. 7Buzhinsky I.P., Ulyantsev V.I., Chivilikhin D.S., Shalyto A.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 [IF: 0.484, SJR: 0.333]
    подробнее >>
  14. 6Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121 [IF: 0.535]
    подробнее >>
  15. 5Buzhinsky I.P., Ulyantsev V.I., Shalyto A.A. Test-based induction of finite-state machines with continuous output actions // IFAC Proceedings Volumes (IFAC-PapersOnline) - 2013, Vol. 9, No. 1, pp. 1049-1054
    подробнее >>
  16. 4Buzhinsky I.P., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Search-based construction of finite-state machines with real-valued actions: New representation model // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 199-200
    подробнее >>
  17. 3Бужинский И.П. Построение автоматов с непрерывными выходными воздействиями по обучающим примерам // Научные работы участников конкурса "Молодые ученые НИУ ИТМО" 2012 года - 2013. - С. 26-31
  18. 2Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Международная конференция по мягким вычислениям и измерениям - 2012. - Т. 1. - С. 250-253
  19. 1Ульянцев В.И., Шалыто А.А., Бужинский И.П. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012 - 2012. - Т. 1. - С. 15-20