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.

  • 2 Similar Profiles
Model checking Engineering & Materials Science
Ontology Engineering & Materials Science
Nuclear industry Engineering & Materials Science
Process monitoring 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 2010 2019

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., 18 Nov 2019, In : IEEE Access. 7, p. 162139-162156 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
Model checking
Nuclear power plants
Hardware
Fault tolerance
Failure modes
7 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
95 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

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes

Buzhinsky, I., Pakonen, A. & Vyatkin, V., 2018, Proceedings - 2018 IEEE 27th International Symposium on Industrial Electronics, ISIE 2018. IEEE Institute of Electrical and Electronic Engineers , p. 669-674 6 p. 8433793

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

Model checking
Specifications
Nuclear industry
Human engineering
Systems analysis