IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry

Publications


622 documents

  • Thibaut Billard, Cédric Abadie, Bouazza Taghia. Non-intrusive partial discharges investigations on aeronautic motors. SAE 2016 (Aerospace and Technology Conference - ASTC), Sep 2016, Hartford, United States. pp. 1-18. ⟨hal-01695528⟩
  • Arnaud Dieumegard, Andres Toom, Marc Pantel. Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016), Sep 2016, Pise, Italy. pp.117--132, ⟨10.1007/978-3-319-45943-1_8⟩. ⟨hal-03172262⟩
  • 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⟩

Powered by HAL logo

Scroll to top