IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry

Publications


605 documents

  • 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⟩
  • 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⟩

Powered by HAL logo

Scroll to top