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 | 44 | 2013 |
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 | 37 | 2017 |
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 | 30 | 2005 |
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems A Pakonen, I Buzhinsky, K Björkman Reliability Engineering & System Safety 205, 107237, 2021 | 26 | 2021 |
Controlled natural language requirements in the design and analysis of safety critical I&C systems T Tommila, A Pakonen SAFIR2014 Reference group 2, 2014 | 26 | 2014 |
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 | 22 | 2016 |
Counterexample visualization and explanation for function block diagrams A Pakonen, I Buzhinsky, V Vyatkin 2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018 | 21 | 2018 |
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 | 20 | 2007 |
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 | 17 | 2017 |
Fuzzy keyword ontology for annotating and searching event reports J Hirvonen, T Tommila, A Pakonen, C Carlsson, M Fedrizzi, R Fullér International Conference on Knowledge Engineering and Ontology Development 2 …, 2010 | 15 | 2010 |
Model-checking detailed fault-tolerant nuclear power plant safety functions I Buzhinsky, A Pakonen IEEE Access 7, 162139-162156, 2019 | 14 | 2019 |
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 | 14 | 2017 |
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 | 14 | 2016 |
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 | 14 | 2014 |
Oeritte: User-friendly counterexample explanation for model checking P Ovsiannikova, I Buzhinsky, A Pakonen, V Vyatkin IEEE Access 9, 61383-61397, 2021 | 13 | 2021 |
Fuzzy ontologies for retrieval of industrial knowledge-a case study T Tommila, J Hirvonen, A Pakonen VTT Technical Research Centre of Finland: Espoo, Finland, 2010 | 13 | 2010 |
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 | 11 | 2006 |
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 | 10 | 2010 |
Verification of fault tolerant safety I&C systems using model checking A Pakonen, I Buzhinsky 2019 IEEE International Conference on Industrial Technology (ICIT), 969-974, 2019 | 8 | 2019 |
Symmetry breaking in model checking of fault-tolerant nuclear instrumentation and control systems I Buzhinsky, A Pakonen IEEE Access 8, 197684-197694, 2020 | 7 | 2020 |