Antti Pakonen

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 22

Top Topics

Temporal Properties

Nuclear Power Plant

Top Venues

Publications

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. ETFA (2023)
Antti Pakonen
Obfuscation of function block diagrams. ETFA (2023)
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. IECON (2023)
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
Change-based causes in counterexample explanation for model checking. IECON (2021)
Antti Pakonen
Model-checking infinite-state nuclear safety I&C systems with nuXmv. INDIN (2021)
Antti Pakonen, Teemu Mätäsniemi
Ontology-based approach for analyzing nuclear overall I&C architectures. IECON (2021)
Antti Pakonen, Igor Buzhinsky, Kim Björkman
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems. Reliab. Eng. Syst. Saf. 205 (2021)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9 (2021)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Visual counterexample explanation for model checking with Oeritte. CoRR (2020)
Antti Pakonen, Prasun Biswas, Nikolaos Papakonstantinou
Transformation of non-standard nuclear I&C logic drawings to formal verification models. IECON (2020)
Joonas Linnosmaa, Antti Pakonen, Nikolaos Papakonstantinou, Péter Kárpáti
Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. IECON (2020)
Igor Buzhinsky, Antti Pakonen
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems. IEEE Access 8 (2020)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Visual counterexample explanation for model checking with OERITTE. ICECCS (2020)
Igor Buzhinsky, Antti Pakonen
Timed model checking of fault-tolerant nuclear I&C systems. INDIN (2020)
Antti Pakonen, Igor Buzhinsky
Verification of fault tolerant safety I&C systems using model checking. ICIT (2019)
Igor Buzhinsky, Antti Pakonen
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions. IEEE Access 7 (2019)
Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
Counterexample visualization and explanation for function block diagrams. INDIN (2018)
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. ISIE (2018)
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Scalable methods of discrete plant model generation for closed-loop model checking. IECON (2017)
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. IECON (2017)
Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
A study on user-friendly formal specification languages for requirements formalization. INDIN (2016)
Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. ETFA (2016)
Mika Timonen, Antti Pakonen, Teemu Tommila
Using Associations and Fuzzy Ontologies for Modeling Chemical Safety Information. KEOD (2013)
Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen, Tommi Karhela
A toolset for model checking of PLC software. ETFA (2013)
Juhani Hirvonen, Teemu Tommila, Antti Pakonen, Christer Carlsson, Mario Fedrizzi, Robert Fullér
Fuzzy Keyword Ontology for Annotating and Searching Event Reports . KEOD (2010)
Antti Pakonen, Teemu Tommila, Juhani Hirvonen
A fuzzy ontology based approach for mobilising industrial plant knowledge. ETFA (2010)
Antti Pakonen, Teemu Tommila, Teppo Pirttioja, Ilkka Seilonen
OWL based information agent services for process monitoring. ETFA (2007)
Teppo Pirttioja, Ilkka Seilonen, Antti Pakonen, Aarne Halme, Kari Koskinen
Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems. HoloMAS (2007)
Antti Pakonen, Teppo Pirttioja, Ilkka Seilonen, Teemu Tommila
Proactive Computing in Process Monitoring: Information Agents for Operator Support. ETFA (2006)
Ilkka Seilonen, Teppo Pirttioja, Antti Pakonen, Pekka Appelqvist, Aarne Halme, Kari Koskinen
Information Access and Control Operations in Multi-agent System Based Process Automation. HoloMAS (2005)