Publications of
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
A comparative study of two formal semantics of the SIGNAL language
In : Frontiers of Computer Science, Springer, Vol. 7 N. 5, pp. 673-693, October 2013.
Kai Hu, Teng Zhang, Zhibin Yang
Multi-threaded code generation from Signal program to OpenMP
In : Frontiers of Computer Science, Springer, Vol. 10.1007, pp. 1-10, September 2013.
Zhibin Yang, Lei Pi, Kai Hu, Zong-Hua Gu, Dianfu Ma
AADL: an Architecture Design and Analysis Language for Complex Embedded Real-time Systems
In : Journal of Software, Institute of Software Chinese Academy of Science (ISCAS), China, Vol. 21, N. 5, pp. 899-915, May 2010.
URL : http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3700&flag=1
BibTeX
Zhibin Yang, Hu Kai, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
Two formal semantics of a subset of AADL (regular paper)
In : UML&AADL, Las Vegas, 27/04/11-27/04/11, IEEE Computer Society, ICECCS ’11, pp. 344-349, April 2011.
Zhibin Yang, Kai Hu, Lei Pi, Jean-Paul Bodeveix, Dianfu Ma
Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine (regular paper)
In : International Conference on Progress in Informatics and Computing, Shanghai, China, 10/12/10-12/12/10, Vol. 2, IEEExplore digital library, pp. 1098-1103, December 2010.
Zhibin Yang, Lei Pi, Kai Hu, Dianfu Ma
Towards a Formal Semantics for the AADL Behavior Annex (regular paper)
In : Design, Automation and Test in Europe (DATE 2009), Nice, 21/04/09-23/04/09, IEEE : Institute of Electrical and Electronics Engineers, pp. 1166-1171, April 2009.
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu
A comparative study of two Real-Time formalisms: FIACRE and TASM (regular paper)
In : IEEE Real-Time Systems Symposium (Work-In-Progress track) (RTSS 2008), Barcelone, 30/11/08-03/12/08, IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), December 2008.