We stand with Ukraine  

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.
[BibTeX]
[DOI]
Tayssir Touili
,
Xin Ye
Int. J. Found. Comput. Sci., August, 2023

2022
LTL model checking of self modifying code.
[BibTeX]
[DOI]
Tayssir Touili
,
Xin Ye
Formal Methods Syst. Des., April, 2022

SMODIC: A Model Checker for Self-modifying Code.
[BibTeX]
[DOI]
Tayssir Touili
,
Xin Ye
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.
[BibTeX]
[DOI]
Tayssir Touili
,
Xin Ye
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).
[BibTeX]
[DOI]
Xin Ye
PhD thesis, 2019


  Loading...