Publications de
Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang
Towards a verified transformation from AADL to the formal component-based language FIACRE
Dans : Science of Computer Programming, Elsevier, Numéro spécial Towards a verified transformation from AADL to the formal component-based language FIACRE, Vol. 106 N. 0, p. 30-53, mai 2015.
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
Exploring AADL verification tool through model transformation
Dans : Journal of Systems Architecture, Elsevier, Vol. 61 N. 3-4, p. 141-156, février 2015.
Accès : http://www.sciencedirect.com/science/article/pii/S1383762115000144 – https://oatao.univ-toulouse.fr/15273/
BibTeXZhibin Yang, Kai Hu, Yongwang Zhao, Dianfu Ma, Jean-Paul Bodeveix
AADL Model Verification by Translating into TASM
Dans : Journal of Software, Institute of Software Chinese Academy of Science (ISCAS), China, Vol. 26, N. 2, p. 1-20, février 2015.
Kai Hu, Teng Zhang, Zhibin Yang, Wai-Tek Tsai
Simulation of real-time systems with clock calculus
Dans : Simulation Modelling Practice and Theory, Elsevier Science, Vol. 51, p. 69-86, février 2015.
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, Jean-Paul Bodeveix, Mamoun Filali
A comparative study of two formal semantics of the SIGNAL language
Dans : Frontiers of Computer Science, Springer, Vol. 7 N. 5, p. 673-693, octobre 2013.
Kai Hu, Teng Zhang, Zhibin Yang
Multi-threaded code generation from Signal program to OpenMP
Dans : Frontiers of Computer Science, Springer, Vol. 10.1007, p. 1-10, septembre 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
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, Jean-Paul Bodeveix, Mamoun Filali
Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia (Spain), 28/09/14-03/10/14, ACM : Association for Computing Machinery, ACVI 2014, p. 39-48, septembre 2014.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Hu Kai, Dianfu Ma
A Verified Transformation: From Polychronous Programs to a Variant of Clocked Guarded Actions (regular paper)
Dans : International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), Sankt Goar, Germany, 10/06/14-11/06/14, ACM : Association for Computing Machinery, SCOPES ’14, p. 128-137, juin 2014.
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.
Zhibin 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, 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.