| 2022 | ETFA | An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. | Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin |
| 2022 | INDIN | Process mining in industrial control systems. | Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin |
| 2019 | ETFA | Towards formal ASM semantics of timed control systems for industrial CPS. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2019 | INDIN | Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. | Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin |
| 2018 | INDIN | Implementation of distributed semaphores in IEC 61499 with consensus protocols. | Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin |
| 2017 | IECON | Towards formal verification for cyber-physically agnostic software: A case study. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2016 | INDIN | Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. | Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin |
| 2015 | TrustCom | Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2015 | TrustCom | Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2015 | SETTA | Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2014 | ETFA | Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. | Wenbin William Dai, Valeriy Vyatkin, Victor Dubinin, James H. Christensen |
| 2014 | ETFA | Automatic generation of automation applications based on ontology transformations. | Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang |
| 2014 | INDIN | Function block implementation of service oriented architecture: Case study. | Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin |
| 2014 | IECON | On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. | Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin |
| 2014 | IECON | Decision making for industrial agents in Smart Grid applications. | Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin |
| 2006 | ETFA | Modelling and Verification of IEC 61499 Applications using Prolog. | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2005 | ICRA | Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. | Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer |