Multi-view Power Modeling Based on UML, MARTE and SysML, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp.17-20, 2012. ,
DOI : 10.1109/SEAA.2012.66
URL : https://hal.archives-ouvertes.fr/hal-00688853
Power consumption analysis using multi-view modeling, 2013 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), pp.235-238, 2013. ,
DOI : 10.1109/PATMOS.2013.6662180
URL : https://hal.archives-ouvertes.fr/hal-00906733
The Time Model of Logical Clocks Available in the OMG MARTE Profile, pp.201-227, 2010. ,
DOI : 10.1007/978-1-4419-6400-7_7
Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009. ,
TimeSquare: Treat Your Models with Logical Time, Proceedings of the 50th international conference on Objects, Models, Components, Patterns, ser. TOOLS'12, pp.34-41, 2012. ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
Design of embedded systems: formal models, validation, and synthesis, Proc. of the IEEE, pp.366-390, 1997. ,
Modeling embedded systems and SoC's: concurrency and time in models of computation, 2004. ,
Models of computation and languages for embedded system design, Computers and Digital Techniques, IEE Proceedings, pp.114-129, 2005. ,
DOI : 10.1049/ip-cdt:20045098
The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.265-292, 2000. ,
DOI : 10.1109/LICS.1996.561342
Hybrid MARTE statecharts, Frontiers of Computer Science, vol.43, issue.3, pp.95-108, 2013. ,
DOI : 10.1007/s11704-012-1301-1
URL : https://hal.archives-ouvertes.fr/hal-00800920
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013. ,
DOI : 10.1145/2461328.2461348
Cheddar: a flexible real time scheduling framework, pp.1-8, 2004. ,
Hotspot: a compact thermal modeling methodology for early-stage vlsi design Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.1421, issue.5, pp.501-513, 2006. ,
Thermal and power management of integrated circuits, 2006. ,
A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints, 2009 Third International Conference on Digital Society, pp.266-271, 2009. ,
DOI : 10.1109/ICDS.2009.19
ECL: the Event Constraint Language, an Extension of OCL with Events, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00721169
Introduction to Discrete Event Systems, 2006. ,