default search action

combined dblp search
author search
venue search
publication search

ask others

Victor Dubinin

Victor N. Dubinin

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/GalkinRVYD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GalkinRVYD23
Nikolai Galkin, Michail Ruchkin, Valeriy Vyatkin, Chen-Wei Yang, Victor Dubinin:
Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems. IEEE Access 11: 4633-4644 (2023)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/XavierPDV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/XavierPDV23
Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets 2023: 16-33
2022
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/ZhouLVDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/ZhouLVDL22
Nan Zhou, Di Li, Valeriy Vyatkin, Victor Dubinin, Chengliang Liu:
Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. IEEE Trans Autom. Sci. Eng. 19(1): 425-440 (2022)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/XavierDPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/XavierDPV22
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA 2022: 1-7
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/XavierDPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/XavierDPV22
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Process mining in industrial control systems. INDIN 2022: 1-6
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-03681
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-03681
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Plant model generation from event log using ProM for formal verification of CPS. CoRR abs/2211.03681 (2022)
2020
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/YangDV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/YangDV20
Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin:
Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. IEEE Trans. Ind. Informatics 16(1): 403-413 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DrozdovPDV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DrozdovPDV19
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA 2019: 1682-1685
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DubininVSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DubininVSV19
Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin:
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. INDIN 2019: 466-469
2018
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DubininVSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DubininVSV18
Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin:
Implementation of distributed semaphores in IEC 61499 with consensus protocols. INDIN 2018: 766-771
2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/YangDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/YangDV17
Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin:
Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design. IEEE Trans. Ind. Informatics 13(2): 668-679 (2017)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiDCVG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiDCVG17
Wenbin William Dai, Victor N. Dubinin, James H. Christensen, Valeriy Vyatkin, Xinping Guan:
Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management. IEEE Trans. Ind. Informatics 13(2): 725-736 (2017)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiVCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiVCD17
Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin:
Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability". IEEE Trans. Ind. Informatics 13(4): 1497-1502 (2017)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/holomas/DubininSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/holomas/DubininSV17
Victor Dubinin, Ilya Senokosov, Valeriy Vyatkin:
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. HoloMAS 2017: 80-91
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DrozdovPDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DrozdovPDV17
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal verification for cyber-physically agnostic software: A case study. IECON 2017: 5509-5514
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/YangVD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/YangVD17
Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin:
On development of execution model for model transforming distributed substation automation control with ontology. ISIE 2017: 1219-1225
2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/YangVD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/YangVD16
Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin:
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. DoCEIS 2016: 37-45
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DrozdovDV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DrozdovDV16
Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin:
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN 2016: 748-755
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/DrozdovPDV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/DrozdovPDV16
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE 2016: 316-321
2015
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/ZhabelovaVD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/ZhabelovaVD15
Gulnara Zhabelova, Valeriy Vyatkin, Victor N. Dubinin:
Toward Industrially Usable Agent Technology for Smart Grid Automation. IEEE Trans. Ind. Electron. 62(4): 2629-2641 (2015)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiVCD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiVCD15
Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin:
Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability. IEEE Trans. Ind. Informatics 11(3): 771-781 (2015)
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PatilDDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PatilDDV15
Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin:
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS 2015: 73-81
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/PatilDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/PatilDV15
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA 2015: 300-315
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sohoma/DeminDPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sohoma/DeminDPV15
Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA 2015: 213-221
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/DubininVH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/DubininVH15
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch:
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) 2015: 287-292
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/PatilDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/PatilDV15
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) 2015: 313-320
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/DaiDV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/DaiDV14
Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin:
Migration From PLC to IEC 61499 Using Semantic Web Technologies. IEEE Trans. Syst. Man Cybern. Syst. 44(3): 277-291 (2014)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/PatilDPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/PatilDPV14
Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin:
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference 2014: 76-91
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DaiVDC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DaiVDC14
Wenbin William Dai, Valeriy Vyatkin, Victor Dubinin, James H. Christensen:
Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. ETFA 2014: 1-8
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DubininVYP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DubininVYP14
Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang:
Automatic generation of automation applications based on ontology transformations. ETFA 2014: 1-4
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YangVMD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YangVMD14
Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin:
On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. IECON 2014: 3577-3583
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/ZhabelovaVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/ZhabelovaVD14
Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin:
Decision making for industrial agents in Smart Grid applications. IECON 2014: 3584-3590
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DaiCVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DaiCVD14
Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin:
Function block implementation of service oriented architecture: Case study. INDIN 2014: 112-117
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiDV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiDV13
Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin:
Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems. IEEE Trans. Ind. Informatics 9(4): 2124-2136 (2013)
2012
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DubininV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DubininV12
Victor Dubinin, Valeriy Vyatkin:
Semantics-Robust Design Patterns for IEC 61499. IEEE Trans. Ind. Informatics 8(2): 279-290 (2012)
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/VyatkinD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/VyatkinD10
Valeriy Vyatkin, Victor Dubinin:
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. IEEE Trans. Ind. Informatics 6(2): 155-165 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/DubininV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/DubininV08
Victor Dubinin, Valeriy Vyatkin:
On Definition of a Formal Model for IEC 61499 Function Blocks. EURASIP J. Embed. Syst. 2008 (2008)
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmr/VyatkinHKPD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmr/VyatkinHKPD06
Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin:
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. Int. J. Manuf. Res. 1(4): 382-404 (2006)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DubininVH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DubininVH06
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog. ETFA 2006: 774-781
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/DubininVP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/DubininVP05
Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer:
Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. ICRA 2005: 3996-4001

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.