Items where Institution is :Other partners > Beihang University (CHINA)
Number of items at this level: 16.
Wang, Mengying and Barnabé, Antoine
Fu, B. and Popa, Daniel and Zhao, Z. and Hussain, Syed Asad and Flahaut, Emmanuel
Dong, Dongmei and Wang, Wenwen and Barnabé, Antoine
Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and D'Ausbourg, Bruno and Aït-Ameur, Yamine
Dong, Dongmei and Wang, Wenwen and Rougier, Aline and Dong, Guobo and Da Rocha, Mathias and Presmanes, Lionel
Dong, Dongmei and Wang, Wenwen and Rougier, Aline
Wang, Mengying and Thimont, Yohann 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 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 |