12 709

• 
  Jean-Luc Hak. Engineering annotations for supporting the design process of interactive systems: A model-based approach and a tool suite. Computer Science [cs]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English. ⟨tel-02268176⟩
• 
  T. Hirschler, Robin Bouclier, D. Dureisseix, A. Duval, T. Elguedj, et al.. A dual domain decomposition algorithm for the analysis of non-conforming isogeometric Kirchhoff–Love shells. Computer Methods in Applied Mechanics and Engineering, Elsevier, 2019, 357, pp.112578. ⟨10.1016/j.cma.2019.112578⟩. ⟨hal-02268130⟩
• 
  D Kebbal. An automatic parametric approach for WCET analysis of C programs. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267655⟩
• 
  A Toom, N Izerrouken, T Naks, M Pantel, O. Ssi Yan Kai. Towards Reliable Code Generation with an Open Tool: Evolutions of the Gene-Auto toolset. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267640⟩
• 
  Africa Pitarch Martí, Francesco d'Errico, Alain Turq, Eric Lebraud, Emmanuel Discamps, et al.. Provenance, modification and use of manganese-rich rocks at Le Moustier (Dordogne, France). PLoS ONE, Public Library of Science, 2019, 14 (7), pp.e0218568. ⟨10.1371/journal.pone.0218568⟩. ⟨halshs-02267354⟩