default search action
Antti Pakonen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j5]Antti Pakonen
, Igor Buzhinsky, Valeriy Vyatkin:
Evaluation of visual property specification languages based on practical model-checking experience. J. Syst. Softw. 216: 112153 (2024) - [c27]Josepha Berger, Risto Tiusanen, Hiruni Kothalawala, Antti Pakonen:
Applying Priority-Informed STPA to a Nuclear I&C System. ETFA 2024: 1-7 - [c26]Antti Pakonen:
Compositional Verification of Nuclear Safety I&C Systems with OCRA. ETFA 2024: 1-8 - 2023
- [c25]Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. ETFA 2023: 1-8 - [c24]Antti Pakonen:
Obfuscation of function block diagrams. ETFA 2023: 1-7 - [c23]Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. IECON 2023: 1-6 - 2021
- [j4]Polina Ovsiannikova
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9: 61383-61397 (2021) - [j3]Antti Pakonen
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems. Reliab. Eng. Syst. Saf. 205: 107237 (2021) - [c22]Polina Ovsiannikova
Change-based causes in counterexample explanation for model checking. IECON 2021: 1-6 - [c21]Antti Pakonen, Teemu Mätäsniemi:
Ontology-based approach for analyzing nuclear overall I&C architectures. IECON 2021: 1-7 - [c20]Antti Pakonen:
Model-checking infinite-state nuclear safety I&C systems with nuXmv. INDIN 2021: 1-6 - 2020
- [j2]Igor Buzhinsky
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems. IEEE Access 8: 197684-197694 (2020) - [c19]Polina Ovsiannikova
Visual counterexample explanation for model checking with OERITTE. ICECCS 2020: 1-10 - [c18]Antti Pakonen
Transformation of non-standard nuclear I&C logic drawings to formal verification models. IECON 2020: 697-704 - [c17]Joonas Linnosmaa
Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. IECON 2020: 4337-4344 - [c16]Igor Buzhinsky, Antti Pakonen:
Timed model checking of fault-tolerant nuclear I&C systems. INDIN 2020: 159-164 - [i1]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with Oeritte. CoRR abs/2012.15097 (2020)
2010 – 2019
- 2019
- [j1]Igor Buzhinsky
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions. IEEE Access 7: 162139-162156 (2019) - [c15]Antti Pakonen
Verification of fault tolerant safety I&C systems using model checking. ICIT 2019: 969-974 - 2018
- [c14]Antti Pakonen
Counterexample visualization and explanation for function block diagrams. INDIN 2018: 747-753 - [c13]Igor Buzhinsky, Antti Pakonen
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. ISIE 2018: 669-674 - 2017
- [c12]Igor Buzhinsky
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. IECON 2017: 5439-5446 - [c11]Igor Buzhinsky
Scalable methods of discrete plant model generation for closed-loop model checking. IECON 2017: 5483-5488 - 2016
- [c10]Antti Pakonen
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. ETFA 2016: 1-8 - [c9]Cheng Pang, Antti Pakonen
A study on user-friendly formal specification languages for requirements formalization. INDIN 2016: 676-682 - 2013
- [c8]Antti Pakonen
A toolset for model checking of PLC software. ETFA 2013: 1-6 - [c7]Mika Timonen, Antti Pakonen, Teemu Tommila:
Using Associations and Fuzzy Ontologies for Modeling Chemical Safety Information. KEOD 2013: 26-37 - 2010
- [c6]Antti Pakonen
A fuzzy ontology based approach for mobilising industrial plant knowledge. ETFA 2010: 1-8 - [c5]Juhani Hirvonen, Teemu Tommila, Antti Pakonen, Christer Carlsson, Mario Fedrizzi, Robert Fullér:
Fuzzy Keyword Ontology for Annotating and Searching Event Reports . KEOD 2010: 251-256
2000 – 2009
- 2007
- [c4]Antti Pakonen
OWL based information agent services for process monitoring. ETFA 2007: 9-16 - [c3]Teppo Pirttioja, Ilkka Seilonen, Antti Pakonen, Aarne Halme, Kari Koskinen:
Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems. HoloMAS 2007: 411-420 - 2006
- [c2]Antti Pakonen
Proactive Computing in Process Monitoring: Information Agents for Operator Support. ETFA 2006: 153-158 - 2005
- [c1]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: 144-153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: