Antti Pakonen

According to our database, Antti Pakonen authored at least 32 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Evaluation of visual property specification languages based on practical model-checking experience.

Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

J. Syst. Softw., 2024

Compositional Verification of Nuclear Safety I&C Systems with OCRA.

Antti Pakonen

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Applying Priority-Informed STPA to a Nuclear I&C System.

Josepha Berger, Risto Tiusanen, Hiruni Kothalawala, Antti Pakonen

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

2023

Automatic Generation of Repair Suggestions for Control Logic of I&C Systems.

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Obfuscation of function block diagrams.

Antti Pakonen

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Automatic generation of repair suggestions for overall I&C architecture represented with an ontology.

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2021

Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems.

Antti Pakonen, Igor Buzhinsky, Kim Björkman

Reliab. Eng. Syst. Saf., 2021

Oeritte: User-Friendly Counterexample Explanation for Model Checking.

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

IEEE Access, 2021

Model-checking infinite-state nuclear safety I&C systems with nuXmv.

Antti Pakonen

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Ontology-based approach for analyzing nuclear overall I&C architectures.

Antti Pakonen, Teemu Mätäsniemi

Proceedings of the IECON 2021, 2021

Change-based causes in counterexample explanation for model checking.

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Proceedings of the IECON 2021, 2021

2020

Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems.

Igor Buzhinsky, Antti Pakonen

IEEE Access, 2020

Timed model checking of fault-tolerant nuclear I&C systems.

Igor Buzhinsky, Antti Pakonen

Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020

Transformation of non-standard nuclear I&C logic drawings to formal verification models.

Antti Pakonen, Prasun Biswas, Nikolaos Papakonstantinou

Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant.

Joonas Linnosmaa, Antti Pakonen, Nikolaos Papakonstantinou, Péter Kárpáti

Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Visual counterexample explanation for model checking with OERITTE.

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions.

Igor Buzhinsky, Antti Pakonen

IEEE Access, 2019

Verification of fault tolerant safety I&C systems using model checking.

Antti Pakonen, Igor Buzhinsky

Proceedings of the IEEE International Conference on Industrial Technology, 2019

2018

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 27th IEEE International Symposium on Industrial Electronics, 2018

Counterexample visualization and explanation for function block diagrams.

Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

2017

Scalable methods of discrete plant model generation for closed-loop model checking.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016

A study on user-friendly formal specification languages for requirements formalization.

Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

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

Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2013

Using Associations and Fuzzy Ontologies for Modeling Chemical Safety Information.

Mika Timonen, Antti Pakonen, Teemu Tommila

Proceedings of the KEOD 2013, 2013

A toolset for model checking of PLC software.

Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen, Tommi Karhela

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2010

Fuzzy Keyword Ontology for Annotating and Searching Event Reports .

Juhani Hirvonen, Teemu Tommila, Antti Pakonen, Christer Carlsson, Mario Fedrizzi, Robert Fullér

Proceedings of the KEOD 2010, 2010

A fuzzy ontology based approach for mobilising industrial plant knowledge.

Antti Pakonen, Teemu Tommila, Juhani Hirvonen

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2007

Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems.

Teppo Pirttioja, Ilkka Seilonen, Antti Pakonen, Aarne Halme, Kari Koskinen

Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2007

OWL based information agent services for process monitoring.

Antti Pakonen, Teemu Tommila, Teppo Pirttioja, Ilkka Seilonen

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Proactive Computing in Process Monitoring: Information Agents for Operator Support.

Antti Pakonen, Teppo Pirttioja, Ilkka Seilonen, Teemu Tommila

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Information Access and Control Operations in Multi-agent System Based Process Automation.

Ilkka Seilonen, Teppo Pirttioja, Antti Pakonen, Pekka Appelqvist, Aarne Halme, Kari Koskinen

Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2005