Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations, Electronic Notes in Theoretical Computer Science, vol.109, pp.43-56, 2004. ,
DOI : 10.1016/j.entcs.2004.02.055
BIP illustrative toy examples, 2006. ,
Modeling heterogeneous realtime components in BIP, Software Engineering and Formal Methods SEFM 2006. Fourth IEEE International Conference on, pp.3-12, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00375298
Joseph Sifakiset al. Rigorous componentbased system design using the BIP framework, 2011. ,
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
Dominique Marcadet et Iuliana Prodan Semantic Adaptation Using CCSL Bibliographie Clock Constraints, Jörg Kienzle, éditeur, Models in Software Engineering , volume 7167 de Lecture Notes in Computer Science, pp.104-118, 2012. ,
Heterogeneous Model Composition in ModHel'X : the Power Window Case Study, Proceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages, page 10 pages, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00905075
Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, pp.77-86, 2009. ,
Heterogeneous concurrent modeling and design in java Ptolemy ii domains), EECS Department, vol.3, 2008. ,
Languages and tools for hybrid systems design, 2006. ,
Aude Maignan, Christos Sofronis et Stavros Tripakis Translating Discrete-Time Simulink to Lustre, Rajeev Alur et Insup Lee, éditeurs, Embedded Software, volume 2855 de Lecture Notes in Computer Science, pp.84-99, 2003. ,
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8244
Introduction to Object-Oriented Modeling and Simulation with Modelica using OpenModelica, 2012. ,
Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005. ,
DOI : 10.1016/j.scico.2004.05.014
The discipline of embedded systems design, Computer, vol.40, issue.10, pp.32-40, 2007. ,
Didier Vojtiseket al. Ingénierie dirigée par les modèles : des concepts à la pratique, 2012. ,
Model Driven Engineering, Integrated Formal Methods, pp.286-298, 2002. ,
DOI : 10.1007/3-540-47884-1_16
Simulation of dynamic systems with matlab and simulink, 2007. ,
Site online du dicionnaire Larousse ,
A framework for comparing models of computation. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.17, issue.12, pp.1217-1229, 1998. ,
Operational semantics of hybrid systems, Hybrid Systems : Computation and Control, pp.25-53, 2005. ,
Component-based design for the future, Design, Automation & Test in Europe Conference & Exhibition (DATE), pp.1-5, 2011. ,
Continuous and FSM domain demo -Thermostat Sys- tem. http://ptolemy.eecs.berkeley.edu/ptolemyII/ptIIlatest/ ptII/ptolemy/domains/continuous/doc/index.htm. [Mallet 2008] Frédéric Mallet. Clock constraint specification language : specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, pp.309-314, 2008. ,
Frédéric Mallet Julien The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, pp.99-106, 2010. ,
Modélisation hétérogène non-hiérarchique, Thèse de doctorat, 2004. ,
A DSL for Explicit Semantic Adaptation, Proceedings of MPM 2013 (Multi-Paradigm Modeling workshop at Models 2013), pp.1-10, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00875798
Computer automated multiparadigm modeling : An introduction, Simulation, vol.80, issue.9, pp.433-450, 2004. ,
SPICE2 : A Computer Program to Simulate Semiconductor Circuits, Thèse de doctorat, 1975. ,
Defining and translating a safe subset of simulink/stateflow into lustre, Proceedings of the 4th ACM international conference on Embedded software, pp.259-268, 2004. ,
Embedded systems : Definitions, taxonomies, field, 2007. ,
Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000. ,
DOI : 10.1145/352029.352035
The industrial information technology : handbook, 2005. ,