Polina Ovsiannikova

According to our database, Polina Ovsiannikova authored at least 13 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems.

Polina Ovsiannikova

PhD thesis, 2023

Formal verification of observers supervising a cyber-physical system implemented using IEC 61499.

Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

Debugging approach for IEC 61499 control applications in FBME.

Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

Automatic Generation of Repair Suggestions for Control Logic of I&C Systems.

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections.

Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Automatic generation of repair suggestions for overall I&C architecture represented with an ontology.

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2021

Oeritte: User-Friendly Counterexample Explanation for Model Checking.

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

IEEE Access, 2021

Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing.

Anand George, Polina Ovsiannikova, Valeriy Vyatkin

Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021

Change-based causes in counterexample explanation for model checking.

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Proceedings of the IECON 2021, 2021

Towards user-friendly model checking of IEC 61499 systems with counterexample explanation.

Polina Ovsiannikova, Valeriy Vyatkin

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

Visual counterexample explanation for model checking with OERITTE.

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2018

Active Learning of Formal Plant Models For Cyber-Physical Systems.

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

2017

Closed-loop verification of a compensating group drive model using synthesized formal plant model.

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017