No photo of Teemu Mätäsniemi

Teemu Mätäsniemi

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

Fingerprint Dive into the research topics where Teemu Mätäsniemi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 27 Similar Profiles
Model checking Engineering & Materials Science
Risk analysis Engineering & Materials Science
Decision making Engineering & Materials Science
Automation Engineering & Materials Science
Control system applications Engineering & Materials Science
Distributed parameter control systems Engineering & Materials Science
Electronic data interchange Engineering & Materials Science
Programmable logic controllers Engineering & Materials Science

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

Research Output 2008 2017

  • 6 Conference article in proceedings
  • 3 Chapter or book article
  • 2 Report

Probabilistic risk assessment method development and applications (PRAMEA)

Björkman, K., Holmberg, J-E., Karanta, I., Kling, T., Liinasuo, M., Mancuso, A., Mätäsniemi, T., Porthin, M., Salo, A. & Tyrväinen, T., 2017, SAFIR2018 - The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018: Interim Report. VTT Technical Research Centre of Finland, p. 143-161 (VTT Technology, Vol. 294).

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

Open Access

Computing source terms with dynamic containment event trees

Tyrväinen, T., Silvonen, T. & Mätäsniemi, T., 2016, Proceedings of PSAM 13. International Association of Probabilistic Safety Assessment and Management IAPSAM, 10 p.

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

Explosions
Steam
Boiling water reactors
Coolants
Computer programming languages

Implementation of RegIF for the Simantics platform

Mätäsniemi, T. & Alanen, J., 2015, VTT Technical Research Centre of Finland. 22 p. (VTT Research Report, Vol. VTT-R-04722-15).

Research output: Book/ReportReportProfessional

Open Access
Electronic data interchange
XML
Mechanical engineering
Computational methods
Product development
15 Citations (Scopus)

A Toolset for model checking of PLC software

Pakonen, A., Mätäsniemi, T., Lahtinen, J. & Karhela, T., 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA). Institute of Electrical and Electronic Engineers IEEE, 6 p. 6648065

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

Open Access
Model checking
Programmable logic controllers
Specification languages

Developing PRA computer code requirements based on probabilistic risk analysis practices

Björkman, K., Tyrväinen, T., Niemelä, I. & Mätäsniemi, T., 2013, Proceedings: International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2013. American Nuclear Society ANS, p. 1215-1226

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

Risk analysis
Specifications
Decision making
Mathematical models