Follow
Dmitrii Drozdov
Title
Cited by
Cited by
Year
Adapting software design patterns to develop reusable IEC 61499 function block applications
S Patil, D Drozdov, V Vyatkin
2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018
402018
Utilizing software design patterns in product-driven manufacturing system: A case study
D Drozdov, UD Atmojo, C Pang, S Patil, MI Ali, A Tenhunen, T Oksanen, ...
Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry …, 2020
262020
Towards formal verification for cyber-physically agnostic software: A case study
D Drozdov, S Patil, V Dubinin, V Vyatkin
IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017
182017
Cloud-based framework for practical model-checking of industrial automation applications
S Patil, D Drozdov, V Dubinin, V Vyatkin
Technological Innovation for Cloud-Based Engineering Systems: 6th IFIP WG 5 …, 2015
182015
Refactoring of IEC 61499 function block application—A case study
S Patil, D Drozdov, G Zhabelova, V Vyatkin
2018 IEEE Industrial Cyber-Physical Systems (ICPS), 726-733, 2018
172018
Formal verification of cyber-physical automation systems modelled with timed block diagrams
D Drozdov, S Patil, V Dubinin, V Vyatkin
2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), 316-321, 2016
162016
Formal modelling of distributed automation cps with cp-agnostic software
D Drozdov, S Patil, V Vyatkin
Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of …, 2017
152017
Speculative computation in IEC 61499 function blocks execution—Modeling and simulation
D Drozdov, V Dubinin, V Vyatkin
2016 IEEE 14th International Conference on Industrial Informatics (INDIN …, 2016
112016
Orchestration of Arrowhead services using IEC 61499: Distributed automation case study
H Derhamy, D Drozdov, S Patil, J Van Deventer, J Eliasson, V Vyatkin
2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016
102016
A formal model of IEC 61499-based industrial automation architecture supporting time-aware computations
D Drozdov, V Dubinin, S Patil, V Vyatkin
IEEE Open Journal of the Industrial Electronics Society 2, 169-183, 2021
92021
FB2SMV: IEC 61499 Function blocks XML code to SMV converter
D Drozdov
FB2SMV: IEC 61499 Function blocks XML code to SMV converter, 2015
62015
Formal verification of protection functions for power distribution networks
D Drozdov, S Patil, CW Yang, G Zhabelova, V Vyatkin
IECON 2018-44th Annual Conference of the IEEE Industrial Electronics Society …, 2018
52018
Towards formal ASM semantics of timed control systems for industrial CPS
D Drozdov, S Patil, V Dubinin, V Vyatkin
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
32019
Arrowhead Datamanager integration with Eclipse 4DIAC environment
M Romanato, D Drozdov, S Patil, J Delsing, V Vyatkin
2020 25th IEEE International Conference on Emerging Technologies and Factory …, 2020
22020
Petri nets behavioral equivalence checking in SMV
D Drozdov, V Dubinin, V Kulagin
2016 International Siberian Conference on Control and Communications (SIBCON …, 2016
22016
Refactoring SMV Models By Replacing Asynchronous Processes With Synchronous Ones and Its Application to Petri Nets and IEC 61499 Function Blocks Domains
D Drozdov, V Dubinin, S Patil, V Vyatkin
Новые информационные технологии и системы: сб. науч. ст., 255, 2014
12014
Plant Abstraction for IEC 61499 Closed-Loop Model Checking
D Drozdov, V Dubinin, S Patil, V Vyatkin
11th International Scientific and Technical Conference" New Information …, 2014
12014
Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations
D Drozdov
Luleċ University of Technology, 2021
2021
A Ait El Cadi, Abdessamad, 27 Albarrán, Juan Cardillo, 352
MI Ali, N Allanic, P André, F Anton, S Anton, O Antons, ...
Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry …, 2019
2019
2021 Index IEEE Open Journal of the Industrial Electronics Society Vol. 2
B Arabsalmanabadi, R Ayyanar, B Bahrani, A Bakeer, D Barater, ...
The system can't perform the operation now. Try again later.
Articles 1–20