Items where Institution is :Other partners > Nanjing University of Aeronautics and Astronautics – NUAA (CHINA)

Wang, Fei and Yang, Zhibin and Huang, Zhi-Qiu and Liu, Cheng-Wei and Zhou, Yong and Bodeveix, Jean-Paul and Filali, Mamoun An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. (2019) IEEE Transactions on Reliability, 1 (1). 1-20. ISSN 0018-9529

Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. (2019) Frontiers of Computer Science, 13 (4). 715-734. ISSN 2095-2228

Bodeveix, Jean-Paul and Filali, Mamoun and Shuanglong, Kan A Refinement-based compiler development for synchronous languages. (2017) In: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), 29 September 2017 - 2 October 2017 (Vienna, Austria).

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

Bodeveix, Jean-Paul and Filali, Mamoun and Garnacho, Manuel and Spadotti, Régis and Yang, Zhibin Towards a verified transformation from AADL to the formal component-based language FIACRE. (2015) Science of Computer Programming, 106. 30-53. ISSN 0167-6423

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