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 2017 and 2022.

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

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

LTL Model Checking of Self Modifying Code.
[BibTeX]
[DOI]
Tayssir Touili
,
Xin Ye
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2017
Reachability Analysis of Self Modifying Code.
[BibTeX]
[DOI]
Tayssir Touili
,
Xin Ye
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017


  Loading...