Yue MA's Homepage

Search this site



Yue MA is currently a Post-Doc fellow in the ESPRESSO team at IRISA / INRIA Rennes, working on the modeling, temporal analysis and simulation of Globally Asynchronous Locally Synchronous systems (specified in Architecture Analysis and Design Language) using Polychrony, and the tool development. Her research interests include software engineering, embedded systems design, synchronous programming, simulation and verification, AADL modeling and analysis.


She completed her Master's study in computer science and technology at Beijing University of Posts and Telecommunications (P. R. China) in 2007. Before her doctoral study, she had been working in Ericsson China R&D Institute as software engineer in Shanghai. 


She received her Ph.D degree in computer science at University of Rennes 1 (France) in November, 2010. During her Ph.D study, she worked in INRIA Rennes and her thesis is under the supervision of Dr. Jean-Pierre TALPIN. Her dissertation subject is ''Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of computation''.


Contact

    Office address:

Office C309,
IRISA/INRIA Rennes, Campus de Beaulieu,
35042 Rennes Cedex - France

     Mail: yue.ma@inria.fr / mayue.mail@gmail.com
     Telephone: +33 2 99 84 25 24

Research interests

  • Software engineering
  • Embedded systems design
  • Synchronous programming and verification
  • AADL (Architectual Analysis and Design Language)

Recent publications

     [MSR2011] : Y. Ma, T. Gautier, J.-P. Talpin, P. Le Guernic and H. Yu
                  Modélisation compositionnelle d’architectures GALS dans un modèle de calcul polychrone
                  (Compositional Modeling of GASL Architecutre in a Polychronous Model of Computation)
                  in: the Modélisation des Systèmes Réactifs (MSR'11, Modeling of reactive systems)
                  Lille, France. Nov. 16-18, 2011. To appear.
                  Also in Journal Européen des Systèmes Automatisés (JESA). Accepted.

    [ETR2011] : H. Yu, Y. Ma, J.-P. Talpin, T. Gautier, L. Besnard, and P. Le Guernic
                  Co-simulation of Embedded Software Architectures Using Polychrony
                  in: Summer school ETR 2011 (Ecole d'été Temps Réel),
                  Université de Bretagne Occidentale, Brest, France. Aug. 29 - Sep. 2, 2011.
   
    [ESLsyn2011] : Y. Ma, H.F. Yu, T. Gautier, J.-P. Talpin, L. Besnard and P. Le Guernic
                   System Synthesis from AADL using Polychrony
                   in: the 2011 Electronic System Level Synthesis Conference
                   San Diego, California, USA.  June, 2011.

     [SAC2011] : H. Yu, Y. Ma, Y. Glouche, J.-P. Talpin, L. Besnard, T. Gautier, P. Le Guernic, A. Toom and O. Laurent
                   System-level Co-simulation of Integrated Avionics Using Polychrony 
                   in: the 26th ACM Symposium On Applied Computing
                   TaiChung, Taiwan.  March, 2011.

      [ESA2010] : Y. Ma, J-P. Talpin and T. Gautier
                   Interpretation of AADL Behavior Annex into synchronous formalism using SSA
                   in: International Symposium on Advanced Topics on Embedded Systems and Applications
                   Bradford, UK, 29 June - 1 July, 2010

      [ICESS09] : Y. Ma, J-P. Talpin, S.K. Shukla and T. Gautier
                   Distributed simulation of AADL specifications in a polychronous model of computation
                   in: the 6th IEEE Int. Conference on Embedded Systems and Software
                   Hangzhou, China, May 2009
    
      [MEMOCODE08] : Y. Ma, J-P. Talpin and T. Gautier
                   Virtual prototyping AADL architectures in a polychronous model of computation
                   in: ACM-IEEE Conference on Methods and Models for Codesign, IEEE
                   Anaheim, CA, USA, June 2008