Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. - Victor Dubinin; Valeriy Vyatkin; Thomas Pfeiffer 005 (ICRA, 2005)

Modelling and Verification of IEC 61499 Applications using Prolog. - Victor Dubinin; Valeriy Vyatkin; Hans-Michael Hanisch (ETFA, 2006)

Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. - Valeriy Vyatkin; Hans-Michael Hanisch; Sirko Karras; Thomas Pfeiffer 005; Victor Dubinin (Int. J. Manuf. Res., 2006)

On Definition of a Formal Model for IEC 61499 Function Blocks. - Victor Dubinin; Valeriy Vyatkin (EURASIP J. Embed. Syst., 2008)

Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. - Valeriy Vyatkin; Victor Dubinin (IEEE Trans. Ind. Informatics, 2010)

Semantics-Robust Design Patterns for IEC 61499. - Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2012)

Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems. - Wenbin William Dai; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2013)

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. - Sandeep Patil; Victor Dubinin; Cheng Pang; Valeriy Vyatkin (Ershov Memorial Conference, 2014)

Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. - Wenbin William Dai; Valeriy Vyatkin; Victor Dubinin; James H. Christensen (ETFA, 2014)

Automatic generation of automation applications based on ontology transformations. - Victor Dubinin; Valeriy Vyatkin; Chen-Wei Yang; Cheng Pang (ETFA, 2014)

On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. - Chen-Wei Yang; Valeriy Vyatkin; Arash Mousavi; Victor Dubinin (IECON, 2014)

Decision making for industrial agents in Smart Grid applications. - Gulnara Zhabelova; Valeriy Vyatkin; Victor Dubinin (IECON, 2014)

Function block implementation of service oriented architecture: Case study. - Wenbin William Dai; James H. Christensen; Valeriy Vyatkin; Victor Dubinin (INDIN, 2014)

Migration From PLC to IEC 61499 Using Semantic Web Technologies. - Wenbin William Dai; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. - Sandeep Patil; Dmitrii Drozdov; Victor Dubinin; Valeriy Vyatkin (DoCEIS, 2015)

Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. - Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (SETTA, 2015)

Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. - Evgenii Demin; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (SOHOMA, 2015)

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 (TrustCom/BigDataSE/ISPA (3), 2015)

Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. - Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

Toward Industrially Usable Agent Technology for Smart Grid Automation. - Gulnara Zhabelova; Valeriy Vyatkin; Victor N. Dubinin (IEEE Trans. Ind. Electron., 2015)

Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability. - Wenbin William Dai; Valeriy Vyatkin; James H. Christensen; Victor N. Dubinin (IEEE Trans. Ind. Informatics, 2015)

Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. - Chen-Wei Yang; Valeriy Vyatkin; Victor Dubinin (DoCEIS, 2016)

Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. - Dmitrii Drozdov; Victor Dubinin; Valeriy Vyatkin (INDIN, 2016)

Formal verification of cyber-physical automation systems modelled with timed block diagrams. - Dmitrii Drozdov; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (ISIE, 2016)

Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. - Victor Dubinin; Ilya Senokosov; Valeriy Vyatkin (HoloMAS, 2017)

Towards formal verification for cyber-physically agnostic software: A case study. - Dmitrii Drozdov; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (IECON, 2017)

On development of execution model for model transforming distributed substation automation control with ontology. - Chen-Wei Yang; Valeriy Vyatkin; Victor Dubinin (ISIE, 2017)

Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management. - Wenbin William Dai; Victor N. Dubinin; James H. Christensen; Valeriy Vyatkin; Xinping Guan (IEEE Trans. Ind. Informatics, 2017)

Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability". - Wenbin William Dai; Valeriy Vyatkin; James H. Christensen; Victor N. Dubinin (IEEE Trans. Ind. Informatics, 2017)

Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design. - Chen-Wei Yang; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2017)

Implementation of distributed semaphores in IEC 61499 with consensus protocols. - Victor Dubinin; Artem Voinov; Ilya Senokosov; Valeriy Vyatkin (INDIN, 2018)

Towards formal ASM semantics of timed control systems for industrial CPS. - Dmitrii Drozdov; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (ETFA, 2019)

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 (INDIN, 2019)

Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. - Chen-Wei Yang; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2020)

An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (ETFA, 2022)

Process mining in industrial control systems. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (INDIN, 2022)

Plant model generation from event log using ProM for formal verification of CPS. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (CoRR, 2022)

Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. - Nan Zhou 004; Di Li 001; Valeriy Vyatkin; Victor Dubinin; Chengliang Liu 001 (IEEE Trans Autom. Sci. Eng., 2022)

Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. - Midhun Xavier; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (Petri Nets, 2023)

Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems. - Nikolai Galkin; Michail Ruchkin; Valeriy Vyatkin; Chen-Wei Yang; Victor Dubinin (IEEE Access, 2023)