Dmitrii Drozdov

16 papers C 8Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
Inpainting of Sparse Tracks Image Satellite Using Plug and Play and Learned Prior.
VISAPP (1)
Dmitrii Drozdov, Pierre Garcia, Dominique Béréziat, Anastase Alexandre Charantonis
2025 C conf
LLM-based Iterative Requirements Refinement in FSM with IEC 61499 Code Generation.
INDIN
Valeriy Vyatkin, Sandeep Patil, Dmitrii Drozdov, Anatoly Shalyto
2024 — conf
On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study.
ISIE
Chen-Wei Yang, Nikolai Galkin, Dmitrii Drozdov, Valeriy Vyatkin
2021 — —
Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations.
Dmitrii Drozdov
2020 C conf
Arrowhead Datamanager integration with Eclipse 4DIAC environment.
ETFA
Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin
2019 C conf
Towards formal ASM semantics of timed control systems for industrial CPS.
ETFA
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2019 — conf
Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study.
SOHOMA
Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin
2018 C conf
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications.
INDIN
Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin
2018 C conf
Formal Verification of Protection Functions for Power Distribution Networks.
IECON
Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin
2018 — conf
Refactoring of IEC 61499 function block application - A case study.
ICPS
Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin
2017 C conf
Towards formal verification for cyber-physically agnostic software: A case study.
IECON
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016 — conf
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software.
SOHOMA
Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin
2016 — conf
Formal verification of cyber-physical automation systems modelled with timed block diagrams.
ISIE
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016 C conf
Orchestration of Arrowhead services using IEC 61499: Distributed automation case study.
ETFA
Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin
2016 C conf
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation.
INDIN
Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
2015 — conf
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications.
DoCEIS
Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin