Polina Ovsiannikova

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 13

Top Topics

Pspace Complete

Formal Verification

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)
Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin
Debugging approach for IEC 61499 control applications in FBME. ISIE (2023)
Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. ISIE (2023)
Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin
Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. IECON (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)
Anand George, Polina Ovsiannikova, Valeriy Vyatkin
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. ISIE (2021)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9 (2021)
Polina Ovsiannikova, Valeriy Vyatkin
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. ETFA (2021)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Visual counterexample explanation for model checking with Oeritte. CoRR (2020)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Visual counterexample explanation for model checking with OERITTE. ICECCS (2020)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN (2018)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Closed-loop verification of a compensating group drive model using synthesized formal plant model. ETFA (2017)