Search - Archive ouverte HAL Access content directly

Filter your results

8 Results
authFullName_s : Xin Ye
Image document

CTL Model Checking of Self Modifying Code

Tayssir Touili , Xin Ye
Proceedings of the 25th INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2020), 2020
Journal articles hal-03034019v1
Image document

SMODIC: A Model Checker for Self-modifying Code

Tayssir Touili , Xin Ye
The 17th International Conference on Availability, Reliability and Security, 2022, Vienna, Austria
Conference papers hal-03863300v1
Image document

Model checking self modifying code

Xin Ye
Logic in Computer Science [cs.LO]. Université Paris Cité; East China normal university (Shanghai), 2019. English. ⟨NNT : 2019UNIP7010⟩
Theses tel-02972592v1
Image document

LTL Model Checking of Self Modifying Code.

Tayssir Touili , Xin Ye
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. IEEE 2019,, Nov 2019, Guangzhou, China
Conference papers hal-02389573v1

LTL Model Checking of Self Modifying Code.

Tayssir Touili , Xin Ye
ICECCS, 2019, Guangzhou, China
Conference papers hal-03902471v1
Image document

Dipolar Collisions of Ultracold Ground-State Bosonic Molecules

Mingyang Guo , Xin Ye , Junyu He , Maykel L González-Martínez , Romain Véxiau et al.
Physical Review X, 2018, 8 (4), pp.041044. ⟨10.1103/PhysRevX.8.041044⟩
Journal articles hal-02322536v1
Image document

LTL Model Checking of Self Modifying Code

Tayssir Touili , Xin Ye
Formal Methods in System Design, In press
Journal articles hal-03863361v1

Observation of resonant dipolar collisions in ultracold Na 23 Rb 87 rotational mixtures

Junyu He , Xin Ye , Junyu Lin , Mingyang Guo , Goulven Quéméner et al.
Physical Review Research, 2021, 3 (1), ⟨10.1103/physrevresearch.3.013016⟩
Journal articles hal-03107698v1