

Sandeep Patil
Universitetslektor
Luleå tekniska universitet
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
Publikationer
Konferensbidrag
Arrowhead Datamanager integration with Eclipse 4DIAC environment (2020)
Ingår i: Proceedings, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1377-1380, IEEE, 2020
Artikel i tidskrift
Automatic state machine reconstruction from legacy PLC using data collection and SAT solver (2020)
IEEE Transactions on Industrial Informatics, Vol. 16, nr. 12, s. 7821-7831
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
Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform (2019)
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)
Ingår i: Proceedings, 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), s. 147-151, IEEE, 2019