Publications

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.

Accès : https://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/11-27/04/11, IEEE Computer Society, ICECCS ’11, p. 344-349, avril 2011.

Accès : http://dx.doi.org/10.1109/ICECCS.2011.41
BibTeX

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
BibTeX