Dmitrii Drozdov

According to our database, Dmitrii Drozdov authored at least 14 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study.

Chen-Wei Yang, Nikolai Galkin, Dmitrii Drozdov, Valeriy Vyatkin

Proceedings of the 33rd IEEE International Symposium on Industrial Electronics, 2024

2021

Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations.

Dmitrii Drozdov

PhD thesis, 2021

2020

Arrowhead Datamanager integration with Eclipse 4DIAC environment.

Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study.

Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin

Proceedings of the 9th Workshop on Service Oriented, 2019

Towards formal ASM semantics of timed control systems for industrial CPS.

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications.

Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Formal Verification of Protection Functions for Power Distribution Networks.

Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin

Proceedings of the IECON 2018, 2018

Refactoring of IEC 61499 function block application - A case study.

Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017

Towards formal verification for cyber-physically agnostic software: A case study.

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016

Formal Modelling of Distributed Automation CPS with CP-Agnostic Software.

Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2016

Formal verification of cyber-physical automation systems modelled with timed block diagrams.

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016

Speculative computation in IEC 61499 function blocks execution - Modeling and simulation.

Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Orchestration of Arrowhead services using IEC 61499: Distributed automation case study.

Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications.

Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin

Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015