Sandeep Patil
Sandeep Patil

Sandeep Patil

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

Publikationer

Artikel i tidskrift

Automatic state machine reconstruction from legacy PLC using data collection and SAT solver (2020)

Chivilikhin. D, Patil. S, Chukharev. K, Cordonnier. A, Vyatkin. V
IEEE Transactions on Industrial Informatics
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

Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform (2019)

Barni. A, Brusaferri. A, Cavadini. F, Landolf. G, Patil. S, Piga. D, et al.
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 635-640, IEEE, 2019
Konferensbidrag

Towards automatic state machine reconstruction from legacy PLC using data collection (2019)

Chivilikhin. D, Patil. S, Cordonnier. A, Vyatkin. V
Ingår i: Proceedings, 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 147-151, IEEE, 2019
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