Sandeep Patil
Post doktor
Luleå tekniska universitet
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
Publikationer
Artikel i tidskrift
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems (2019)
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)
Ingår i: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), s. 725-732, IEEE, 2018
Doktorsavhandling, sammanläggning
Enhanced engineering of component-based industrial automation systems using formal methods (2018)
Konferensbidrag
Formal verification of protection functions for power distribution networks (2018)
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
Paper presented at : 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018
