Accéder directement au contenu Accéder directement à la navigation


hal-01090466v1  Chapitre d'ouvrage
Nader KhammassiJean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
...
hal-00926183v1  Communication dans un congrès
Ali MansourIsabelle LeblondDenis HamadLuis Felipe Artigas. Wireless Sensor Networks for Ecosystem Monitoring & Port Surveillance
2nd Symposium on Wireless Sensor and Cellular Networks 2013 (WSCN 2013), Dec 2013, Jeddah, Saudi Arabia
...
hal-00444394v1  Communication dans un congrès
Nicolas JossoJun ZhangAntonia Papandreou-SuppappolaCornel IoanaJerome Mars et al.  Wideband discrete transformation of acoustic signals in underwater environments
ACSSC 2007 - 43rd Annual Asilomar Conference on Signals Systems and Computers, Nov 2009, Pacific Grove, Californie, United States. pp.118 - 122, ⟨10.1109/ACSSC.2009.5470155⟩
hal-00518870v1  Communication dans un congrès
Felix TotirEmanuel RadoiCornel IoanaAndré Quinquis. Wavelet Decomposition Based Discriminant Parameters for Image Classification
IEEE International Conference Communications, 2002, Bucarest, Romania. pp.Non renseigne
hal-00518888v1  Communication dans un congrès
Cornel IoanaAndré Quinquis. Wavelet Based Compression of 3D Oceanographic Data
International Conference of METRA, address = Bucharest, Romania, year = 2002, month = May, nat = 0,, 2002, France. pp.Non renseigne
hal-00386482v1  Communication dans un congrès
Nicolas JossoCornel IoanaJerome MarsCedric Gervaise. Warping based lag-Doppler filtering applied to motion effect compensation in acoustical multipath propagation.
Acoustics 2009 - 157th Meeting of The Acoustical Society of America, May 2009, Portland, United States. pp.2541-2541
hal-02924177v1  Communication dans un congrès
Viet Dung NguyenHuy PhanAli MansourArnaud Coatanhay. VoglerNet: multiple knife-edge diffraction using deep neural network
2020 14th European Conference on Antennas and Propagation (EuCAP), Mar 2020, Copenhagen, France. pp.1-5, ⟨10.23919/EuCAP48036.2020.9135548⟩
hal-01371484v1  Communication dans un congrès
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-00518600v1  Communication dans un congrès
Brigitte HoeltzenerN. LescaM. Berthelot. Vers une anticipation des risques systèmes par la complexité
SCIGRAD, address = Brest, France, year = 2008, month = 24-25 November, pdf = 0, nat = 1, keyword = FAD,, 2008, France. pp.Non renseigne
hal-00518821v1  Communication dans un congrès
C. ArchauxAli Khenchaf. Vers un Systéme d`Information Stratégique en Téphonie Mobile Prépayé
VSST`2004, Veille Stratégique Scientifique & Technologique, address = Toulouse, France, year = 2004, month = 25-29 October, pdf = 1, nat = 1,, 2004, France. pp.Non renseigne
hal-00517292v1  Communication dans un congrès
Theurer WolfgangFrançois MekerkeJoël ChampeauPhilippe Dhaussy. Vers la gestion de la cohérence dans les processus multi-modèles métier
Congrès francophone du management de projet, 2004, France
...
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-00518738v1  Communication dans un congrès
Felix TotirEmanuel RadoiAndré Quinquis. Validation of complex naval target models using superresolution imagery methods
IEEE OCEANS`05 EUROPE, 2005, Brest, France. pp.Non renseigne
hal-02304760v1  Chapitre d'ouvrage
Ahmad Hani El FawalAli MansourMohamad Najem. V2V Influence on M2M and H2H Traffics During Emergency Scenarios
Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities, IGI Global, pp.93-134, 2019, 9781522590194. ⟨10.4018/978-1-5225-9019-4.ch003⟩
hal-00518620v1  Communication dans un congrès
Abdelmalek ToumiBrigitte HoeltzenerAli Khenchaf. Using Watersheds segmentation on ISAR image for automatic target recognition
International Conference on Digital Information Management, address = Lyon, France, pages = 285-290, year = 2007, month = 28-31 October, pdf = 1, nat = 0, keyword = FAD,, 2007, France. pp.Non renseigne
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-00517468v1  Communication dans un congrès
Ali KoudriDidier VojtsiekPhilippe SoulardChristophe MoyJoël Champeau et al.  Using MARTE in the MOPCOM SoC/SoPC Methodology
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
...
hal-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
hal-00518511v1  Communication dans un congrès
Abdelmalek ToumiAli Khenchaf. Using ISAR images for aircraft recognition
SET-160 Symposium on "NCI/ATR in Air-Ground and Maritime Applications based on Radar and Acoustics", address = Greece, year = 2010, month = october, pdf = 0, nat = 0, keyword = signal processing,, 2010, France. pp.Non renseigne
hal-00518770v1  Article dans une revue
Nicolas DelanoueLuc JaulinB. Cottenceau. Using interval arithmetic to prove that a set is path-connected
Theoretical Computer Science, Elsevier, 2004, pp.Non renseigne
hal-00517276v1  Communication dans un congrès
Philippe DhaussyFrédéric BoniolStephane de BelloyJulien AuvrayEric Landel. Using context descriptions and property definition patterns for software formal verification
ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
...
hal-00471931v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
hal-00635904v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
hal-00518736v1  Communication dans un congrès
Isabelle LeblondMichel LegrisBasel Solaiman. Use of Classification and Segmentation of Sidescan Sonar Images for Long Term Registration
IEEE OCEANS`05 EUROPE, address = Brest, France, year = 2005, month = 20-23 June, keyword = image sonar; sonar image; TVG; speckle; segmentation; classification; filtres de Gabor; Gabor; recalage; registration, pdf = 1, nat = 0,, 2005, France. pp.Non renseigne
hal-00636875v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam