42: programmable models of computation for a component-based approach to heterogeneous embedded systems. - Florence Maraninchi; Tayeb Bouhadiba (GPCE, 2007)

Contract-Based Coordination of Hardware Components for the Development of Embedded Software. - Tayeb Bouhadiba; Florence Maraninchi (COORDINATION, 2009)

Formal and executable contracts for transaction-level modeling in SystemC. - Tayeb Bouhadiba; Florence Maraninchi; Giovanni Funchal (EMSOFT, 2009)

42, A Component-Based Approach to Virtual Prototyping of Heterogeneous Embedded Systems. (42, Une Approche à Composants pour le Prototypage Virtuel des Systèmes Embarqués Hétérogènes). - Tayeb Bouhadiba (2010)

Synchronous control of reconfiguration in fractal component-based systems: a case study. - Tayeb Bouhadiba; Quentin Sabah; Gwenaël Delaval; Éric Rutten (EMSOFT, 2011)

System-level modeling of energy in TLM for early validation of power and thermal management. - Tayeb Bouhadiba; Matthieu Moy; Florence Maraninchi (DATE, 2013)

Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. - Tayeb Bouhadiba; Matthieu Moy; Florence Maraninchi; Jérôme Cornet; Laurent Maillet-Contoz; Ilija Materic (IPDPS Workshops, 2013)

Modeling Power Consumption and Temperature in TLM Models. - Matthieu Moy; Claude Helmstetter; Tayeb Bouhadiba; Florence Maraninchi (Leibniz Trans. Embed. Syst., 2016)