| 2024 | ETFA | Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. | Akira King, Polina Ovsiannikova, Valeriy Vyatkin |
| 2024 | ETFA | Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications. | Polina Ovsiannikova, Tatiana Liakh, Pranay Jhunjhunwala, Valeriy Vyatkin |
| 2024 | ETFA | Energy Consumption Optimisation for Horticultural Facilities. | Kirill Zhukovskii, Polina Ovsiannikova, Pranay Jhunjhunwala, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin |
| 2023 | ETFA | Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2023 | IECON | Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. | Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin |
| 2023 | IECON | Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2021 | ETFA | Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. | Polina Ovsiannikova, Valeriy Vyatkin |
| 2021 | IECON | Change-based causes in counterexample explanation for model checking. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2020 | ICECCS | Visual counterexample explanation for model checking with OERITTE. | Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2018 | INDIN | Active Learning of Formal Plant Models For Cyber-Physical Systems. | Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto |
| 2017 | ETFA | Closed-loop verification of a compensating group drive model using synthesized formal plant model. | Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto |