Computing SyncCharts Reactions, Electronic Notes in Theoretical Computer Science, vol.88, pp.3-19, 2004. ,
DOI : 10.1016/j.entcs.2003.05.007
The Synchronous Languages Twelve Years Later, Proceedings of the IEEE, pp.64-83, 2003. ,
Array-OL revisited, multidimensional intensive signal processing specification, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00128840
Formal semantics of Array-OL, a domain specific language for intensive multidimensional signal processing, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00261178
The cascade high productivity language, Ninth International Workshop on High-Level Parallel Programming Models and Supportive Environments, 2004. Proceedings., pp.52-60, 2004. ,
DOI : 10.1109/HIPS.2004.1299190
X10: an object-oriented approach to nonuniform cluster computing, 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp.519-538, 2005. ,
Semantic Anchoring with Model Transformations, European Conference on Model Driven Architecture Fondations and Applications (ECMDA?FA'05), pp.115-129, 2005. ,
DOI : 10.1007/11581741_10
A Model for the Mixed-Design of Data-Intensive and Control- Oriented Embedded Systems, 2008. ,
Synchronous Modeling and Analysis of Data Intensive Applications, EURASIP Journal on Embedded Systems, vol.2008, issue.1, 2008. ,
DOI : 10.1007/BF01379404
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems, 2009 International Conference on Embedded Software and Systems, pp.75-82, 2009. ,
DOI : 10.1109/ICESS.2009.12
A Model-Driven Design Framework for Massively Parallel Embedded Systems, ACM Transactions on Embedded Computing Systems, vol.10, issue.4, p.2010 ,
DOI : 10.1145/2043662.2043663
Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, issue.6, pp.742-760, 1999. ,
DOI : 10.1109/43.766725
The synchronous dataflow programming language Lustre, Proceedings of the IEEE, 1991. ,
High Performance Fortran Language Specification, 1997. ,
Introducing control in the Gaspard2 Data-Parallel MetaModel: Synchronous Approach, Proceedings of the International Workshop MARTES, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000911
Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003. ,
DOI : 10.1016/S0167-6423(02)00093-X
Synthesis of Discrete-Event Controllers based on the Signal Environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Where Is the Proof? - A Review of Experiences from Applying MDE in Industry, Fourth European Conference on Model Driven Architecture Fondations and Applications (ECMDA-FA), pp.432-443, 2008. ,
DOI : 10.1007/978-3-540-69100-6_31
Message Passing Interface Forum, 2007. ,
Modeling and Analysis of Real-time and Embedded systems (MARTE), 2008. ,
MOF Query / Views / Transformations. http://www.omg.org/cgi- bin/doc?ptc, 2005. ,
OpenMP 3.0 specifications, 2008. ,
Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation, Special Issue on Reconfigurable and Multicore Embedded Systems, 2010. ,
DOI : 10.1504/IJES.2010.039025
URL : https://hal.archives-ouvertes.fr/inria-00525015
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design, Proceedings of the IEEE, vol.95, issue.3, pp.467-506, 2007. ,
DOI : 10.1109/JPROC.2006.890107
International technology roadmap for semiconductors update (design), 2004. ,
Polychronous mode automata, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.83-92, 2006. ,
DOI : 10.1145/1176887.1176900
URL : https://hal.archives-ouvertes.fr/hal-00541469
StreamIt: A Language for Streaming Applications, Compiler Construction 11th International Conference Held as Part of the Joint European Conferences on Theory and Practice of Software, pp.49-84, 2002. ,
DOI : 10.1007/3-540-45937-5_14
Unified Modeling Language (UML) tools. http://en.wikipedia.org, 2009. ,
The ALPHA Language, 1994. ,
URL : https://hal.archives-ouvertes.fr/inria-00074378
A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model, 2008. ,
Safe design of high-performance embedded systems in an MDE framework, Innovations in Systems and Software Engineering (ISSE), 2008. ,
DOI : 10.1007/s11334-008-0059-y
Embedded Systems Specification and Design Languages, Selected Contributions from FDL'07 Model Transformations from a Data Parallel Formalism towards Synchronous Languages, Lecture Notes Electrical Engineering, vol.10, issue.13, pp.978-979, 2008. ,