No photo of Igor Buzhinskii

Igor Buzhinskii

    20152021

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Fingerprint Dive into the research topics where Igor Buzhinskii is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    • 5 Similar Profiles

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    • 14 Conference contribution
    • 3 Article
    • 1 Doctoral Thesis

    Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems

    Pakonen, A., Buzhinsky, I. & Björkman, K., Jan 2021, In : Reliability Engineering and System Safety. 205, 15 p., 107237.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 4 Downloads (Pure)

    Combined use of formal methods for reliability assurance of software for safety-critical systems

    Buzhinskii, I., 2019, Aalto University. 189 p.

    Research output: ThesisDoctoral ThesisCollection of Articles

  • Formalization of natural language requirements into temporal logics: A survey

    Buzhinsky, I., 1 Jul 2019, Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019. IEEE, p. 400-406 7 p. 8972130. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Verification of fault tolerant safety I&C systems using model checking

    Pakonen, A. & Buzhinsky, I., 1 Feb 2019, Proceedings of the 20th IEEE International Conference on Industrial Technology, ICIT 2019. IEEE, p. 969-974 6 p. 8755014. (Proceedings of the IEEE International Conference on Industrial Technology; vol. 2019-February).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 2 Citations (Scopus)

    Counterexample-guided inference of controller logic from execution traces and temporal formulas

    Chivilikhin, D., Buzhinskv, I., Ulvantsev, V., Stankevich, A., Shalyto, A. & Vyatkin, V., 22 Oct 2018, Proceedings or the 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation, ETFA 2018. IEEE, Vol. 2018-September. p. 91-98 8 p. 8502463. (Proceedings IEEE International Conference on Emerging Technologies and Factory Automation).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Projects

    SEARCH: Safety and security assessment of overall I&C architectures

    Vyatkin, V., Buzhinskii, I., Ovsiannikova, P. & George, A.

    01/01/202031/01/2021

    Project: Other external funding: Other government funding

    SEARCH: Safety and security assessment of overall I&C architectures

    Vyatkin, V., Buzhinskii, I. & Ovsiannikova, P.

    13/03/201931/03/2020

    Project: Other external funding: Other government funding

    SAUNA: Integrated safety assessment and justification of nuclear power plant automation

    Buzhinskii, I. & Vyatkin, V.

    08/03/201831/03/2019

    Project: Other external funding: Other government funding

    SAUNA: Integrated safety assessment and justification of nuclear power plant automation

    Buzhinskii, I. & Vyatkin, V.

    01/02/201731/03/2018

    Project: Other external funding: Other government funding

    Raising the level of automation and quality in plant engineering

    Sierla, S., Santillan Martinez, G., Buzhinskii, I., Karhela, T., Vyatkin, V. & Aarnio, P.

    03/10/201630/06/2019

    Project: Business Finland: Other research funding