| 2025 | INDIN | LLM-based Iterative Requirements Refinement in FSM with IEC 61499 Code Generation. | Valeriy Vyatkin, Sandeep Patil, Dmitrii Drozdov, Anatoly Shalyto |
| 2020 | ETFA | Arrowhead Datamanager integration with Eclipse 4DIAC environment. | Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin |
| 2019 | ETFA | Towards formal ASM semantics of timed control systems for industrial CPS. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2018 | INDIN | Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. | Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin |
| 2018 | IECON | Formal Verification of Protection Functions for Power Distribution Networks. | Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin |
| 2017 | IECON | Towards formal verification for cyber-physically agnostic software: A case study. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2016 | ETFA | Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. | Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin |
| 2016 | INDIN | Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. | Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin |