Learning from Mistakes in an Open Source Software Course. - Olzhas Zhangeldinov (SEFM Workshops, 2021)

LTL Model Checking of Concurrent Self Modifying Code. - Tayssir Touili; Olzhas Zhangeldinov (ICECCS, 2025)