Photo

Igor Buzhinsky's homepage

  

Email: igor.buzhinsky at gmail.com | Telegram: @igor_buzhinsky

At the moment my research activities are suspended indefinitely, but if you have questions about my previous works, feel free to ask.

LinkedIn | ResearchGate | Google Scholar | Scopus | ResearcherID | ORCID | GitHub


Past research topics Education Journal articles
  1. Buzhinsky I., Nerinovsky A., Tripakis S. Metrics and methods for robustness evaluation of neural networks with generative models. Machine Learning (2021): 1–36 [web] [arXiv]
  2. Nerinovsky A., Buzhinsky I., Filchenkov A. Realistic text replacement with non-uniform style conditioning. IEEE Access, 2021. DOI: 10.1109/ACCESS.2021.3071666 [pdf] [web]
  3. Ovsiannikova P., Buzhinsky I., Pakonen A., Vyatkin V. Oeritte: user-friendly counterexample explanation for model checking. IEEE Access, 2021. DOI: 10.1109/ACCESS.2021.3073459 [pdf] [web] [tool]
  4. Buzhinsky I., Pakonen A. Symmetry breaking in model checking of fault-tolerant nuclear instrumentation and control systems. IEEE Access, vol. 8, 2020, pp. 197684–197694. DOI: 10.1109/ACCESS.2020.3034799 [pdf] [web] [tool]
  5. Pakonen A., Buzhinsky I., Björkman K. Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems. Reliability Engineering & System Safety, Volume 205, January 2021, 107237 [pdf] [web]
  6. Buzhinsky I., Pakonen A. Model-checking detailed fault-tolerant nuclear power plant safety functions. IEEE Access, vol. 7, 2019, pp. 162139–162156. DOI: 10.1109/ACCESS.2019.2951938 [pdf] [web] [tool]
  7. Ulyantsev V., Buzhinsky I., Shalyto A. Exact finite-state machine identification from scenarios and temporal properties. International Journal on Software Tools for Technology Transfer, vol. 20, no. 1, pp. 35–55, 2018, Springer Berlin Heidelberg, DOI: 10.1007/s10009-016-0442-1 [web] [preprint] [arXiv] [readcube]
  8. Buzhinsky I., Vyatkin V. Automatic inference of finite-state plant models from traces and temporal properties. IEEE Transactions on Industrial Informatics, vol. 13, no. 4, pp. 1521–1530, 2017, DOI: 10.1109/TII.2017.2670146 [web] [preprint]
  9. Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto 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 [web] [paper]
  10. Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Muñoz F.J., Ribó 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, pp. 1069–1075 [web] [paper]
  11. Buzhinsky I., Ulyantsev V., Chivilikhin D., 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 [web] [paper]
Conference papers
  1. 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) [tool] [arXiv]
  2. Buzhinsky I., Pakonen A. Timed model checking of fault-tolerant nuclear I&C systems. 18th IEEE International Conference on Industrial Informatics (INDIN 2020). July 20–23, 2020, Warwick, UK, pp. 159–164. IEEE, 2020 [preprint] [slides]
  3. Buzhinsky I. Formalization of natural language requirements into temporal logics: a survey. 17th IEEE International Conference on Industrial Informatics (INDIN). July 22–25, 2019, Helsinki-Espoo, Finland, pp. 400–406. IEEE, 2019 [web] [preprint] [slides]
  4. Pakonen A., Buzhinsky I. Verification of fault tolerant safety I&C systems using model checking. 20th IEEE International Conference on Industrial Technology (ICIT), February 13–15, 2019, Melbourne, Australia, pp. 969–974. IEEE, 2019 [web] [preprint] [slides]
  5. Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V. Counterexample-guided inference of controller logic from execution traces and temporal formulas. 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). September 4–7, 2018, Turin, Italy, pp. 719–724. IEEE, 2018 [web] [preprint] [slides]
  6. Pakonen A., Buzhinsky I., Vyatkin V. Counterexample visualization and explanation for function block diagrams. 16th IEEE International Conference on Industrial Informatics (INDIN). July 18–20, 2018, Porto, Portugal, pp. 747–753. IEEE, 2018 [web] [preprint] [slides] [tool]
  7. Buzhinsky I., Pakonen A., Vyatkin V. Synthesis-aided reliability assurance of basic block models for model checking purposes. 27th IEEE International Symposium on Industrial Electronics (ISIE). June 13–15, 2018, Cairns, Australia, pp. 669–674. IEEE, 2018 [web] [preprint] [slides] [tool]
  8. 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). October 29 – November 01, Beijing, China, pp. 5483–5488. IEEE, 2017 [web] [preprint] [slides]
  9. 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). October 29 – November 01, Beijing, China, pp. 5439–5446. IEEE, 2017 [web] [preprint] [slides]
  10. Buzhinsky I., Vyatkin V. Testing automation systems by means of model checking. 22nd IEEE Conference on Emerging Technologies & Factory Automation (ETFA). September 12–15, 2017, Limassol, Cyprus. IEEE, 2017 [web] [preprint] [slides]
  11. Buzhinsky I., Vyatkin V. Modular plant model synthesis from behavior traces and temporal properties. 22nd IEEE Conference on Emerging Technologies & Factory Automation (ETFA). September 12–15, 2017, Limassol, Cyprus. IEEE, 2017 [web] [preprint] [slides]
  12. 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), Berlin, Germany, September 6–9, 2016, pp. 1–8 [web] [preprint]
  13. Buzhinsky I., Vyatkin V. Plant model inference for closed-loop verification of control systems: Initial explorations. IEEE International Conference on Industrial Informatics (INDIN 2016), Poitiers, France, July 18–21, 2016, pp. 736–739 [web] [preprint] [slides]
  14. Pang C., Pakonen A., Buzhinsky I., Vyatkin V. A study on user-friendly formal specification languages for requirements formalization. IEEE International Conference on Industrial Informatics (INDIN 2016), Poitiers, France, July 18–21, 2016, pp. 676–682 [web] [preprint] [slides]
  15. Buzhinsky I., Pang C., Vyatkin V. Formal modeling of testing software for cyber-physical automation systems. 2015 IEEE Trustcom/BigDataSE/ISPA, Helsinki, Finland, August 20–22, 2015, pp. 301–306 [web] [preprint] [slides]
  16. Buzhinsky I., Ulyantsev V., Veijalainen J., Vyatkin V. Evolutionary approach to coverage testing of IEC 61499 function block applications. IEEE International Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22–24, 2015, pp. 1213–1218 [web] [preprint] [slides]
  17. Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F. Improving the quality of supervised finite-state machine construction using real-valued variables. 16th Genetic and Evolutionary Computation Conference companion (GECCO 2014), ACM, New York, NY, US, July 12–16, 2014, pp. 1037–1040 [web] [paper] [poster]
  18. Buzhinsky I., Ulyantsev V., Tsarev F., Shalyto A. Search-based construction of finite-state machines with real-valued actions: New representation model. 15th Genetic and Evolutionary Computation Conference companion (GECCO 2013). July 6–10, 2013, Amsterdam, the Netherlands, pp. 199–200 [web] [paper] [poster]
  19. Buzhinsky I., Ulyantsev V., Shalyto A. Test-based induction of finite-state machines with continuous output actions. 7th IFAC Conference on Manufacturing Modelling, Management, and Control (MIM 2013). Saint Petersburg, Russia, June 19–21, 2013, pp. 1049–1054 [web] [preprint] [poster]
Other publications
  1. Buzhinsky I., Vyatkin V. Combining closed-loop test generation and execution by means of model checking. arXiv preprint arXiv:1907.11895, 2019 [arXiv]
  2. Buzhinskii I. Combined use of formal methods for reliability assurance of software for safety-critical systems. Doctoral thesis, Aalto University, 2019 [web] [pdf] [pdf with errata and publications 1–6] [publication 7 on arXiv] [slides]
  3. Buzhinsky I. Assessment of formal nuclear I&C logic models using behavior examples. Technical report, Aalto University, 2018. DOI: 10.13140/RG.2.2.26467.20009 [report]
  4. Buzhinsky I. Visual formalisms applied to temporal logic property patterns in the nuclear automation domain. Technical report, Aalto University, 2016. DOI: 10.13140/RG.2.2.28461.38888 [report]
Conferences
  1. IEEE International Conference on Industrial Informatics (INDIN 2020), Warwick, UK, July 20–23, 2020 (online event) [slides]
  2. IEEE International Conference on Industrial Informatics (INDIN 2019), Helsinki-Espoo, Finland, July 22–25, 2019 [slides]
  3. 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017), Beijing, China, October 29 – November 01, 2017 [slides 1] [slides 2]
  4. 22nd IEEE Conference on Emerging Technologies & Factory Automation (ETFA 2017), Limassol, Cyprus, September 12–15, 2017 [slides 1] [slides 2]
  5. 9th Eurosim Congress on Modelling and Simulation, Oulu, Finland, September 12–16, 2016 [poster]
  6. IEEE International Conference on Industrial Informatics (INDIN 2016), Futuroscope-Poitiers, France, July 18–21, 2016 [slides 1] [slides 2]
  7. IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 20–22, 2015 [slides]
  8. IEEE International Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22–24, 2015 [slides]
  9. 16th Genetic and Evolutionary Computation Conference (GECCO 2014), Vancouver, BC, Canada, July 12–16, 2014 [slides] [poster]
  10. 15th Genetic and Evolutionary Computation Conference (GECCO 2013), Amsterdam, the Netherlands, July 6–10, 2013 [poster]
  11. 7th IFAC Conference on Manufacturing Modelling, Management, and Control (MIM 2013), St. Petersburg, Russia, June 19–21, 2013 [poster]
Lecture slides and other materials Miscellaneous Last update: