Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
2024
A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
Xavier, M., Dubinin, V., Patil, S. & Vyatkin, V., 21 kesäk. 2024, julkaisussa: IEEE Open Journal of the Industrial Electronics Society. 5, s. 517-534 18 SivumääräTutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu
Open accessTiedosto7 Lataukset (Pure) -
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System
Xavier, M., Patil, S. & Vyatkin, V., 2024, 2024 33rd International Symposium on Industrial Electronics, ISIE 2024 - Proceedings. IEEE, 6 Sivumäärä (IEEE International Symposium on Industrial Electronics).Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu
-
Probabilistic Model Checking for IEC 61499: A Manufacturing Application
Faqrizal, I., Liakh, T., Xavier, M., Salaün, G. & Vyatkin, V., 2024, ICIT 2024 - 2024 25th International Conference on Industrial Technology. IEEE, 6 Sivumäärä (Proceedings of the IEEE International Conference on Industrial Technology).Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu
-
2023
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS
Xavier, M., Sobha, P., Patil, S. & Vyatkin, V., 2023, 2023 IEEE 21st International Conference on Industrial Informatics, INDIN 2023. Dorksen, H., Scanzio, S., Jasperneite, J., Wisniewski, L., Man, K. F., Sauter, T., Seno, L., Trsek, H. & Vyatkin, V. (toim.). IEEE, (IEEE International Conference on Industrial Informatics (INDIN); Vuosikerta 2023-July).Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu
1 Sitaatiot (Scopus)