Antti Pakonen
Title
Cited by
Cited by
Year
A toolset for model checking of PLC software
A Pakonen, T Mätäsniemi, J Lahtinen, T Karhela
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
312013
Multi-agent based information access services for condition monitoring in process automation
T Pirttioja, A Pakonen, I Seilonen, A Halme, K Koskinen
INDIN'05. 2005 3rd IEEE International Conference on Industrial Informatics …, 2005
262005
Practical applications of model checking in the Finnish nuclear industry
A Pakonen, T Tahvonen, M Hartikainen, M Pihlanko
10th International Topical Meeting on Nuclear Plant Instrumentation, Control …, 2017
152017
OWL based information agent services for process monitoring
A Pakonen, T Tommila, T Pirttioja, I Seilonen
2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007
152007
Controlled natural language requirements in the design and analysis of safety critical I&C systems
T Tommila, A Pakonen
SAFIR2014 Reference group 2, 2014
142014
User-friendly formal specification languages — conclusions drawn from industrial experience on model checking
A Pakonen, C Pang, I Buzhinsky, V Vyatkin
Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st …, 2016
132016
Model Checking for Licensing Support in the Finnish Nuclear Industry
A Pakonen, J Valkonen, S Matinaho, M Hartikainen
International Symposium on Future I&C for Nuclear Power Plants (ISOFIC 2014 …, 2014
122014
Fuzzy Keyword Ontology for Annotating and Searching Event Reports.
J Hirvonen, T Tommila, A Pakonen, C Carlsson, M Fedrizzi, R Fullér
KEOD, 251-256, 2010
122010
Fuzzy ontologies for retrieval of industrial knowledge-a case study
T Tommila, J Hirvonen, A Pakonen
VTT Working Papers 153, 2010
112010
A fuzzy ontology based approach for mobilising industrial plant knowledge
A Pakonen, T Tommila, J Hirvonen
Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on …, 2010
102010
Model checking as a protective method against spurious actuation of industrial control systems
A Pakonen, K Björkman
27th European Safety and Reliability Conference, ESREL 2017, 3189-3196, 2017
92017
Multi-agent system enhanced supervision of process automation
T Pirttioja, A Halme, A Pakonen, I Seilonen, K Koskinen
IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence …, 2006
92006
A study on user-friendly formal specification languages for requirements formalization
C Pang, A Pakonen, I Buzhinsky, V Vyatkin
2016 IEEE 14th International Conference on Industrial Informatics (INDIN …, 2016
82016
Information access and control operations in multi-agent system based process automation
I Seilonen, T Pirttioja, A Pakonen, P Appelqvist, A Halme, K Koskinen
International Conference on Industrial Applications of Holonic and Multi …, 2005
72005
Proactive computing in process monitoring: Information agents for operator support
A Pakonen, T Pirttioja, I Seilonen, T Tommila
2006 IEEE Conference on Emerging Technologies and Factory Automation, 153-158, 2006
62006
Indirect process monitoring with constraint handling agents
I Seilonen, T Pirttioja, A Halme, K Koskinen, A Pakonen
2006 4th IEEE International Conference on Industrial Informatics, 1323-1328, 2006
62006
Verification of fault tolerant safety I&C systems using model checking
A Pakonen, I Buzhinsky
2019 IEEE International Conference on Industrial Technology, ICIT 2019, 969-974, 2019
32019
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison
I Buzhinsky, A Pakonen, V Vyatkin
IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017
32017
Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions
T Tommila, A Pakonen, J Valkonen
Enlarged Halden programme group meeting, EHPG-2013, Storefjell, Norway, 10th …, 2013
32013
Model checking reveals hidden errors in safety-critical I&C software
A Pakonen, T Mätäsniemi, J Valkonen
Eighth American Nuclear Society International Topical Meeting on Nuclear …, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–20