Yue Ma
Affiliations:- Itemis France SAS, Issy-les-Moulineaux, France
- INRIA Rennes, France (former)
- University of Rennes 1, France (PhD 2010)
According to our database1,
Yue Ma
authored at least 9 papers
between 2008 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program., 2015
2013
Polychronous modeling, analysis, verification and simulation for timed software architectures.
J. Syst. Archit., 2013
Frontiers Comput. Sci., 2013
Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013
2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2010
Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation. (Modélisation compositionnelle d'architectures globalement asynchrones - localement synchrones (GALS) dans un modèle de calcul polychrone).
PhD thesis, 2010
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
Proceedings of the International Conference on Embedded Software and Systems, 2009
2008
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008