-
Formal Verification of IEC 61499 Function Block Networks using Interface Automata
Peherstorfer, A., Zivotin, D. & Zoitl, A., 01 Sep. 2025, in: IFAC-PapersOnLine. 59, 25, S. 143-148 6 S.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung
-
Towards Event Flow Graphs for Analyzing Event Propagation in IEC 61499
Zivotin, D. & Zoitl, A., 21 Okt. 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. (Hrsg.). 1 Aufl. IEEE, S. 1-8 8 S. 11205700. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
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. (Hrsg.). IEEE, 8 S. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Shotgun Surgery Bad Smell Detection in IEC 61499
Zivotin, D., 29 Juli 2024, 47 S.Publikation: Abschlussarbeiten › Master-/Diplomarbeit
-
Variability Extraction Methodologies for Developing Reusable Control Software Artifacts in IEC 61499
Sharma, S., Zivotin, D., Fadhlillah, H., Sonnleithner, L., Rabiser, R. & Zoitl, A., Okt. 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. (Hrsg.). New York, USA: IEEE, S. 1-8 8 S. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Auszeichnungen
-
Kepler Awards für Wissenschaftsvermittlung
Zivotin, D. (Empfänger*in), 2026
Auszeichnung: Preis, Auszeichnung oder Ehrung