In: University Fair Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), Lyon, France, 2025.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 11-12, Rostock, Germany, 2025.
Julio Daniel Guerra Hollstein; Shaoyi Huang; Rolf Drechsler; Bing Li; Yalin Zhang
In: Lixiang Yan; Andy Nguyen; Ryan Baker; Mutlu Cukurova; Dragan Gasevic; Kaixun Yang; Yueqiao Jin; Linxuan Zhao; Yuheng Li (Hrsg.). Proceedings of the Second International Workshop on Generative AI for Learning Analytics co-located with the 15th International Conference on Learning Analytics and Knowledge (LAK 2025). International Workshop on Generative AI for Learning Analytics (GenAI-LA-2025), March 3, Dublin, Ireland, Pages 22-31, CEUR Workshop Proceedings (CEUR), Vol. 3994, CEUR-WS.org, 7/2025.