Yue Ma

According to our database, Yue Ma authored at least 9 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.

Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu

Sci. Comput. Program., 2015

2013

Polychronous modeling, analysis, verification and simulation for timed software architectures.

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin

J. Syst. Archit., 2013

Exploring system architectures in AADL via Polychrony and SynDEx.

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel

Frontiers Comput. Sci., 2013

Toward polychronous analysis and validation for timed software architectures in AADL.

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz

Proceedings of the Design, Automation and Test in Europe, 2013

2011

System-level co-simulation of integrated avionics using polychrony.

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent

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).

Yue Ma

PhD thesis, 2010

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.

Yue Ma, Jean-Pierre Talpin, Thierry Gautier

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.

Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier

Proceedings of the International Conference on Embedded Software and Systems, 2009

2008

Virtual prototyping AADL architectures in a polychronous model of computation.

Yue Ma, Jean-Pierre Talpin, Thierry Gautier

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008