Victor Dubinin

36 papers A* 1B 1C 13Misc 1Journal 11Unranked 9
YearRankTypeTitle / 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
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling