Oeritte: User-friendly counterexample explanation for model checking P Ovsiannikova, I Buzhinsky, A Pakonen, V Vyatkin IEEE Access 9, 61383-61397, 2021 | 13 | 2021 |
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation P Ovsiannikova, V Vyatkin 2021 26th IEEE International Conference on Emerging Technologies and Factory …, 2021 | 10 | 2021 |
Visual counterexample explanation for model checking with OERITTE P Ovsiannikova, I Buzhinsky, A Pakonen, V Vyatkin 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 6 | 2020 |
Closed-loop verification of a compensating group drive model using synthesized formal plant model P Ovsiannikova, D Chivilikhin, V Ulyantsev, A Shalyto 2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017 | 4 | 2017 |
Change-based causes in counterexample explanation for model checking P Ovsiannikova, A Pakonen, V Vyatkin IECON 2021–47th Annual Conference of the IEEE Industrial Electronics Society …, 2021 | 1 | 2021 |
Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections P Jhunjhunwala, P Ovsiannikova, V Vyatkin IECON 2023-49th Annual Conference of the IEEE Industrial Electronics Society …, 2023 | | 2023 |
Automatic generation of repair suggestions for control logic of I&C systems P Ovsiannikova, A Pakonen, V Vyatkin IECON 2023-49th Annual Conference of the IEEE Industrial Electronics Society …, 2023 | | 2023 |
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology P Ovsiannikova, A Pakonen, V Vyatkin 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | | 2023 |
Debugging approach for IEC 61499 control applications in FBME D Akifev, T Liakh, P Ovsiannikova, R Sorokin, V Vyatkin 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), 1-5, 2023 | | 2023 |
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499 P Ovsiannikova, E Le Priol, V Perret, P Jhunjhunwala, M Xavier, V Vyatkin 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), 1-6, 2023 | | 2023 |
Safety and security of overall I&C architectures (SEARCH) A Pakonen, J Alanen, K Björkman, A Helminen, J Linnosmaa, T Malm, ... SAFIR2022-The Finnish Research Programme on Nuclear Power Plant Safety 2019 …, 2023 | | 2023 |
Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems P Ovsiannikova Aalto University, 2023 | | 2023 |
Towards unambiguous FBD A George, P Ovsiannikova, V Vyatkin International Symposium on Industrial Electronics, 2021 | | 2021 |
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing A George, P Ovsiannikova, V Vyatkin 2021 IEEE 30th International Symposium on Industrial Electronics (ISIE), 1-6, 2021 | | 2021 |
Oeritte P Ovsiannikova, I Buzhinsky, A Pakonen, V Vyatkin IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2021 | | 2021 |
Safety and security assessment of overall I&C architectures (SEARCH) A Pakonen, J Alanen, I Buzhinsky, A Helminen, J Linnosmaa, T Malm, ... SAFIR2022-The Finnish Research Programme on Nuclear Power Plant Safety 2019 …, 2021 | | 2021 |
Active learning of formal plant models for cyber-physical systems P Ovsiannikova, D Chivilikhin, V Ulyantsev, A Stankevich, I Zakirzyanov, ... 2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018 | | 2018 |
2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)| 978-1-7281-8558-3/20/$31.00© 2020 IEEE| DOI: 10.1109/ICECCS51672. 2020.00033 M Anderson, É André, P Arcaini, G Bai, K Biswas, H Bride, I Buzhinsky, ... | | |