IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry


689 documents

  • Clément Bouttier, Tommaso R Cesari, Mélanie Ducoffe, Sébastien Gerchinovitz. Regret analysis of the Piyavskii-Shubert algorithm for global Lipschitz optimization. 2020. ⟨hal-02466084v2⟩
  • Philippe Cuenot, Paul Bouche, Robert de Simone, Julien Deantoni, Amin Oueslati. Early validation of satellite COTS-on-board computing systems. ERTS 2020 - 10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France. ⟨hal-02413867⟩
  • Antoine Ferlin, Eric Jenn, Marc Kaufmann. Accounting for interferences in the design of Time-Triggered Applications. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02469116⟩
  • Romain Leconte, Eric Jenn, Guy Bois, Hubert Guérard. Make Life Easier for Embedded Software Engineers Facing Complex Hardware Architectures. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02474476⟩
  • 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⟩

Powered by HAL logo

Scroll to top