| 2024 | ETFA | Applying Priority-Informed STPA to a Nuclear I&C System. | Josepha Berger, Risto Tiusanen, Hiruni Kothalawala, Antti Pakonen |
| 2024 | ETFA | Compositional Verification of Nuclear Safety I&C Systems with OCRA. | Antti Pakonen |
| 2023 | ETFA | Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2023 | ETFA | Obfuscation of function block diagrams. | Antti Pakonen |
| 2023 | IECON | Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2021 | INDIN | Model-checking infinite-state nuclear safety I&C systems with nuXmv. | Antti Pakonen |
| 2021 | IECON | Change-based causes in counterexample explanation for model checking. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2021 | IECON | Ontology-based approach for analyzing nuclear overall I&C architectures. | Antti Pakonen, Teemu Mtsniemi |
| 2020 | ICECCS | Visual counterexample explanation for model checking with OERITTE. | Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2020 | INDIN | Timed model checking of fault-tolerant nuclear I&C systems. | Igor Buzhinsky, Antti Pakonen |
| 2020 | IECON | Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. | Joonas Linnosmaa, Antti Pakonen, Nikolaos Papakonstantinou, Pter Krpti |
| 2020 | IECON | Transformation of non-standard nuclear I&C logic drawings to formal verification models. | Antti Pakonen, Prasun Biswas, Nikolaos Papakonstantinou |
| 2018 | INDIN | Counterexample visualization and explanation for function block diagrams. | Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
| 2017 | IECON | Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. | Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2017 | IECON | Scalable methods of discrete plant model generation for closed-loop model checking. | Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2016 | ETFA | User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. | Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin |
| 2016 | INDIN | A study on user-friendly formal specification languages for requirements formalization. | Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
| 2013 | ETFA | A toolset for model checking of PLC software. | Antti Pakonen, Teemu Mtsniemi, Jussi Lahtinen, Tommi Karhela |
| 2013 | IC3K | Using Associations and Fuzzy Ontologies for Modeling Chemical Safety Information. | Mika Timonen, Antti Pakonen, Teemu Tommila |
| 2010 | ETFA | A fuzzy ontology based approach for mobilising industrial plant knowledge. | Antti Pakonen, Teemu Tommila, Juhani Hirvonen |
| 2010 | IC3K | Fuzzy Keyword Ontology for Annotating and Searching Event Reports . | Juhani Hirvonen, Teemu Tommila, Antti Pakonen, Christer Carlsson, Mario Fedrizzi, Robert Fullr |
| 2007 | ETFA | OWL based information agent services for process monitoring. | Antti Pakonen, Teemu Tommila, Teppo Pirttioja, Ilkka Seilonen |
| 2006 | ETFA | Proactive Computing in Process Monitoring: Information Agents for Operator Support. | Antti Pakonen, Teppo Pirttioja, Ilkka Seilonen, Teemu Tommila |