Sandeep Patil
Sandeep Patil

Sandeep Patil

Post doktor
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
sandeep.patil@ltu.se
0920-493621
A3317 Luleå

Publikationer

Artikel i tidskrift

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
Konferensbidrag

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

Patil. S, Drozdov. D, Vyatkin. V
Ingår i: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), s. 725-732, IEEE, 2018
Konferensbidrag

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

Drozdov. D, Patil. S, Yang. C, Zhabelova. G, Vyatkin. V
Ingår i: IECON 2018, 44th Annual Conference of the IEEE Industrial Electronics Society, 2018
Konferensbidrag

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