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

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

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 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

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