Dmitrii Drozdov

Research subject: Dependable Communication and Computation Systems

Division: Computer Science

Department of Computer Science, Electrical and Space Engineering

dmitrii.drozdov@associated.ltu.se
+46 (0)920 492922
A3303 Luleå

Publications

Article in journal

A formal model of IEC 61499-based Industrial automation architecture supporting time-aware computations (2021)

Drozdov. D, Dubinin. V, Patil. S, Vyatkin. V

IEEE Open Journal of the Industrial Electronics Society, Vol. 2, s. 169-183

Doctoral thesis, comprehensive summary

Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations (2021)

Drozdov. D

Full text

Conference paper

Arrowhead Datamanager integration with Eclipse 4DIAC environment (2020)

Romanato. M, Drozdov. D, Patil. S, Delsing. J, Vyatkin. V

Part of: Proceedings, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1377-1380, IEEE, 2020

Conference paper

Utilizing Software Design Patterns in Product-Driven Manufacturing System (2020)

A Case Study

Drozdov. D, Atmojo. U, Pang. C, Patil. S, Ali. M, Tenhunen. A, et al.

Part of: Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, Proceedings of SOHOMA 2019, s. 301-312, Springer Nature, 2020

Conference paper

Towards formal ASM semantics of timed control systems for industrial CPS (2019)

Drozdov. D, Patil. S, Dubinin. V, Vyatkin. V

Part of: Proceedings, 2019 24th IEEE InternationalConference on Emerging Technologiesand Factory Automation (ETFA), s. 1682-1685, IEEE, 2019

Full text

Find more in the publications portal

Published:13 August 2014

Edit page