Virtual prototyping AADL architectures in a polychronous model of computation. - Yue Ma 004; Jean-Pierre Talpin; Thierry Gautier (MEMOCODE, 2008)

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. - Yue Ma 004; Jean-Pierre Talpin; Sandeep K. Shukla; Thierry Gautier (ICESS, 2009)

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. - Yue Ma 004; Jean-Pierre Talpin; Thierry Gautier (CIT, 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 004 (2010)

System-level co-simulation of integrated avionics using polychrony. - Huafeng Yu; Yue Ma 004; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent (SAC, 2011)

Toward polychronous analysis and validation for timed software architectures in AADL. - Yue Ma 004; Huafeng Yu; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin; Loïc Besnard; Maurice Heitz (DATE, 2013)

Exploring system architectures in AADL via Polychrony and SynDEx. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Jean-Pierre Talpin; Paul Le Guernic; Yves Sorel (Frontiers Comput. Sci., 2013)

Polychronous modeling, analysis, verification and simulation for timed software architectures. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Paul Le Guernic; Jean-Pierre Talpin (J. Syst. Archit., 2013)

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 004; Jean-Pierre Talpin; Huafeng Yu (Sci. Comput. Program., 2015)