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
Nuclear industry Engineering & Materials Science
Process monitoring Engineering & Materials Science
Formal methods Engineering & Materials Science
Automation Engineering & Materials Science
Specification languages Engineering & Materials Science
Model Checking Mathematics

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
2 Downloads (Pure)

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

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

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

File
Model checking
Hardware
Fault tolerance
Failure modes
Nuclear power plants
70 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. Institute of Electrical and Electronic Engineers IEEE, 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. Institute of Electrical and Electronic Engineers IEEE, 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
1 Citation (Scopus)

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison

Buzhinsky, I., Pakonen, A. & Vyatkin, V., 15 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society: IECON 2017. Institute of Electrical and Electronic Engineers IEEE, p. 5439-5446 8 p.

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

Symbolic Model Checking
Model checking
Model Checking
Nuclear Power Plant
Instrumentation