Information Access and Control Operations in Multi-agent System Based Process Automation. - Ilkka Seilonen; Teppo Pirttioja; Antti Pakonen; Pekka Appelqvist; Aarne Halme; Kari Koskinen (HoloMAS, 2005)

Proactive Computing in Process Monitoring: Information Agents for Operator Support. - Antti Pakonen; Teppo Pirttioja; Ilkka Seilonen; Teemu Tommila (ETFA, 2006)

OWL based information agent services for process monitoring. - Antti Pakonen; Teemu Tommila; Teppo Pirttioja; Ilkka Seilonen (ETFA, 2007)

Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems. - Teppo Pirttioja; Ilkka Seilonen; Antti Pakonen; Aarne Halme; Kari Koskinen (HoloMAS, 2007)

A fuzzy ontology based approach for mobilising industrial plant knowledge. - Antti Pakonen; Teemu Tommila; Juhani Hirvonen (ETFA, 2010)

Fuzzy Keyword Ontology for Annotating and Searching Event Reports . - Juhani Hirvonen; Teemu Tommila; Antti Pakonen; Christer Carlsson; Mario Fedrizzi; Robert Fullér (KEOD, 2010)

A toolset for model checking of PLC software. - Antti Pakonen; Teemu Mätäsniemi; Jussi Lahtinen; Tommi Karhela (ETFA, 2013)

Using Associations and Fuzzy Ontologies for Modeling Chemical Safety Information. - Mika Timonen; Antti Pakonen; Teemu Tommila (KEOD, 2013)

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. - Antti Pakonen; Cheng Pang; Igor Buzhinsky; Valeriy Vyatkin (ETFA, 2016)

A study on user-friendly formal specification languages for requirements formalization. - Cheng Pang; Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2016)

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IECON, 2017)

Scalable methods of discrete plant model generation for closed-loop model checking. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IECON, 2017)

Counterexample visualization and explanation for function block diagrams. - Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2018)

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (ISIE, 2018)

Verification of fault tolerant safety I&C systems using model checking. - Antti Pakonen; Igor Buzhinsky (ICIT, 2019)

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions. - Igor Buzhinsky; Antti Pakonen (IEEE Access, 2019)

Visual counterexample explanation for model checking with OERITTE. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (ICECCS, 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 (IECON, 2020)

Transformation of non-standard nuclear I&C logic drawings to formal verification models. - Antti Pakonen; Prasun Biswas; Nikolaos Papakonstantinou (IECON, 2020)

Timed model checking of fault-tolerant nuclear I&C systems. - Igor Buzhinsky; Antti Pakonen (INDIN, 2020)

Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems. - Igor Buzhinsky; Antti Pakonen (IEEE Access, 2020)

Change-based causes in counterexample explanation for model checking. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (IECON, 2021)

Ontology-based approach for analyzing nuclear overall I&C architectures. - Antti Pakonen; Teemu Mätäsniemi (IECON, 2021)

Model-checking infinite-state nuclear safety I&C systems with nuXmv. - Antti Pakonen (INDIN, 2021)

Oeritte: User-Friendly Counterexample Explanation for Model Checking. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IEEE Access, 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)

Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (ETFA, 2023)

Obfuscation of function block diagrams. - Antti Pakonen (ETFA, 2023)

Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (IECON, 2023)

Applying Priority-Informed STPA to a Nuclear I&C System. - Josepha Berger; Risto Tiusanen; Hiruni Kothalawala; Antti Pakonen (ETFA, 2024)

Compositional Verification of Nuclear Safety I&C Systems with OCRA. - Antti Pakonen (ETFA, 2024)

Evaluation of visual property specification languages based on practical model-checking experience. - Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (J. Syst. Softw., 2024)