Model checking self modifying code. (Vérification de code auto-modifiant). - Xin Ye 007 (2019)

CTL Model Checking of Self Modifying Code. - Tayssir Touili; Xin Ye 007 (ICECCS, 2020)

SMODIC: A Model Checker for Self-modifying Code. - Tayssir Touili; Xin Ye 007 (ARES, 2022)

LTL model checking of self modifying code. - Tayssir Touili; Xin Ye 007 (Formal Methods Syst. Des., 2022)

Reachability Analysis of Self Modifying Code. - Tayssir Touili; Xin Ye 007 (Int. J. Found. Comput. Sci., 2023)