Tello, A. & Degeler, V., 14-mei-2025, 40th Annual ACM Symposium on
Applied Computing, SAC 2025.Association for Computing
Machinery, blz. 630-6378 blz. (Proceedings of the ACM
Symposium on Applied Computing).
Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. V. H., Tello, A. & Truong,
H., 2024, Leveraging
Applications of Formal Methods, Verification and Validation :
Application Areas. Margaria, T. & Steffen, B. (reds.).
Springer International Publishing, Cham, Switzerland,
blz. 62-8221 blz.
Tello, A., Degeler, V. & Lazovik, A., 23-apr.-2024, 2024 IEEE International
Conference on Pervasive Computing and Communications Workshops and
other Affiliated Events, PerCom Workshops 2024.IEEE, blz. 511-5177 blz. (2024 IEEE International
Conference on Pervasive Computing and Communications Workshops and
other Affiliated Events, PerCom Workshops 2024).
Riesebos, R., Degeler, V. & Tello, A., 22-okt.-2022, 2022 IEEE 18th International
Conference on Automation Science and Engineering, CASE 2022.IEEE, blz. 1281-12888 blz. (IEEE International Conference
on Automation Science and Engineering; vol. 2022-August).