Xin Ye

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 8

Top Topics

Transition Systems

Reachability Analysis

Top Venues

Int. J. Found. Comput. Sci.

Publications

Tayssir Touili, Xin Ye
Reachability Analysis of Self Modifying Code. Int. J. Found. Comput. Sci. 34 (5) (2023)
Tayssir Touili, Xin Ye
SMODIC: A Model Checker for Self-modifying Code. ARES (2022)
Tayssir Touili, Xin Ye
LTL model checking of self modifying code. Formal Methods Syst. Des. 60 (2) (2022)
Tayssir Touili, Xin Ye
CTL Model Checking of Self Modifying Code. ICECCS (2020)
Tayssir Touili, Xin Ye
LTL Model Checking of Self Modifying Code. ICECCS (2019)
Tayssir Touili, Xin Ye
LTL Model Checking of Self Modifying Code. CoRR (2019)
Tayssir Touili, Xin Ye
Reachability Analysis of Self Modifying Code. CoRR (2019)
Tayssir Touili, Xin Ye
Reachability Analysis of Self Modifying Code. ICECCS (2017)