Filter your results
- 6
- 2
- 4
- 3
- 1
- 6
- 2
- 2
- 1
- 1
- 3
- 1
- 8
- 5
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
|
|
sorted by
|
|
CTL Model Checking of Self Modifying CodeProceedings of the 25th INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2020), 2020
Journal articles
hal-03034019v1
|
||
|
SMODIC: A Model Checker for Self-modifying CodeThe 17th International Conference on Availability, Reliability and Security, 2022, Vienna, Austria
Conference papers
hal-03863300v1
|
||
|
Model checking self modifying codeLogic in Computer Science [cs.LO]. Université Paris Cité; East China normal university (Shanghai), 2019. English. ⟨NNT : 2019UNIP7010⟩
Theses
tel-02972592v1
|
||
|
LTL Model Checking of Self Modifying Code.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.ICECCS, 2019, Guangzhou, China
Conference papers
hal-03902471v1
|
|||
|
Dipolar Collisions of Ultracold Ground-State Bosonic MoleculesPhysical Review X, 2018, 8 (4), pp.041044. ⟨10.1103/PhysRevX.8.041044⟩
Journal articles
hal-02322536v1
|
||
|
LTL Model Checking of Self Modifying CodeFormal Methods in System Design, In press
Journal articles
hal-03863361v1
|
||
|
Observation of resonant dipolar collisions in ultracold Na 23 Rb 87 rotational mixturesPhysical Review Research, 2021, 3 (1), ⟨10.1103/physrevresearch.3.013016⟩
Journal articles
hal-03107698v1
|