20052020

Research output per year

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

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

  • 1 Similar Profiles

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

Research Output

Potential applications of model checking in probabilistic risk assessments

Helminen, A. & Pakonen, A., 6 Feb 2020, VTT Technical Research Centre of Finland. 13 p. (VTT Research Report; No. VTT-R-00017-20).

Research output: Book/ReportReport

Open Access
File
  • 9 Downloads (Pure)

    Coupling Model Checking and PSA: A Case Study

    Björkman, K. & Pakonen, A., 2019, Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019. Beer, M. & Zio, E. (eds.). European safety and reliability association, p. 2789-2797

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

    Open Access
  • Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

    Buzhinsky, I. & Pakonen, A., 1 Jan 2019, In : IEEE Access. 7, p. 162139-162156 18 p., 8892461.

    Research output: Contribution to journalArticleScientificpeer-review

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

    Pakonen, A. & Buzhinsky, I., 1 Feb 2019, 2019 IEEE International Conference on Industrial Technology (ICIT). IEEE Institute of Electrical and Electronic Engineers, p. 969-974 6 p. (IEEE International Conference on Industrial Technology).

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

    File
  • 1 Citation (Scopus)
    36 Downloads (Pure)

    Counterexample visualization and explanation for function block diagrams

    Pakonen, A., Buzhinsky, I. & Vyatkin, V., 27 Sep 2018, Proceedings of 16th International Conference on Industrial Informatics: INDIN 2018. IEEE Institute of Electrical and Electronic Engineers, p. 747-753 7 p. 8472025

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

    Open Access
    File
  • 1 Citation (Scopus)
    153 Downloads (Pure)