Publications



605 documents

  • Cédric Abadie, T. Billard, Sorin Dinculescu, Thierry Lebey. On-line Non Intrusive PDs' Measurements on Aeronautical Systems. International Symposium on Electrical Insulating Materials (ISEIM), Sept. 11-15, 2017, Toyohashi (JAPAN), 2017, Toyohashi, Japan. pp.99-103, ⟨10.23919/ISEIM.2017.8088698⟩. ⟨hal-03965926⟩
  • Yuanci Zhang, Olivier Briat, Jean-Michel Vinassa. Rapport bibliographique sur la caractérisation et le vieillissement des batteries lithium-ion dans des applications aéronautiques, projet CELIA. [Rapport de recherche] LIV-E-018-L2.5-227, Laboratoire IMS; IRT Saint-Exupéry. 2016. ⟨hal-02893899⟩
  • Alain Bensoussan, François Delarue. Editorial: First Issue on Mean Field Games. Applied Mathematics and Optimization, 2016, 74 (3), pp.455 - 457. ⟨10.1007/s00245-016-9396-7⟩. ⟨hal-01868153⟩
  • 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⟩
Scroll to top