Sandeep Patil
Sandeep Patil

Sandeep Patil

Postdoctoral position
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
+46 (0)920 493621
A3317 Luleå


Article in journal

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems (2019)

Sinha. R, Patil. S, Gomes. L, Vyatkin. V
IEEE Transactions on Industrial Informatics, Vol. 15, nr. 7, s. 3772-3783
Conference paper

Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications (2018)

Patil. S, Drozdov. D, Vyatkin. V
Part of: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), s. 725-732, IEEE, 2018
Conference paper

Formal verification of protection functions for power distribution networks (2018)

Drozdov. D, Patil. S, Yang. C, Zhabelova. G, Vyatkin. V
Part of: IECON 2018, 44th Annual Conference of the IEEE Industrial Electronics Society, 2018
Conference paper

Refactoring of IEC 61499 function block application (2018)

A case study
Patil. S, Drozdov. D, Zhabelova. G, Vyatkin. V
Paper presented at : 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018