Concepedia

Kim Björkman

KB

7

Publications

166

Citations

7

H-Index

2008

Active since

Affiliations

VTT Technical Research Centre of Finland(Current)

Aalto University

Kim Björkman is an author at VTT Technical Research Centre of Finland specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProcess ControlReliability EngineeringAutomationNuclear Safety

Publications per year

2008–2023

7

Publications

7

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

Rows per page

1–5 of 7