950 résultats  enregistrer la recherche


hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-01780556v1  Communication dans un congrès
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
hal-01387672v1  Communication dans un congrès
Hicham Jamid. Les ingénieurs maghrébins diplômés en France. Des parcours professionnels différenciés et des expériences migratoires mouvementées
XXe congrès international des sociologues de langue française, Association des Sociologues de la Langue française (AISLF), Jul 2016, Montréal, Canada
...
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-01192706v1  Article dans une revue
Jeremy NicolaLuc Jaulin. Contractors and Linear Matrix Inequalities
ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering, American Society of Mechanical Engineers (ASME), 2015, 1 (3), ⟨http://ascelibrary.org/⟩. ⟨10.1115/1.4030781 ⟩
hal-01801705v1  Communication dans un congrès
Helmi GhanmiAli KhenchafComblet Fabrice. Electromagnetic characterization of a polluted maritime surface
2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, Tunisia. ⟨10.1109/ATSIP.2018.8364495⟩
hal-01635395v1  Communication dans un congrès
Hicham Jamid. Les étudiants étrangers en mobilité internationale en France : stratégies de séjour dynamiques et projets d’insertion professionnelle sous contraintes
Migration irrégulière et développement humain, CERLIS-CNRS, Université Paris Descartes, Nov 2017, Paris, 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-02123124v1  Communication dans un congrès
Ghattas AkkadRafic AyoubiAntoine Abche. Constant Time Hardware Architecture for a Gaussian Smoothing Filter
2018 International Conference on Signal Processing and Information Security (ICSPIS), IEEE, Nov 2018, DUBAI, United Arab Emirates. pp.1-4
hal-02123046v1  Communication dans un congrès
Bastien DrouotJoël Champeau. Model Federation based on Role Modeling
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
hal-01236692v1  Communication dans un congrès
R. dos Santos FagundesD. LejeuneA. MansourF. Le RoyMohamad-Raafat Lababidi. Wideband High Dynamic Range Surveillance
EUSIPCO 2015, Université de Sophia Antipolis, Aug 2015, Nice, France
...
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-02078098v1  Article dans une revue
Renaud Bellais. Autonomie stratégique européenne
Aerodefensenews, AeroDefenseNews SASU 2018, pp.4
hal-01713931v1  Communication dans un congrès
Morgane BroudinVincent Le SauxPierre-Yves Le GacPierre CharrierWilfried Hervouet et al.  Thermo-oxidative ageing of an industrial elastomer for anti-vibration automotive applications: characterizations, understanding, design tools
10th European Conference on Constitutive Models for Rubbers, ECCMR X, 2017, Aug 2017, Munich, Germany
hal-01713951v1  Communication dans un congrès
Yann MarcoThomas GlanowskiVincent Le SauxPierre CharrierBertrand Huneau et al.  Thermomechanical characterization of the fatigue mechanisms of rubber materials at inclusions' scale
36 emes Journées de Printemps SF2M, Commission Fatigue des Matériaux de la SF2M,, May 2017, Paris, France
hal-01713939v1  Communication dans un congrès
Morgane BroudinVincent Le SauxYann MarcoPierre-Yves Le GacW. Hervouet et al.  Vieillissement thermo-oxydatif d’un élastomère industriel à application automobile antivibratoire : caractérisations et compréhension
27e édition DEformation des POlymères Solides (DEPOS27) , IFP Energies nouvelles, Mar 2017, Dourdan, France
...
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
hal-01713960v1  Communication dans un congrès
Thomas GlanowskiYann MarcoVincent Le SauxBertrand HuneauClément Champy et al.  Fatigue initiation mechanism of elastomers: thermomechanical characterization at the inclusions’ scale
10th European Conference on Constitutive Models for Rubbers, ECCMR X 2017, Aug 2017, Munich, Germany
hal-01713944v1  Communication dans un congrès
Yann MarcoThomas GlanowskiVincent Le SauxPierre CharrierBertrand Huneau et al.  Matériaux élastomères : caractérisation thermomécanique des mécanismes de fatigue à l’échelle de l’inclusion
27e édition DEformation des POlymères Solides (DEPOS27), IFP Energies nouvelles, Mar 2017, Dourdan, France
hal-01265272v1  Communication dans un congrès
Hicham Jamid. Le transnationalisme des migrants marocains hautemement qualifiés. Une preuve par le Web.
Atelier numérique en Méditerranée – Frontières, migrations, mobilités, TELEMME, ; LabexMed; IREMAM; LAMES; IRMC; MMSH Marseille, Jun 2015, Sidi Bou Said, Tunisie