Publications de
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin
From AADL to Timed Abstract State Machines: A Verified Model Transformation
Dans : Journal of Systems and Software (JSS), Elsevier, Vol. 93, p. 42-68, juillet 2014.
Zhibin Yang, Lei Pi, Kai Hu, Zong-Hua Gu, Dianfu Ma
AADL: an Architecture Design and Analysis Language for Complex Embedded Real-time Systems
Dans : Journal of Software, Institute of Software Chinese Academy of Science (ISCAS), China, Vol. 21, N. 5, p. 899-915, mai 2010.
Accès : 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)
Dans : UML&AADL, Las Vegas, 27/04/11-27/04/11, IEEE Computer Society, ICECCS ’11, p. 344-349, avril 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)
Dans : International Conference on Progress in Informatics and Computing, Shanghai, China, 10/12/10-12/12/10, Vol. 2, IEEExplore digital library, p. 1098-1103, décembre 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
Dans : 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, p. 347-352, juin 2009.
Accès : 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)
Dans : Design, Automation and Test in Europe (DATE 2009), Nice, 21/04/09-23/04/09, IEEE : Institute of Electrical and Electronics Engineers, p. 1166-1171, avril 2009.
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali
Modeling AADL Data Communication with BIP
Dans : International Conference on Reliable Software Technologies – Ada-Europe, Telecom Bretagne, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, p. 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)
Dans : 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, (support électronique), décembre 2008.
Jing Xiao, Pierre Pinel, Lei Pi, Vincent Aranega, Claude Baron
Modeling Uncertain and Imprecise Information in Process Modeling with UML (regular paper)
Dans : International Conference on Management of Data, Bombay, 17/12/08-19/12/08, Indian Institute of Technology, p. 237-240, décembre 2008.
Accès : http://www.cse.iitb.ac.in/$\sim$comad/2008/PDFs/11-jxioa.pdf
BibTeX