Victor Dubinin
Orcid: 0000-0002-5761-2249
According to our database1,
Victor Dubinin
authored at least 40 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems.
IEEE Access, 2023
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems.
IEEE Trans Autom. Sci. Eng., 2022
CoRR, 2022
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2020
Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control.
IEEE Trans. Ind. Informatics, 2020
2019
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
2017
Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design.
IEEE Trans. Ind. Informatics, 2017
Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability".
IEEE Trans. Ind. Informatics, 2017
Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management.
IEEE Trans. Ind. Informatics, 2017
On development of execution model for model transforming distributed substation automation control with ontology.
Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification.
Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2017
2016
Formal verification of cyber-physical automation systems modelled with timed block diagrams.
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies.
Proceedings of the Technological Innovation for Cyber-Physical Systems, 2016
2015
Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability.
IEEE Trans. Ind. Informatics, 2015
IEEE Trans. Ind. Electron., 2015
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2015
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications.
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015
2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM.
Proceedings of the Perspectives of System Informatics, 2014
2013
Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems.
IEEE Trans. Ind. Informatics, 2013
2012
2010
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard.
IEEE Trans. Ind. Informatics, 2010
2008
EURASIP J. Embed. Syst., 2008
2006
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.
Int. J. Manuf. Res., 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
2005
Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005