Concepedia

Antti Pakonen

AP

13

Publications

221

Citations

11

H-Index

2005

Active since

Affiliations

VTT Technical Research Centre of Finland(Current)

Aalto University

ITMO University

Fortum (Finland)

Luleå University of Technology

Antti Pakonen is an author at VTT Technical Research Centre of Finland specializing in engineering, systems engineering, and computer science.

ORCID

Top concepts

Publications per year

2005–2021

13

Publications

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

, , +28

A toolset for model checking of PLC software

Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen et al. · 2013 · 27 citations

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

Antti Pakonen, Cheng Pang, Igor Buzhinsky et al. · 2016 · 25 citations

, , +16

Multi-agent based information access services for condition monitoring in process automation

Teppo Pirttioja, Antti Pakonen, l. Seilonen et al. · 2005 · 23 citations

, , +20

Practical applications of model checking in the Finnish nuclear industry

Antti Pakonen, Topi Tahvonen, Markus Hartikainen et al. · 2017 · 22 citations

, , +11

Rows per page

1–5 of 13