Antti Pakonen

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