OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 8.

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

He, Xie and Chaudemar, Jean-Charles and Huang, J. and Defay, 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, vol. 61 (n° 3-4). pp. 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, vol. 51. pp. 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, vol. 26 (n° 2). pp. 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, vol. 93. pp. 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, vol. 7 (n° 5). pp. 617-626. ISSN 1673-7350

This list was generated on Tue Sep 26 11:13:22 2017 CEST.