Modeling heterogeneous real-time systems in BIP, Proceedings of SEFM'06, pp.3-12 ,
URL : https://hal.archives-ouvertes.fr/tel-00527491
Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, vol.7, issue.4, 2008. ,
DOI : 10.1145/1376804.1376811
URL : https://hal.archives-ouvertes.fr/inria-00555841
A Notion of Glue Expressiveness for Component-Based Systems, Proceedings of CONCUR'08, pp.508-522, 2008. ,
DOI : 10.1007/978-3-540-85361-9_39
Source-to-source architecture transformation for performance optimization in BIP ,
URL : https://hal.archives-ouvertes.fr/hal-00722520
Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09 ,
DOI : 10.1145/1629335.1629347
URL : https://hal.archives-ouvertes.fr/hal-00722479
Modeling and Simulation in Scilab/Scicos ,
DOI : 10.1007/978-1-4419-5527-2_3
Modeling and verification of a telecommunication application using live sequence charts and the play-engine tool, Proceedings of ATVA'05, pp.414-428 ,
Marked directed graphs, Journal of Computer and System Sciences, vol.5, issue.5, pp.511-523, 1971. ,
DOI : 10.1016/S0022-0000(71)80013-2
URL : http://doi.org/10.1016/s0022-0000(71)80013-2
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
Programming real-time applications with SIGNAL, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991. ,
DOI : 10.1109/5.97301
URL : https://hal.archives-ouvertes.fr/inria-00540460
About synchronous programming and abstract interpretation, SCP, vol.31, issue.1, pp.75-89, 1998. ,
DOI : 10.1007/3-540-58485-4_40
URL : http://dx.doi.org/10.1016/s0167-6423(96)00041-x
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Assert and negate revisited, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools , SCESM '06, pp.237-252, 2008. ,
DOI : 10.1145/1138953.1138958
Modal I/O Automata for Interface and Product Line Theories, Proceedings of ESOP'07, pp.64-79 ,
DOI : 10.1007/978-3-540-71316-6_6
Programmable models of computation for a component-based approach to heterogeneous embedded systems, Proceedings of ACM-GPCE'07 ,
URL : https://hal.archives-ouvertes.fr/hal-00294153
Synchronous structures. Information and Computation, pp.1295-1324, 2006. ,
Causality interfaces for actor networks, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008. ,
DOI : 10.1145/1347375.1347382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.176.4439