IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry


631 documents

  • Mikaël Capelle, Cédric Pralet, Jeremie Pouly. Vidage de données pour un satellite d'observation autonome. ROADEF 2020, Feb 2020, Montpellier, France. ⟨hal-02904391⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩

Powered by HAL logo

Scroll to top