IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry

Publications


622 documents

  • Ludovic Barrière, Olivier Cherrier, Jean-Charles Passieux, Michel Bouquet, Jean-François Ferrero. 3D Digital Image Correlation Applied to Birdstrike Tests. First Annual Conference of the International Digital Imaging Correlation Society (iDICS 2016), Nov 2016, Philadelphie, PA, United States. pp.17-20, ⟨10.1007/978-3-319-51439-0_4⟩. ⟨hal-01545182⟩
  • Neeraj Kumar Singh, Yamine Aït-Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn. Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study. 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩. ⟨hal-01782961⟩
  • 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⟩

Powered by HAL logo

Scroll to top