IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry

Publications


610 documents

  • Jonathan Bonnet, Marie-Pierre Gleizes, Elsy Kaddoum, Serge Rainjonneau. Rapid and adaptative mission planner for multi-satellite missions using a self-adaptative multi-agent system. 67th International Astronautical Congress (IAC 2016), International Astronautical Federation; Mexican Space Agency (AEM), Sep 2016, Guadalajara, Mexico. pp.4739-4747. ⟨hal-02162354⟩
  • Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau. Formal Verification of a Rover Anti-collision System. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016), Sep 2016, Pise, Italy. ⟨hal-01356585⟩
  • Ning Ge, Éric Jenn, Nicolas Breton, Yoann Fontenneau. Formal Verification of a Rover Anti-collision System. FMICS-AVoCS 2016, Sep 2016, Pisa, Italy. pp.PP. 171 - 188. ⟨hal-01649511⟩
  • Pierre-Alain Bourdil, Eric Jenn, Silvano Dal Zilio. Building Confidence on Formal Verification Models. Fast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. ⟨hal-01369144⟩
  • Moustafa Zerarka, Patrick Austin, Alain Bensoussan, Frédéric Morancho, André Durier. TCAD Simulation of the Single Event Effects in Normally-off GaN Transistors after Heavy Ion Radiation. RADECS 2016 (RADiation Effects on Components and Systems), Sep 2016, Brême, Germany. 4p., ⟨10.1109/TNS.2017.2710629⟩. ⟨hal-01692046v2⟩
  • Samuel Pin, Hélène Frémont, Alexandra Gracia. Numerical study of thermomechanical fatigue influence of intermetallic compounds in a lead free solder joint. 6th Electronics System-Integration Technology Conference (ESTC 2016), Sep 2016, Grenoble, France. ⟨10.1109/ESTC.2016.7764674⟩. ⟨hal-01688091⟩
  • Siham Hairoud Airieau, Tristan Dubois, Geneviève Duchamp, André Durier. Multiport ICIM-CI modeling approach applied to a bandgap voltage reference. EMC Europe 2016, Sep 2016, Wroclaw, Poland. pp. 526-531. ⟨hal-01688230⟩
  • Siham Hairoud Airieau, Tristan Dubois, Geneviève Duchamp, Andre Durier. Multiport ICIM-CI modeling approach applied to a bandgap voltage reference. 2016 International Symposium on Electromagnetic Compatibility - EMC EUROPE, Sep 2016, Wroclaw, Poland. ⟨hal-01659310⟩
  • Alexandre Giraud, Alix Bernot, Yvan Lefèvre, Jean-François Llibre. Modelling quasi-static magnetic hysteresis: a new implementation of the play model based on experimental asymmetric B(H) loops. ICEM'2016 (XXIIth International Conference on Electrical Machines), Sep 2016, Lausanne, Switzerland. pp. 1895-1901. ⟨hal-01662818⟩
  • Alix Bernot. A high reliability natural convection airliner actuator permanent magnet motor. ICEM 2016 (XXIIth International Conference on Electrical Machines), Sep 2016, Lausanne, Switzerland. pp.PP. 1-7. ⟨hal-01740750⟩

Powered by HAL logo

Scroll to top