IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry

Publications


610 documents

  • Alaa Hilal, Bernardo Cougo. Optimal Inductor Design and Material Selection for High Power Density Inverters Used in Aircraft Applications. Esars 2016 ( International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles), Nov 2016, Toulouse, France. pp. 1-6. ⟨hal-01660940⟩
  • Alaa Hilal, Bernardo Cogo. Optimal inductor design and material selection for high power density inverters used in aircraft applications. International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles (ESARS 2016), Nov 2016, Toulouse, France. ⟨10.1109/ESARS-ITEC.2016.7841359⟩. ⟨hal-01532242⟩
  • Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin. From Event-B to Verified C via HLL. 2016. ⟨hal-01387137⟩
  • Arnaud Dieumegard, Ning Ge, Eric Jenn. Event-B at Work: some Lessons Learnt from an Application to a Robot Anti-Collision Function. 2016. ⟨hal-01386847v3⟩
  • Bassem Ouni, Pierre Gaufillet, Philippe Cuenot. TwIRTee design exploration with Capella and IP-XAC. DVCon Europe (Design and Verification Conference Exhibition), Oct 2016, Munchen, Germany. pp.0. ⟨hal-02141405⟩
  • Pierre Roumanille, Valérie Baco-Carles, Corine Bonningue, Michel Gougeon, Philippe Tailhades, et al.. Developing new joining materials for low-temperature electronics assembly. 11th IEEE Nanotechnology Materials and Devices Conference (NMDC), Oct 2016, Toulouse, France. pp.1-2, ⟨10.1109/NMDC.2016.7777169⟩. ⟨hal-02434405⟩
  • Alain Bensoussan. M-STORM Reliability model applied to DSM Technologies. NMDC 2016 (Nanotechnology Materials and Devices Conference), Oct 2016, Toulouse, France. pp. 1-2. ⟨hal-01657125⟩
  • Faiez Zalila, Xavier Crégut, Marc Pantel. A DSL to Feedback Formal Verification Results. 13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30--39. ⟨hal-03172263⟩
  • 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⟩

Powered by HAL logo

Scroll to top