Dmitrii Drozdov

Orcid: 0000-0002-7001-3435

According to our database1, Dmitrii Drozdov authored at least 13 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations.
PhD thesis, 2021

2020
Arrowhead Datamanager integration with Eclipse 4DIAC environment.
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.
Proceedings of the 9th Workshop on Service Oriented, 2019

Towards formal ASM semantics of timed control systems for industrial CPS.
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.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Formal Verification of Protection Functions for Power Distribution Networks.
Proceedings of the IECON 2018, 2018

Refactoring of IEC 61499 function block application - A case study.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017
Towards formal verification for cyber-physically agnostic software: A case study.
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.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 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

Orchestration of Arrowhead services using IEC 61499: Distributed automation case study.
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.
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015


  Loading...