Publications



605 documents

  • Wei-Tsun Sun, Eric Jenn, Hugues Cassé. Build Your Own Static WCET analyser: the Case of the Automotive Processor AURIX TC275. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02507130⟩
  • Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu. Using Model Checking to Identify Timing Interferences on Multicore Processors. ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10. ⟨hal-02462085⟩
  • Vincent Mussot, Silvano Dal Zilio, Loic Correnson, Serge Rainjonneau, Yves Bardout, et al.. Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02462058⟩
  • Raphaël Bourillot, Emmanuelle Vennin, Christophe Dupraz, Aurélie Pace, Anneleen Foubert, et al.. The record of environmental and microbial signatures in ancient microbialites : the terminal carbonate complex form the Neogene basins of southeastern Spain. Minerals, 2020, 10 (3), pp.276. ⟨10.3390/min10030276⟩. ⟨hal-02530135⟩
  • Saber Chelaghma, Olivier de Almeida, Philippe Marguerès, Jean-Charles Passieux, Jean-Noël Périé, et al.. Identification of Isothermal crystallization kinetics of poly(ether-ketone-ketone) based on spherulite growth measurements and enthalpic data. Polymer Crystallization, 2020, 3 (4), pp.e10141. ⟨10.1002/pcr2.10141⟩. ⟨hal-02905099⟩
  • Siham El Garroussi, Sophie Ricci, Matthias de Lozzo, Nicole Goutal, Didier Lucor. Assessing uncertainties in flood forecasts using a mixture of generalized polynomial chaos expansions. 2020 TELEMAC-MASCARET User Conference, 2020, Antwerp (on line), Belgium. ⟨hal-03444227⟩
  • Matthieu Bonneric, Charles Brugger, Nicolas Saintier. Effect of hot isostatic pressing on the critical defect size distribution in AlSi7Mg0.6 alloy obtained by selective laser melting. International Journal of Fatigue, 2020, 140, pp.105797. ⟨10.1016/j.ijfatigue.2020.105797⟩. ⟨hal-02924060⟩
  • Mike Abidine Alexandre, Eric Dantras, Colette Lacabanne, Emile Perez, Sophie Franceschi-Messant, et al.. Effect of PEKK oligomers sizing on the dynamic mechanical behavior of poly(ether ketone ketone)/carbon fiber composites. Journal of Applied Polymer Science, 2019, pp.48818. ⟨10.1002/app.48818⟩. ⟨hal-02428619⟩
  • Camille Castera, Jérôme Bolte, Cédric Févotte, Edouard Pauwels. An Inertial Newton Algorithm for Deep Learning. Thirty-third Conference on Neural Information Processing Systems : Beyond First Order Methods in ML (NeurIPS Workshop2019), Neural Information Processing Systems Foundation, Dec 2019, Vancouver, Canada. ⟨hal-03049921⟩
  • Maki Matsumoto, Anne Bayard-Sakai, Kimura Saeko, Pierre-Jean Vigny, Unité Tice-Dsirn, et al.. Le roman Radio Imagination et le rôle de l’arbre qui mémorise les frontières entre la vie et la mort
    . 2019. ⟨hal-02957775⟩
Scroll to top