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

hal-00944548v1  Communication dans un congrès
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
hal-02433746v1  Communication dans un congrès
Marwa IbrahimH. HarbA. NasserAli MansourChristophe Osswald. Adaptive Strategy and Decision Making Model for Sensing-Based Network Applications
19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.96-101, ⟨10.1109/ISCIT.2019.8905211⟩
hal-02433750v1  Communication dans un congrès
Viet-Dung NguyenM.D. RenzoAli MansourArnaud CoatanhayN. Linh-Trung. A closed-form expression of the BER of reconfigurable antenna aided Space Shift Keying (SSK)
19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.350-355, ⟨10.1109/ISCIT.2019.8905126⟩
hal-02457676v1  Communication dans un congrès
Zaynab GuerraouAli KhenchafFabrice CombletMarc LeouffreOlivier Lacrouts. Particle Filter Track-Before-Detect for Target Detection and Tracking from Marine Radar Data
2019 IEEE Conference on Antenna Measurements Applications (CAMA), Oct 2019, Kuta, Bali, Indonesia. pp.1-4, ⟨10.1109/CAMA47423.2019.8959750⟩
hal-02457679v1  Communication dans un congrès
Honglei ZhengYanmin ZhangYunhua WangAli Khenchaf. Microwave and Terahertz Em Wave Scattering From Oil-Water Complex Sea Surface at Small Incident Angles
IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium, Jul 2019, Yokohama, Japan. pp.2852-2855, ⟨10.1109/IGARSS.2019.8898696⟩
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-01702322v1  Communication dans un congrès
Helmi GhanmiAli KhenchafPapa Ousmane LeyePhilippe Pouliguen. Study of RCS of complex target: Experimental measurements and Gaussian beam summation method
IEEE Conference on Antenna Measurements & Applications 2017, (CAMA 2017), Dec 2017, Tsukuba, Japan. pp.196-199, ⟨10.1109/CAMA.2017.8273399⟩
hal-02418297v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumChristophe Osswald et al.  Distributed Algorithm to Learn OSA Channels Availability and Enhance the Transmission Rate of Secondary Users
19th International Symposium on Communications and Information Technologies, ISCIT 2019, Sep 2019, Ho Chi Minh City, Vietnam. pp.356-360, ⟨10.1109/ISCIT.2019.8905171⟩
hal-00820732v1  Communication dans un congrès
Antoine GhalebRené GarelloBertrand ChapronNicolas PinelFabrice Comblet et al.  Modeling and simulation of multi-scale radar sea surface
European Conference Ocean & Coastal Observation Sensors and observing systems, numerical models & information Systems, Jun 2010, Brest, France. pp.OCOSS'2010
hal-01699303v1  Article dans une revue
Abbass NasserAli MansourK. YaoH. AbdallahA. Abdul Ghani. Spectrum Sensing and Throughput Analysis for Full-Duplex Cognitive Radio with Hardware Impairments
EAI Endorsed Transactions on Cognitive Communications, EAI Publications, 2017, 3 (11), pp.e4. ⟨10.4108/eai.31-5-2017.152556⟩
hal-01158161v1  Chapitre d'ouvrage
Francis CélesteFrédéric Dambreville. Optimal Path Planning for Information based Localization
Advanced Computational Methods for Knowledge Engineering, 282, Springer, pp.377-388, 2014, Advanced Computational Methods for Knowledge Engineering, 978-3-319-06568-7. ⟨10.1007/978-3-319-06569-4_28⟩
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
hal-00926818v1  Article dans une revue
B. BelkhaouiAbdelmalek ToumiA. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
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-01089392v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Preface to the special issue on advances in Smalltalk based systems
France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩
hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
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-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
hal-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFrédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012