Photo

Igor Buzhinsky

ITMO University

 

Aalto University, School of Electrical Engineering

Computer Technologies Laboratory
Software engineer, PhD student
Email: igor_buzhinsky at corp.ifmo.ru

 

Department of Electrical Engineering and Automation
Doctoral candidate (PhD student)
Email: igor.buzhinskii at aalto.fi

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

Facebook: igor.buzhinsky; Skype: igor_buzhinsky


Research interests Education Upcoming publications Publications
  1. 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] [pdf]
  2. Ulyantsev V., Buzhinsky I., Shalyto A. Exact Finite-State Machine Identification from Scenarios and Temporal Properties. International Journal on Software Tools for Technology Transfer, 2016, DOI: 10.1007/s10009-016-0442-1 [web] [pdf] [arXiv] [readcube]
  3. 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] [pdf]
  4. 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] [pdf]
  5. 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] [pdf]
  6. 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]
  7. 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] [pdf]
  8. 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] [pdf]
  9. 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]
  10. 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]
  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]
  12. 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] [pdf]
  13. 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] [pdf]
Publications (Russian)
    (show)

Conferences
  1. 9th Eurosim Congress on Modelling and Simulation, Oulu, Finland, September 12–16, 2016 [poster]
  2. IEEE International Conference on Industrial Informatics (INDIN 2016), Futuroscope-Poitiers, France, July 18–21, 2016 [presentation 1] [presentation 2]
  3. IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 20–22, 2015 [presentation]
  4. IEEE International Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22–24, 2015 [presentation]
  5. 16th Genetic and Evolutionary Computation Conference (GECCO 2014), Vancouver, BC, Canada, July 12–16, 2014 [presentation] [poster]
  6. 15th Genetic and Evolutionary Computation Conference (GECCO 2013), Amsterdam, the Netherlands, July 6–10, 2013 [poster]
  7. 7th IFAC Conference on Manufacturing Modelling, Management, and Control (MIM 2013), St. Petersburg, Russia, June 19–21, 2013 [poster]
Grants (Russian)
    (show)

Miscellaneous Links