Items where Institution is :Other partners > Beihang University (CHINA)

Wang, Mengying and Barnabé, Antoine and Thimont, Yohann and Wang, Jinmin and He, Yingchun and Liu, Qirong and Zhong, Xiaolan and Dong, Guobo and Yang, Jiaming and Diao, Xungang Optimized properties of innovative ElectroChromic Device using ITO / Ag / ITO electrodes. (2019) Electrochimica Acta, 301. 200-208. ISSN 0013-4686

Fu, B. and Popa, Daniel and Zhao, Z. and Hussain, Syed Asad and Flahaut, Emmanuel and Hasan, Tawfique and Soavi, Giancarlo and Ferrari, Andrea C. Wavelength tunable soliton rains in a nanotube-mode locked Tm-doped fiber laser. (2018) Applied Physics Letters, 113 (19). 193102. ISSN 0003-6951

Dong, Dongmei and Wang, Wenwen and Barnabé, Antoine and Presmanes, Lionel and Rougier, Aline and Dong, Guobo and Zhang, Fan and Yu, Hang and He, Yingchun and Diao, Xungang Enhanced electrochromism in short wavelengths for NiO:(Li, Mg) films in full inorganic device ITO/NiO:(Li, Mg)/Ta2O5/WO3/ITO. (2018) Electrochimica Acta, 263. 277-285. ISSN 0013-4686

Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and D'Ausbourg, Bruno and Aït-Ameur, Yamine Formal development process of safety critical embedded human machine interface systems. (2018) In: TASE (11th International Symposium on Theoretical Aspects of Software Engineering), 13 September 2017 - 15 September 2017, Sophia Antipolis (France) (Sophia Antipolis, France).

Dong, Dongmei and Wang, Wenwen and Rougier, Aline and Dong, Guobo and Da Rocha, Mathias and Presmanes, Lionel and Zrikem, Khawla and Song, Giljoo and Diao, Xungang and Barnabé, Antoine Life-cycling and uncovering cation-trapping evidence of a monolithic inorganic electrochromic device: glass/ITO/WO3/LiTaO3/NiO/ITO. (2018) Nanoscale, 10 (35). 16521-16530. ISSN 2040-3364

Dong, Dongmei and Wang, Wenwen and Rougier, Aline and Barnabé, Antoine and Dong, Guobo and Zhang, Fan and Diao, Xungang Lithium trapping as a degradation mechanism of the electrochromic properties of all-solid-state WO3//NiO devices. (2018) Journal of Materials Chemistry. C, 6 (37). 9875-9889. ISSN 2050-7526

Wang, Mengying and Thimont, Yohann and Presmanes, Lionel and Diao, Xungang and Barnabé, Antoine The effect of the oxygen ratio control of DC reactive magnetron sputtering on as-deposited non stoichiometric NiO thin films. (2017) Applied Surface Science, 419. 795-801. ISSN 0169-4332

Ge, Ning and Jenn, Eric and Breton, Nicolas and Fonteneau, Yoann Integrated formal verification of safety-critical software. (2017) International Journal on Software Tools for Technology Transfer. 1 - 18. ISSN 1433-2779

Zhibin, Yang and Bodeveix, Jean-Paul and Filali, Mamoun and Hu, Kai and Zhao, Yong-Wang and Ma, Dianfu Towards a verified compiler prototype for the synchronous language SIGNAL. (2016) Frontiers of Computer Science, 10 (1). 37-53. ISSN 2095-2228

He, Xie and Chaudemar, Jean-Charles and Huang, J. and Defaÿ, François Fault Tolerant Control of a Quadrotor based on Parameter Estimation Techniques and use of a Reconfigurable PID Controller. (2016) In: 24th Mediterranean conference on control & automation (MED), 21 June 2016 - 24 June 2016 (Athens, Greece).

Hu, Kai and Zhang, Teng and Yang, Zhibin and Tsai, Wei-Tek Exploring AADL verification tool through model transformation. (2015) Journal of Systems Architecture, 61 (3-4). 141-156. ISSN 1383-7621

Hu, Kai and Zhang, Teng and Yang, Zhibin and Tsai, Wei-Tek Simulation of real-time systems with clock calculus. (2015) Simulation Modelling Practice and Theory, 51. 69-86. ISSN 1569-190X

Yang, Zhibin and Hu, Kai and Zhao, Yong-Wang and Ma, Dianfu and Bodeveix, Jean-Paul Verification of AADL Models with Timed Abstract State Machines. (2015) Journal of Software, 26 (2). 202-222. ISSN 1000-9825

Yang, Zhibin and Hu, Kai and Ma, Dianfu and Bodeveix, Jean-Paul and Pi, Lei and Talpin, Jean-Pierre From AADL to Timed Abstract State Machines: A Verified Model Transformation. (2014) Journal of Systems and Software, 93. 42-68. ISSN 0164-1212

Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun and Kai, Hu and Ma, Dianfu A Verified Transformation: From Polychronous Programs to a Variant of Clocked Guarded Actions. (2014) In: 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 14), 10 June 2014 - 11 June 2014 (Sankt Goar, Germany).

Hu, Kai and Zhang, Teng and Yang, Zhibin Multi-threaded code generation from Signal program to OpenMP. (2013) Frontiers of Computer Science in China, 7 (5). 617-626. ISSN 1673-7350