6 results  save search


...
hal-02106219v1  Journal articles
Feng DingZiwei XuBoris YakobsonRobert YoungIan Kinloch et al.  Formation mechanism of peapod-derived double-walled carbon nanotubes
Physical Review B : Condensed matter and materials physics, American Physical Society, 2010, 82 (4), pp.041403. ⟨10.1103/PhysRevB.82.041403⟩
...
hal-01285662v1  Journal articles
Kai HuTeng ZhangZhibin YangWei-Tek Tsai. Exploring AADL verification tool through model transformation
Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩
...
hal-01298793v1  Journal articles
Zhibin YangJean-Paul BodeveixMamoun FilaliKai HuYongwang Zhao et al.  Towards a verified compiler prototype for the synchronous language SIGNAL
Frontiers of Computer Science, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. ⟨10.1007/s11704-015-4364-y⟩