Dmitrii Drozdov

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 13

Top Topics

Formal Verification

Distribution Network

Top Venues

Publications

Chen-Wei Yang, Nikolai Galkin, Dmitrii Drozdov, Valeriy Vyatkin
On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study. ISIE (2024)
Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin
Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA (2020)
Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin
Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study. SOHOMA (2019)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA (2019)
Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin
Refactoring of IEC 61499 function block application - A case study. ICPS (2018)
Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. INDIN (2018)
Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin
Formal Verification of Protection Functions for Power Distribution Networks. IECON (2018)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Towards formal verification for cyber-physically agnostic software: A case study. IECON (2017)
Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin
Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. ETFA (2016)
Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN (2016)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE (2016)
Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. SOHOMA (2016)
Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS (2015)