Imane El Ghabi, I., Alief, R. N., Dustegor, D., Heckens, G., Lazovik, A. & Degeler, V., jan-2026, (Accepted/In press) Proceedings
of th 41st ACM/SIGAPP Symposium on Applied Computing.
Boughzala, B., Koldehofe, B. & Lazovik, A., 1-dec-2025, 45th IEEE International
Conference on Distributed Computing Systems (IEEE ICDCS 2025).IEEE, 6 blz.
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.
