Victor Dubinin

36 papers A* 1B 1C 13Misc 1Journal 11Unranked 9

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems. IEEE Access Nikolai Galkin, Michail Ruchkin, Valeriy Vyatkin, Chen-Wei Yang, Victor Dubinin
2023	B	`conf`	Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2022	C	`conf`	An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022	J	`jnl`	Plant model generation from event log using ProM for formal verification of CPS. CoRR Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022	C	`conf`	Process mining in industrial control systems. INDIN Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022	J	`jnl`	Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. IEEE Trans Autom. Sci. Eng. Nan Zhou, Di Li, Valeriy Vyatkin, Victor Dubinin, Chengliang Liu
2020	J	`jnl`	Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. IEEE Trans. Ind. Informatics Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin
2019	C	`conf`	Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. INDIN Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin
2019	C	`conf`	Towards formal ASM semantics of timed control systems for industrial CPS. ETFA Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2018	C	`conf`	Implementation of distributed semaphores in IEC 61499 with consensus protocols. INDIN Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin
2017	—	`conf`	Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. HoloMAS Victor Dubinin, Ilya Senokosov, Valeriy Vyatkin
2017	—	`conf`	On development of execution model for model transforming distributed substation automation control with ontology. ISIE Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
2017	J	`jnl`	Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design. IEEE Trans. Ind. Informatics Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin
2017	C	`conf`	Towards formal verification for cyber-physically agnostic software: A case study. IECON Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016	—	`conf`	Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. DoCEIS Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
2016	—	`conf`	Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016	C	`conf`	Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
2015	—	`conf`	Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2015	—	`conf`	Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
2015	Misc	`conf`	Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2015	—	`conf`	Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2015	—	`conf`	Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
2014	C	`conf`	Automatic generation of automation applications based on ontology transformations. ETFA Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang
2014	C	`conf`	Decision making for industrial agents in Smart Grid applications. IECON Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin
2014	C	`conf`	Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. ETFA Wenbin William Dai, Valeriy Vyatkin, Victor Dubinin, James H. Christensen
2014	C	`conf`	Function block implementation of service oriented architecture: Case study. INDIN Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin
2014	J	`jnl`	Migration From PLC to IEC 61499 Using Semantic Web Technologies. IEEE Trans. Syst. Man Cybern. Syst. Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin
2014	—	`conf`	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
2014	C	`conf`	On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. IECON Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin
2013	J	`jnl`	Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems. IEEE Trans. Ind. Informatics Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin
2012	J	`jnl`	Semantics-Robust Design Patterns for IEC 61499. IEEE Trans. Ind. Informatics Victor Dubinin, Valeriy Vyatkin
2010	J	`jnl`	Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. IEEE Trans. Ind. Informatics Valeriy Vyatkin, Victor Dubinin
2008	J	`jnl`	On Definition of a Formal Model for IEC 61499 Function Blocks. EURASIP J. Embed. Syst. Victor Dubinin, Valeriy Vyatkin
2006	C	`conf`	Modelling and Verification of IEC 61499 Applications using Prolog. ETFA Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
2006	J	`jnl`	Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. Int. J. Manuf. Res. Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin
2005	A*	`conf`	Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. ICRA Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer