IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry


700 documents

  • Mélanie Ducoffe, Sébastien Gerchinovitz, Jayant Sen Gupta. A High Probability Safety Guarantee for Shifted Neural Network Surrogates. SafeAI 2020, Feb 2020, New York, United States. pp.74-82. ⟨hal-03165482⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩

Powered by HAL logo

Scroll to top