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
Model checking Engineering & Materials Science
Ontology Engineering & Materials Science
Process monitoring Engineering & Materials Science
Nuclear industry Engineering & Materials Science
Formal methods Engineering & Materials Science
Automation Engineering & Materials Science
Specification languages Engineering & Materials Science
Nuclear power plants Engineering & Materials Science

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

Research Output 2006 2020

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
Model checking
Risk assessment
Failure modes
Taxonomies
Software reliability

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
Scalability
Hardware
Boiling water reactors
Large scale systems

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
Model checking
Nuclear power plants
Hardware
Fault tolerance
Failure modes
1 Citation (Scopus)
23 Downloads (Pure)

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
Model checking
Hardware
Fault tolerance
Failure modes
Nuclear power plants
1 Citation (Scopus)
123 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
Visualization
Specifications
Control system applications
Nuclear industry
Model checking