Бужинский Игорь Петрович Сотрудник международной лаборатории «Компьютерные технологии» Персоналия университета ИТМО Перейти к содержимому страницы.
  2. Университет
  3. Персоналии (А-Я)
  4. Бужинский Игорь Петрович

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

Бужинский Игорь Петрович - программист факультета информационных технологий и программирования, сотрудник Международной лаборатории «Компьютерные технологии».

Образование

В 2015 году получил степень магистра прикладной математики и информатики (Университет ИТМО) и степень master of science (Университет Ювяскюля, Финляндия). С 2015 г. – аспирант Университета ИТМО и Университета Аалто (Финляндия).

Трудовой путь

Начал работать в сфере научной деятельности в 2012 г. на кафедре компьютерных технологий Университета ИТМО. В 2013 году занял должность программиста на той же кафедре.

С 2015 года И.П. Бужинский занимает должность программиста на кафедре информационных систем.

Участник пяти международных конференций.

Опыт проектной деятельности:

«Разработка методов генерации моделей функциональных блоков». Поддержано РФФИ, проект 16-37-00205 мол_а, 2016–2017.

Сферами интересов И.П. Бужинского являются:

  • Формальная верификация;
  • Синтез программ;
  • Конечные автоматы; 
  • Эволюционные вычисления.

Публикации

Buzhinsky I., Nerinovsky A., Tripakis S.

Metrics and methods for robustness evaluation of neural networks with generative models//Machine Learning, 2023, Vol. 112, No. 10, pp. 3977-4012 Подробнее

Buzhinskii I.P., Shalyto A.A.

Towards Neural Routing with Verified Bounds on Performance [На пути к нейросетевой маршрутизации с верифицированными границами эффективности]//Моделирование и анализ информационных систем, 2022, Vol. 29, No. 3, pp. 228-245 Подробнее

Nerinovsky A., Buzhinsky I., Filchenkov A.

Realistic text replacement with non-uniform style conditioning//IEEE Access, 2021, Vol. 9, pp. 92706-92714 Подробнее

Pakonen A., Buzhinsky I., Bjorkman K.

Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems//Reliability Engineering and System Safety, 2021, Vol. 205, pp. 107237 Подробнее

Ovsiannikova P., Buzhinsky I., Pakonen A., Vyatkin V.

Oeritte: User-Friendly Counterexample Explanation for Model Checking//IEEE Access, 2021, Vol. 9, pp. 61383-61397 Подробнее

Buzhinsky I., Pakonen A.

Symmetry breaking in model checking of fault-tolerant nuclear instrumentation and control systems//IEEE Access, 2020, Vol. 8, pp. 197684-197694 Подробнее

Buzhinsky I., Pakonen A.

Timed model checking of fault-tolerant nuclear I&C systems//Proceeding - 18th IEEE International Conference on Industrial Informatics, INDIN 2020, 2020, pp. 159-164 Подробнее

Ovsiannikova P., Buzhinsky I., Pakonen A., Vyatkin V.

Visual counterexample explanation for model checking with OERITTE//25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, 2020, pp. 9376184 Подробнее

Buzhinsky 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 Подробнее

Buzhinsky I., Pakonen A.

Model-checking detailed fault-tolerant nuclear power plant safety functions//IEEE Access, 2019, Vol. 7, pp. 162139-162156 Подробнее

Pakonen A., Buzhinsky I.

Verification of fault tolerant safety I&C systems using model checking//IEEE International Conference on Industrial Technology, ICIT 2019, 2019, pp. 969-974 Подробнее

Ulyantsev V.I., Buzhinsky I., Shalyto A.A.

Exact finite-state machine identification from scenarios and temporal properties//International Journal on Software Tools for Technology Transfer, 2018, Vol. 20, No. 1, pp. 35-55 Подробнее

Buzhinsky 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 Подробнее

Pakonen 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 Подробнее

Chivilikhin 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 Подробнее

Buzhinsky I., Vyatkin V.

Automatic Inference of Finite-State Plant Models from Traces and Temporal Properties//IEEE Transactions on Industrial Informatics, 2017, Vol. 13, No. 4, pp. 1521-1530 Подробнее

Buzhinsky I., Vyatkin V.

Testing Automation Systems by Means of Model Checking//22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017), 2017, pp. 1-7 Подробнее

Buzhinsky I., Vyatkin V.

Modular Plant Model Synthesis from Behavior Traces and Temporal Properties//22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017), 2017, pp. 1-7 Подробнее

Buzhinsky I., Pakonen A., Vyatkin V.

Scalable methods of discrete plant model generation for closed-loop model checking//43rd Annual Conference of the IEEE-Industrial-Electronics-Society, IECON 2017, 2017, pp. 5483-5488 Подробнее

Buzhinsky I., Pakonen A., Vyatkin V.

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison//43rd Annual Conference of the IEEE-Industrial-Electronics-Society, IECON 2017, 2017, pp. 5439-5446 Подробнее

Buzhinsky 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 Подробнее

Pakonen A., Pang C., Buzhinsky I., Vyatkin V.

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking//IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, 2016, pp. 7733717 Подробнее

Pang 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 Подробнее

Zadorozhnaya 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 Подробнее

Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А.

Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления -2015. - № 6. - С. 17-30 Подробнее

Buzhinsky 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 Подробнее

Buzhinsky 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 Подробнее

Buzhinskii 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 Подробнее

Buzhinsky 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 Подробнее

Buzhinsky 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 Подробнее

Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А.

Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления -2014. - № 2. - С. 111-121 Подробнее

Бужинский И.П.

Построение автоматов с непрерывными выходными воздействиями по обучающим примерам // Научные работы участников конкурса "Молодые ученые НИУ ИТМО" 2012 года -2013. - С. 26-31

Бужинский И.П.

Построение автоматов управления объектами со сложным поведением по тестам с учетом непрерывных воздействий//Сборник тезисов докладов конгресса молодых ученых - 2013. - Вып. 1. - С. 147-149

Бужинский И.П., Ульянцев В.И.

Построение автоматов управления объектами со сложным поведением по тестам с учетом непрерывных воздействий//СПИСОК-2013: Материалы всероссийской научной конференции по проблемам информатики - 2013. - С. 511-516

Buzhinsky 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 Подробнее

Buzhinsky 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 Подробнее

Бужинский И.П., Ульянцев В.И.

Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Международная конференция по мягким вычислениям и измерениям -2012. - Т. 1. - С. 250-253

Ульянцев В.И., Шалыто А.А., Бужинский И.П.

Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012 -2012. - Т. 1. - С. 15-20