Modeling Time in Computing, ser. Monographs in Th, Comp. Science, 2012. ,
Semantic Adaptation for Models of Computation, 2011 Eleventh International Conference on Application of Concurrency to System Design, pp.153-162, 2011. ,
DOI : 10.1109/ACSD.2011.17
URL : https://hal.archives-ouvertes.fr/hal-00605273
TimeSquare: Treat Your Models with Logical Time, TOOLS -50th International Conference on Objects, Models, Components, Patterns -2012, ser. LNCS, pp.34-41, 2012. ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, vol.17, issue.12, pp.309-314, 2008. ,
DOI : 10.1007/s11334-008-0055-2
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Theory of Modeling and Simulation, 2000. ,
Modeling a Model Transformation Language, Domain Engineering, pp.211-237, 2013. ,
DOI : 10.1007/978-3-642-36654-3_9
First Experiments Using the UML Profile for MARTE, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) ,
DOI : 10.1109/ISORC.2008.36
Analysis of real-time systems scheduling using MARTE, 2013. ,
Xoncrete: a scheduling tool for partitioned real-time systems, Proceedings of the Embedded Real Time Software and Systems Conference, 2010. ,
Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, vol.17, issue.12, pp.309-314, 2008. ,
DOI : 10.1007/s11334-008-0055-2
Semantic Adaptation Using CCSL Clock Constraints, Post-proceedings of MODELS 2011 Workshops, ser. LNCS, pp.104-118, 2012. ,
DOI : 10.1007/978-3-642-29645-1_12
URL : https://hal.archives-ouvertes.fr/hal-00740801
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
The synchronous languages 12 years later, Proc. of the IEEE, pp.64-83, 2003. ,
DOI : 10.1109/JPROC.2002.805826
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
Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, vol.7, issue.4, pp.431-4336, 2008. ,
DOI : 10.1145/1376804.1376811
URL : https://hal.archives-ouvertes.fr/inria-00555841
Verifying hybrid systems, Hybrid Systems, pp.4-35, 1993. ,
DOI : 10.1007/3-540-57318-6_22
Exploring multi-paradigm modeling techniques SIMULATION: Transactions of The Society for Modeling and Simulation International, pp.688-708, 2009. ,
Clock constraints in UML, MARTE CCSL, 2008. ,
Globalizing Modeling Languages, Computer, vol.47, issue.6, pp.68-71, 2014. ,
DOI : 10.1109/MC.2014.147
URL : https://hal.archives-ouvertes.fr/hal-00994551
Reifying Concurrency for Executable Metamodeling, 6th International Conference on Software Language Engineering, ser. LNCS, pp.365-384, 2013. ,
DOI : 10.1007/978-3-319-02654-1_20
URL : https://hal.archives-ouvertes.fr/hal-00850770
Heterogeneous Model Composition in ModHel'X: the Power Window Case Study, Proceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00905075
A DSL for Explicit Semantic Adaptation, Proceedings of MPM 2013, pp.47-56, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00875798
A programming model for timesynchronized distributed real-time systems, Real Time and Embedded Technology and Applications Symposium, pp.259-268, 2007. ,
The Constructive Semantics of Pure Esterel, 1996. ,
Tag Machines for Modeling Heterogeneous Systems, 2013 13th International Conference on Application of Concurrency to System Design, pp.186-195, 2013. ,
DOI : 10.1109/ACSD.2013.23
URL : https://hal.archives-ouvertes.fr/hal-01087910
Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, ser, LNCS, vol.2283, 2002. ,
The Isabelle Framework, Theorem Proving in Higher Order Logics, pp.33-38, 2008. ,
DOI : 10.1007/978-3-540-74591-4_26
On theorem prover-based testing, Formal Aspects of Computing, vol.29, issue.4, pp.683-721, 2013. ,
DOI : 10.1007/s00165-012-0222-y
The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010. ,
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894