Xin Ye

Affiliations:
  • East China Normal University, Shanghai, China
  • University Paris 13, Université Sorbonne Paris Nord, France


According to our database1, Xin Ye authored at least 5 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Reachability Analysis of Self Modifying Code.
Int. J. Found. Comput. Sci., August, 2023

2022
LTL model checking of self modifying code.
Formal Methods Syst. Des., April, 2022

SMODIC: A Model Checker for Self-modifying Code.
Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2020
CTL Model Checking of Self Modifying Code.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019
Model checking self modifying code. (Vérification de code auto-modifiant).
PhD thesis, 2019


  Loading...