Closed-loop verification of a compensating group drive model using synthesized formal plant model. - Polina Ovsiannikova; Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001 (ETFA, 2017)

Active Learning of Formal Plant Models For Cyber-Physical Systems. - Polina Ovsiannikova; Daniil Chivilikhin; Vladimir Ulyantsev; Andrey Stankevich; Ilya Zakirzyanov; Valeriy Vyatkin; Anatoly Shalyto 001 (INDIN, 2018)

Visual counterexample explanation for model checking with OERITTE. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (ICECCS, 2020)

Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. - Polina Ovsiannikova; Valeriy Vyatkin (ETFA, 2021)

Change-based causes in counterexample explanation for model checking. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (IECON, 2021)

Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. - Anand George; Polina Ovsiannikova; Valeriy Vyatkin (ISIE, 2021)

Oeritte: User-Friendly Counterexample Explanation for Model Checking. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IEEE Access, 2021)

Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (ETFA, 2023)

Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. - Pranay Jhunjhunwala; Polina Ovsiannikova; Valeriy Vyatkin (IECON, 2023)

Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (IECON, 2023)

Debugging approach for IEC 61499 control applications in FBME. - Daniil Akifev; Tatiana Liakh; Polina Ovsiannikova; Radimir Sorokin; Valeriy Vyatkin (ISIE, 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 (ISIE, 2023)

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

Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. - Akira King; Polina Ovsiannikova; Valeriy Vyatkin (ETFA, 2024)

Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications. - Polina Ovsiannikova; Tatiana Liakh; Pranay Jhunjhunwala; Valeriy Vyatkin (ETFA, 2024)

Energy Consumption Optimisation for Horticultural Facilities. - Kirill Zhukovskii; Polina Ovsiannikova; Pranay Jhunjhunwala; Paolo Scarabaggio; Raffaele Carli; Mariagrazia Dotoli; Valeriy Vyatkin (ETFA, 2024)