| Adapting software design patterns to develop reusable IEC 61499 function block applications S Patil, D Drozdov, V Vyatkin 2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018 | 40 | 2018 |
| Utilizing software design patterns in product-driven manufacturing system: A case study D Drozdov, UD Atmojo, C Pang, S Patil, MI Ali, A Tenhunen, T Oksanen, ... Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry …, 2020 | 26 | 2020 |
| Towards formal verification for cyber-physically agnostic software: A case study D Drozdov, S Patil, V Dubinin, V Vyatkin IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017 | 18 | 2017 |
| Cloud-based framework for practical model-checking of industrial automation applications S Patil, D Drozdov, V Dubinin, V Vyatkin Technological Innovation for Cloud-Based Engineering Systems: 6th IFIP WG 5 …, 2015 | 18 | 2015 |
| Refactoring of IEC 61499 function block application—A case study S Patil, D Drozdov, G Zhabelova, V Vyatkin 2018 IEEE Industrial Cyber-Physical Systems (ICPS), 726-733, 2018 | 17 | 2018 |
| Formal verification of cyber-physical automation systems modelled with timed block diagrams D Drozdov, S Patil, V Dubinin, V Vyatkin 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), 316-321, 2016 | 16 | 2016 |
| Formal modelling of distributed automation cps with cp-agnostic software D Drozdov, S Patil, V Vyatkin Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of …, 2017 | 15 | 2017 |
| Speculative computation in IEC 61499 function blocks execution—Modeling and simulation D Drozdov, V Dubinin, V Vyatkin 2016 IEEE 14th International Conference on Industrial Informatics (INDIN …, 2016 | 11 | 2016 |
| Orchestration of Arrowhead services using IEC 61499: Distributed automation case study H Derhamy, D Drozdov, S Patil, J Van Deventer, J Eliasson, V Vyatkin 2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016 | 10 | 2016 |
| A formal model of IEC 61499-based industrial automation architecture supporting time-aware computations D Drozdov, V Dubinin, S Patil, V Vyatkin IEEE Open Journal of the Industrial Electronics Society 2, 169-183, 2021 | 9 | 2021 |
| FB2SMV: IEC 61499 Function blocks XML code to SMV converter D Drozdov FB2SMV: IEC 61499 Function blocks XML code to SMV converter, 2015 | 6 | 2015 |
| Formal verification of protection functions for power distribution networks D Drozdov, S Patil, CW Yang, G Zhabelova, V Vyatkin IECON 2018-44th Annual Conference of the IEEE Industrial Electronics Society …, 2018 | 5 | 2018 |
| Towards formal ASM semantics of timed control systems for industrial CPS D Drozdov, S Patil, V Dubinin, V Vyatkin 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 3 | 2019 |
| Arrowhead Datamanager integration with Eclipse 4DIAC environment M Romanato, D Drozdov, S Patil, J Delsing, V Vyatkin 2020 25th IEEE International Conference on Emerging Technologies and Factory …, 2020 | 2 | 2020 |
| Petri nets behavioral equivalence checking in SMV D Drozdov, V Dubinin, V Kulagin 2016 International Siberian Conference on Control and Communications (SIBCON …, 2016 | 2 | 2016 |
| Refactoring SMV Models By Replacing Asynchronous Processes With Synchronous Ones and Its Application to Petri Nets and IEC 61499 Function Blocks Domains D Drozdov, V Dubinin, S Patil, V Vyatkin Новые информационные технологии и системы: сб. науч. ст., 255, 2014 | 1 | 2014 |
| Plant Abstraction for IEC 61499 Closed-Loop Model Checking D Drozdov, V Dubinin, S Patil, V Vyatkin 11th International Scientific and Technical Conference" New Information …, 2014 | 1 | 2014 |
| Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations D Drozdov Luleå University of Technology, 2021 | | 2021 |
| A Ait El Cadi, Abdessamad, 27 Albarrán, Juan Cardillo, 352 MI Ali, N Allanic, P André, F Anton, S Anton, O Antons, ... Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry …, 2019 | | 2019 |
| 2021 Index IEEE Open Journal of the Industrial Electronics Society Vol. 2 B Arabsalmanabadi, R Ayyanar, B Bahrani, A Bakeer, D Barater, ... | | |
Valeriy VyatkinAalto University; Luleå University of TechnologyVerified email at aalto.fi
