-
Formal Verification of IEC 61499 Function Block Networks using Interface Automata
Peherstorfer, A., Zivotin, D. & Zoitl, A., 01 Sept 2025, In: IFAC-PapersOnLine. 59, 25, p. 143-148 6 p.Research output: Contribution to journal › Conference article › peer-review
-
Towards Event Flow Graphs for Analyzing Event Propagation in IEC 61499
Zivotin, D. & Zoitl, A., 21 Oct 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). Almeida, L., Indria, M., de Sousa, M., Visioli, A., Ashjaei, M. & Santos, P. (eds.). 1 ed. IEEE, p. 1-8 8 p. 11205700. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Deodorant for Shotgun Surgery Bad Smell in IEC 61499-Based Control Software
Zivotin, D., Sonnleithner, L. & Zoitl, A., 2024, 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). Facchinetti, T., Cenedese, A., Bello, L. L., Vitturi, S., Sauter, T. & Tramarin, F. (eds.). IEEE, 8 p. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Shotgun Surgery Bad Smell Detection in IEC 61499
Zivotin, D., 29 Jul 2024, 47 p.Research output: Thesis › Master's / Diploma thesis
-
Variability Extraction Methodologies for Developing Reusable Control Software Artifacts in IEC 61499
Sharma, S., Zivotin, D., Fadhlillah, H., Sonnleithner, L., Rabiser, R. & Zoitl, A., Oct 2024, Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2024). Facchinetti, T., Cenedese, A., Bello, L. L., Vitturi, S., Sauter, T. & Tramarin, F. (eds.). New York, USA: IEEE, p. 1-8 8 p. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
- Emaildunja.zivotinjkuat