Kim Björkman

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

Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems

Antti Pakonen, Igor Buzhinsky, Kim Björkman · Reliability Engineering & System Safety · 2020 · 28 citations · Full text

Engineering, Verification, Software Systems +28

Solving dynamic flowgraph methodology models using binary decision diagrams

Kim Björkman · Reliability Engineering & System Safety · 2012 · 21 citations

Engineering, Graph Theory, Data Flow +6

Integrated management of safety and security (IMSS) in the nuclear industry – Organizational culture perspective

Marja Ylönen, Kim Björkman · Safety Science · 2023 · 20 citations · Full text

Cybersecurity, Engineering, Information Security +24

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