Olzhas Zhangeldinov

Orcid: 0009-0006-6381-9138

According to our database¹, Olzhas Zhangeldinov authored at least 3 papers between 2021 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

CTL Model Checking of Concurrent Self Modifying Code.

[DOI]

Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, 2026

2025

LTL Model Checking of Concurrent Self Modifying Code.

[DOI]

Proceedings of the Engineering of Complex Computer Systems - 29th International Conference, 2025

2021

Learning from Mistakes in an Open Source Software Course.

[DOI]

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021