Janne Valkonen

Model checking of safety-critical software in the nuclear engineering domain

Jussi Lahtinen, Janne Valkonen, Kim Björkman et al. · Reliability Engineering & System Safety · 2012 · 65 citations

Safety Engineering, Criticality Safety, Safety-critical System +13

Challenges of requirements engineering — A case study in nuclear energy domain

Mikko Raatikainen, Tomi Männistö, Teemu Tommila et al. · 2011 · 17 citations

Engineering, Requirement Modeling, Software Engineering +17

NPP Safety Automation Systems Analysis: State of the Art

Janne Valkonen, Ilkka Karanta, Matti Koskimies et al. · 2008 · 13 citations

Verification of Safety Logic Designs by Model Checking

Kim Björkman, Juho Frits, Janne Valkonen et al. · 2009 · 12 citations

Engineering, Verification, Safety Science +17

Model-based analysis of an arc protection and an emergency cooling system. MODSAFE 2007 Work report

Janne Valkonen, V. Pettersson, K. Bjoerkman et al. · 2008 · 10 citations

Safety Engineering, Arc Protection, Engineering +10