Globalizing Modeling Languages, Computer, vol.47, issue.6, 2014. ,
DOI : 10.1109/MC.2014.147
URL : https://hal.archives-ouvertes.fr/hal-00994551
A Generic Approach for Automatic Model Composition, AOM Workshop at Models, 2007. ,
DOI : 10.1007/978-3-540-69073-3_2
URL : https://hal.archives-ouvertes.fr/inria-00477568
Merging Models with the Epsilon Merging Language (EML), 2006. ,
DOI : 10.1007/11880240_16
Coordination languages and their significance, Commun. ACM, 1992. ,
Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, 1995. ,
DOI : 10.1109/32.385970
Railroad Crossing Heterogeneous Model, GEMOC workshop, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00867316
Coordination Models and Languages, CWI, Tech. Rep, 1998. ,
DOI : 10.1016/S0065-2458(08)60208-9
Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, 2003. ,
DOI : 10.1109/JPROC.2002.805829
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
Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, issue.6, 1999. ,
DOI : 10.1109/43.766725
Polyglot, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, 2011. ,
DOI : 10.1145/2001420.2001427
Opus: A Coordination Language for Multidisciplinary Applications, Scientific Programming, vol.6, issue.4, 1997. ,
DOI : 10.1155/1997/632908
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, 1998. ,
DOI : 10.1109/43.736561
Problem Frames: A Case for Coordination, Coordination, 2004. ,
DOI : 10.1145/158431.158438
Syntax and Semantics of the Clock Constraint Specification Language (CCSL), Tech. Rep, 2009. ,
Tag machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005. ,
DOI : 10.1145/1086228.1086276
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
Transition systems and concurrent processes Mathematical problems in Computation theory, 1987. ,
TimeSquare: Treat Your Models with Logical Time, TOOLS, 2012. ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
D3.1.2 - Language Composition Operator, Tech. Rep, 2014. ,
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
Comparison of jpeg and jpeg 2000 in low-power confidential image transmission, SPC, 2004. ,
The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007. ,
DOI : 10.1145/1289927.1289935
URL : https://hal.archives-ouvertes.fr/hal-00282866
II, ACM Transactions on Embedded Computing Systems, vol.12, issue.1s, 2013. ,
DOI : 10.1145/2435227.2435245
Foundation for Model Integration: Semantic Backplane, Volume 2: 32nd Computers and Information in Engineering Conference, Parts A and B, 2012. ,
DOI : 10.1115/DETC2012-70534
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
Composing domain-specific physical models with general-purpose software modules in embedded control software, Softw. Syst. Model, 2014. ,