Antti Pakonen - Concepedia

Author

Antti Pakonen

VTT Technical Research Centre of Finland ORCID

Also Known As

A Pakonen, A. Pakonen, Antti Pakonen, Pakonen, Antti

Publications

319

Citations

H-Index

Concepts

All Affiliations

VTT Technical Research Centre of Finland Aalto University ITMO University Fortum (Finland)Luleå University of Technology

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	180
2	Business	3	3	44
3	Computer Engineering	3	3	53
4	Management	2	2	24
5	Law	1	1	10

Antti Pakonen

Publications

221

Citations

H-Index

Page 1

	Year	Citations
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 EngineeringVerificationSoftware SystemsComputer-aided VerificationSystem-level Design	2020	28
A toolset for model checking of PLC software Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen,	2013	27
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking Antti Pakonen, Cheng Pang, Igor Buzhinsky, EngineeringIndustrial ExperienceVerificationSoftware EngineeringModel Checking	2016	25
Multi-agent based information access services for condition monitoring in process automation Teppo Pirttioja, Antti Pakonen, l. Seilonen, EngineeringBusiness IntelligenceIndustrial EngineeringIntelligent SystemsInformation Access Services	2005	23
Practical applications of model checking in the Finnish nuclear industry Antti Pakonen, Topi Tahvonen, Markus Hartikainen, EngineeringFormal ModelingSoftware TestingNuclear SafetyVerification	2017	22
OWL based information agent services for process monitoring Antti Pakonen, Teemu Tommila, Teppo Pirttioja, EngineeringBusiness IntelligenceOntology EngineeringSemantic TechnologyService Monitoring	2007	14
Counterexample visualization and explanation for function block diagrams Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin	2018	14
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions Igor Buzhinsky, Antti Pakonen IEEE Access EngineeringVerificationComputer-aided VerificationModel CheckingHardware Systems	2019	13
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society EngineeringVerificationSymbolic Model CheckingComputer-aided VerificationModel Checking	2017	12
Oeritte: User-Friendly Counterexample Explanation for Model Checking Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, IEEE Access EngineeringVerificationComputer-aided VerificationFalsified Ltl FormulaModel Checking	2021	12

Page 1