Design and simulation of heterogeneous systems using ptolemy, Proceedings of ARPA RASSP Conference, 1994. ,
Simulation of Multi-Formalism Models with ModHel'X, 2008 International Conference on Software Testing, Verification, and Validation, 2008. ,
DOI : 10.1109/ICST.2008.15
URL : https://hal.archives-ouvertes.fr/hal-00289188
A Behavioral Coordination Operator Language (BCOoL) Available: https, 2015. ,
Coordination languages and their significance, Commun. ACM, 1992. ,
DOI : 10.1145/129630.376083
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink, ACM/IEEE Models, 2014. ,
DOI : 10.1007/978-3-319-11653-2_22
Modeling of mixed control and dataflow systems in MASCOT, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.9, issue.5, 2001. ,
DOI : 10.1109/92.953502
Reifying Concurrency for Executable Metamodeling, SLE, 2013. ,
DOI : 10.1007/978-3-319-02654-1_20
URL : https://hal.archives-ouvertes.fr/hal-00850770
ECL: the Event Constraint Language, an Extension of OCL with Events, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00721169
Syntax and Semantics of the Clock Constraint Specification Language (CCSL), Tech. Rep, 2009. ,
Comparison of jpeg and jpeg 2000 in low-power confidential image transmission, SPC, 2004. ,