213 résultats  enregistrer la recherche


...
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
...
hal-01933794v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. Domain-oriented Verification Management
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
...
hal-01933792v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
...
hal-02088044v1  Communication dans un congrès
Florent KermarrecSébastien BourdeauducqJean-Christophe Le LannHannah Badier. LiteX: an open-source SoC builder and library based on Migen Python DSL
DATE 2019 Design Automation and Test in Europe, Mar 2019, Florence, Italy
...
hal-02115550v1  Communication dans un congrès
Jean-Marc LaurensPierre-Michel Guilcher. Motorways of the sea
Martech 2018 4th International Conference on Maritime Technology and Engineering, May 2018, Lisbonne, Portugal
...
hal-01713622v1  Communication dans un congrès
Eduardo AlarcónLuc Saint-SulpiceL HellerShabnam Arbab ChiraniSylvain Calloch et al.  Fatigue et auto-échauffement d'alliages à mémoire de forme en NiTi avec ou sans R-phase
23ème Congrès Français de Mécanique, CFM2017, Aug 2017, Lille, France
...
tel-01285006v2  Thèse
Nicolas Tual. Durabilité des composites carbone/époxy pour applications pales d'hydroliennes
Génie mécanique [physics.class-ph]. Université de Bretagne occidentale - Brest, 2015. Français. ⟨NNT : 2015BRES0057⟩
...
hal-01702404v1  Communication dans un congrès
Benoît DesrochersLuc Jaulin. Chain of set inversion problems; Application to reachability analysis
20th World Congress of the International Federation of Automatic Control, IFAC 2017, Jul 2017, Toulouse, France
...
hal-01704422v1  Communication dans un congrès
Ahcène BounceurOlivier MarcMassinissa LounisJulien SolerLaurent Clavier et al.  CupCarbon-Lab: An IoT Emulator
IEEE Consumer Communications & Networking Conference, IEEE, Jan 2018, Las Vegas, United States
...
tel-01766445v1  Thèse
Tatiana Siwavi Tchalla. Durabilité d'assemblages métal/élastomère en milieu marin
Génie mécanique [physics.class-ph]. Université de Bretagne occidentale - Brest, 2017. Français. ⟨NNT : 2017BRES0121⟩
...
tel-01612494v1  Thèse
Linamaría Gallegos Mayorga. Contribution à la compréhension du comportement mécanique des assemblages rivetés anciens
Mécanique des matériaux [physics.class-ph]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0038⟩
...
hal-01707168v1  Communication dans un congrès
Ahmad Hani El FawalAli MansourMohamad NajemFrédéric Le RoyDenis Le Jeune. LTE-M adaptive eNodeB for emergency scenarios
ICTC: Information and Communication Technology Convergence, Oct 2017, Jeju Island, South Korea. ⟨10.1109/ICTC.2017.8191035⟩
...
hal-01707087v1  Communication dans un congrès
Azza MoawadKoffi-Clément YaoAli MansourRoland Gautier. Spectrum Sensing and Channel Estimation in Cognitive Radio
2nd International conference on advanced technology and applied science (ICaTAS), Arab Academy for Science, and Technology and Maritime Transport, Sep 2017, Alexandria, Egypt
...
tel-01793150v1  Thèse
Ewen Conan. Traitements adaptés aux antennes linéaires horizontales pour la discrimination en immersion de sources Ultra Basse Fréquence
Traitement du signal et de l'image [eess.SP]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. Français. ⟨NNT : 2017IMTA0016⟩
...
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
...
hal-01714103v1  Chapitre d'ouvrage
Steven KerampranMichel ArrigoniPaul Locking. Blast waves propagation and their mitigation
Greener and safer energetic and ballistic systems, Military Technical Academy Publishing House, pp.205-252, 2016, 978-973-640-252-4
...
hal-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165