Institut de Recherche en Informatique de Toulouse

Publications

Zhibin Yang

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

Articles de revues internationales / International journal papers

• 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.
  Accès : http://oatao.univ-toulouse.fr/14914/
  BibTeX

• 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 - http://oatao.univ-toulouse.fr/15273/
  BibTeX

• 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.
  Accès : http://oatao.univ-toulouse.fr/13268/
  BibTeX

• 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, Elsevier, Vol. 93, p. 42-68, juillet 2014.
  Accès : http://oatao.univ-toulouse.fr/12950/
  BibTeX

• Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. A comparative study of two formal semantics of the SIGNAL language. Dans : Frontiers of Computer Science, Springer Berlin / Heidelberg, Vol. 7 N. 5, p. 673-693, octobre 2013.
  Accès : http://oatao.univ-toulouse.fr/12718/
  BibTeX

• Kai Hu, Teng Zhang, Zhibin Yang. Multi-threaded code generation from Signal program to OpenMP. Dans : Frontiers of Computer Science, Springer Berlin / Heidelberg, Vol. 10.1007, p. 1-10, septembre 2013.
  Accès : http://oatao.univ-toulouse.fr/12684/
  BibTeX

• Zhibin 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.
  Accès : http://oatao.univ-toulouse.fr/13274/
  BibTeX

• 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, Valencia (Spain), 28/09/2014-03/10/2014, ACM, ACVI 2014, p. 39-48, septembre 2014.
  Accès : http://oatao.univ-toulouse.fr/13210/
  BibTeX

• 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/2014-11/06/2014, ACM, SCOPES '14, p. 128-137, juin 2014.
  Accès : http://oatao.univ-toulouse.fr/13121/
  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/2011-27/04/2011, IEEE Computer Society, ICECCS '11, p. 344-349, avril 2011.
  Accès : http://dx.doi.org/10.1109/ICECCS.2011.41
  BibTeX

• 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/2010-12/12/2010, Vol. 2, IEEExplore digital library, p. 1098-1103, décembre 2010.
  BibTeX

• 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/2009-23/04/2009, IEEE, p. 1166-1171, avril 2009.
  BibTeX

• 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/2008-03/12/2008, IEEE, (support électronique), décembre 2008.
  BibTeX

• Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties. Rapport de recherche, IRIT/RT--2014-02--FR, IRIT, décembre 2014.
  Résumé
  BibTeX