Publications of
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.
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali, Hu Kai, Ma Dianfu
A comparative study of FIACRE and TASM to define AADL real time concepts
In : UML&AADL’2009 – 14th IEEE International Conference on Engineering of Complex Computer Systems, Postdam, 02/06/09-04/06/09, IEEE : Institute of Electrical and Electronics Engineers, pp. 347-352, June 2009.
URL : http://www2.computer.org/portal/web/csdl/abs/proceedings/iceccs/2009/3702/00/piceccs200900toc.htm
BibTeXZhibin 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, Jean-Paul Bodeveix, Mamoun Filali
Modeling AADL Data Communication with BIP
In : International Conference on Reliable Software Technologies – Ada-Europe, Telecom Bretagne, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, pp. 192-206, 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.
Jing Xiao, Pierre Pinel, Lei Pi, Vincent Aranega, Claude Baron
Modeling Uncertain and Imprecise Information in Process Modeling with UML (regular paper)
In : International Conference on Management of Data, Bombay, 17/12/08-19/12/08, Indian Institute of Technology, pp. 237-240, December 2008.
URL : http://www.cse.iitb.ac.in/$\sim$comad/2008/PDFs/11-jxioa.pdf
BibTeX