Research Output per year
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
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 proceeding › Chapter or book article › Professional
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 proceeding › Conference article in proceedings › Scientific › peer-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/Report › Report › Professional
Open Access
Electronic data interchange
XML
Mechanical engineering
Computational methods
Product development
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. 6648065Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-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-1226Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
Risk analysis
Specifications
Decision making
Mathematical models