Sandeep Patil
Sandeep Patil

Sandeep Patil

Senior Lecturer
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
sandeep.patil@ltu.se
+46 (0)920 493621
A3317 Luleå

Publications

Article in journal

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
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

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

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