Personal information

Activities

Employment (3)

Luleå University of Technology: Luleå, SE

2023-02 to present
Employment
Source: Self-asserted source
Dmitrii Drozdov

Flexbridge AB: Luleå, SE

2018 to present | Chief Technology Officer
Employment
Source: Self-asserted source
Dmitrii Drozdov

Luleå University of Technology: Luleå, SE

2017-09-01 to 2021-09
Employment
Source: Self-asserted source
Dmitrii Drozdov

Works (11)

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

IEEE Open Journal of the Industrial Electronics Society
2021 | Journal article
Contributors: Dmitrii Drozdov; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin
Source: check_circle
Crossref

Adapting Software Design Patterns to Develop Reusable IEC 61499 Function Block Applications

Proceedings - IEEE 16th International Conference on Industrial Informatics, INDIN 2018
2018 | Conference paper
EID:

2-s2.0-85050108283

Contributors: Patil, S.; Drozdov, D.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

Formal verification of protection functions for power distribution networks

Proceedings: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society
2018 | Conference paper
EID:

2-s2.0-85061554077

Contributors: Drozdov, D.; Patil, S.; Yang, C.-W.; Zhabelova, G.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

Refactoring of IEC 61499 function block application - A case study

Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018
2018 | Conference paper
EID:

2-s2.0-85050089105

Contributors: Patil, S.; Drozdov, D.; Zhabelova, G.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

Formal modelling of distributed automation CPS with CP-agnostic software

Studies in Computational Intelligence
2017 | Book chapter
EID:

2-s2.0-85014890468

Contributors: Drozdov, D.; Patil, S.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

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

IEEE International Conference on Industrial Informatics (INDIN)
2017 | Conference paper
EID:

2-s2.0-85012881137

Contributors: Drozdov, D.; Dubinin, V.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

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

Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
2017 | Conference paper
EID:

2-s2.0-85046663009

Contributors: Drozdov, D.; Patil, S.; Dubinin, V.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

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

IEEE International Symposium on Industrial Electronics
2016 | Conference paper
EID:

2-s2.0-85001086083

Contributors: Drozdov, D.; Patil, S.; Dubinin, V.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

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

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2016 | Conference paper
EID:

2-s2.0-84996599557

Contributors: Derhamy, H.; Drozdov, D.; Patil, S.; Van Deventer, J.; Eliasson, J.; Vyatkin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

Petri nets behavioral equivalence checking in SMV

2016 International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings
2016 | Conference paper
EID:

2-s2.0-84978137152

Contributors: Drozdov, D.; Dubinin, V.; Kulagin, V.
Source: Self-asserted source
Dmitrii Drozdov via Scopus - Elsevier

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

Technological Innovation For Cloud-Based Engineering Systems
2015 | Book chapter
WOSUID:

WOS:000373369600008

Contributors: Patil, Sandeep; Drozdov, Dmitrii; Dubinin, Victor; Vyatkin, Valeriy; CamarinhaMatos, LM; Baldissera, TA; DiOrio, G; Marques, F
Source: Self-asserted source
Dmitrii Drozdov via ResearcherID
grade
Preferred source (of 2)‎