Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

50 Résultats
Structure : Identifiant HAL de la structure : 497676
Page :
triés par

Asserting causal properties in High Level Synthesis

 Erwan Fabiani , Loïc Lagadec , Mohamed Ben Hammouda , Ciprian Teodorov
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Communication dans un congrès hal-01623030v1

Agriculture internet of things: AG-IoT

 M. Ammad Uddin , Ali Mansour , Denis Le Jeune , El-Hadi M. Aggoune
2017 27th International Telecommunication Networks and Applications Conference (ITNAC), Nov 2017, Melbourne, Australia. ⟨10.1109/ATNAC.2017.8215399⟩
Communication dans un congrès hal-01707790v1

TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION

 Nadia Menad , Philippe Dhaussy , Zoé Drey , Rachida Mekki
Computing and Informatics, 2016, 35, pp.1001-1031
Article dans une revue hal-01326351v1
Image document

Déphaseur compact passe-tout large-bande basé sur des lignes couplées à ondes lentes en CMOS 65nm à 28GHz

 Marcos Lajovic Carneiro , Marc Le Roy , André Pérennec , Mohamad-Raafat Lababidi , Philippe Ferrari et al.
20èmes Journées Nationales Microondes, May 2017, Saint-Malo, France. pp.1-2
Communication dans un congrès hal-01507263v1

Blind separation of ECG signals from noisy signals affected by electrosurgical artifacts

 Kahina Bensafia , Ali Mansour , Abdel-Ouahab Boudraa , Salah Haddab , Philippe Ariès et al.
Analog Integrated Circuits and Signal Processing, 2020, ⟨10.1007/s10470-020-01674-1⟩
Article dans une revue hal-02882649v1
Image document

Overlay Architectures For FPGA Resource Virtualization

 Théotime Bollengier , Mohamad Najem , Jean-Christophe Le Lann , Loïc Lagadec
GDR SOC SIP, Jun 2016, Nantes, France
Communication dans un congrès hal-01405912v1

Spectrum Sensing for Half and Full-Duplex Cognitive Radio

 Abbass Nasser , Ali Mansour , Koffi Clément Yao , H. Abdallah
Matin Mohammad. Spectrum Access and Management for Cognitive Radio Networks, Springer, pp.15-50, 2017, 978-981-10-2253-1. ⟨10.1007/978-981-10-2254-8_2⟩
Chapitre d'ouvrage hal-01465960v1
Image document

Compact highly selective passive notch filter for 3.1–5 GHz UWB receiver system

 Raafat Lababidi , M. Le Roy , Denis Le Jeune , André Pérennec , R. Vauche et al.
2015 IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec 2015, Cairo, Egypt. ⟨10.1109/ICECS.2015.7440259⟩
Communication dans un congrès hal-01704368v1

Wireless Based System for Continuous Electrocardiography Monitoring during Surgery

 Kahina Bensafia , Ali Mansour , Gilles Le Maillot , Benoit Clement , Olivier Reynet et al.
ICBSAT 2017 : 19th International Conference on Biomedical Signal Analysis Technology, Oct 2017, Paris, France
Communication dans un congrès hal-01651643v1
Image document

Model Checking of SCADE Designed Systems

 S Heim , Xavier Dumas , E Bonnafous , Philippe Dhaussy , C Teodorov et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès hal-01289454v1

Environment-driven reachability for timed systems

 Ciprian Teodorov , Philippe Dhaussy , Luka Le Roux
International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
Article dans une revue hal-01373335v1
Image document

Spectrum Sensing and Channel Estimation in Cognitive Radio

 Azza Moawad , Koffi Clément Yao , Ali Mansour , Roland Gautier
2nd International conference on advanced technology and applied science (ICaTAS), Arab Academy for Science, and Technology and Maritime Transport, Sep 2017, Alexandria, Egypt
Communication dans un congrès hal-01707087v1
Image document

A UWB Antenna in direct breast contact for cancer detection

 Zahra Katbay , Saadou Ali Al Mokdad , Sawsan Sadek , Marc Le Roy , Mohamad-Raafat Lababidi et al.
IEEE SENSET 2017 (International Conference on Sensors, Networks, Smart and Emerging Technologies), Beirut, Lebanon, Sep 2017, Beirut, Lebanon. pp.1-4
Communication dans un congrès hal-01589873v1

Towards one Model Interpreter for Both Design and Deployment

 Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier et al.
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès hal-01585318v1

A High Abstraction Level Constraint for Object Localization in Marine Observatories

 Joël Champeau , Loïc Lagadec , Charbel Geryes Aoun , Jad Moussa , Elio Hanna et al.
CSCI 2017, Dec 2017, Las Vegas, United States
Communication dans un congrès hal-01653617v1

RFID Eavesdropping Using SDR Platforms

 Frédéric Le Roy , Thierry Quiniou , Ali Mansour , Raafat Lababidi , Denis Le Jeune et al.
5th International Conference on Applications in Electronics Pervading Industry, Environment and Society (APPLEPIES 2016), Sep 2016, Rome, Italy. pp.208 - 214, ⟨10.1007/978-3-319-55071-8_27⟩
Communication dans un congrès hal-01404508v1
Image document

Deep venous thrombus characterization: ultrasonography, elastography and scattering operator

 Thibaud Berthomier , Ali Mansour , Luc Bressollette , Frédéric Le Roy , Dominique Mottier et al.
Advances in Science, Technology and Engineering Systems Journal, 2017, 2 (3), pp.48 - 59. ⟨10.25046/aj020308⟩
Article dans une revue hal-01699280v1

Direction of Arrival of Narrowband Signals Based on Virtual Phased Antennas

 Mohammad Ammad-Uddin , Denis Le Jeune , Ali Mansour , El-Hadi M. Aggoune
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
Communication dans un congrès hal-01707922v1
Image document

Model-based Diagnosis Patterns for Model Checking

 Vincent Leilde , Vincent Ribaud , Philippe Dhaussy
PAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès hal-01406604v1

Blind Detection of Cyclostationary Features in the Context of Cognitive Radio

 Jean Marie Kadjo , Koffi Clément Yao , Ali Mansour
ISSP 2016, Dec 2016, Limassol, Cyprus
Communication dans un congrès hal-01466021v1

Analytical performance analysis for blind quantum source separation with time-varying coupling

 Yannick Deville , Alain Deville , Simon Rebeyrol , Ali Mansour
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
Communication dans un congrès hal-01708026v1
Image document

Spectrum sensing based on cumulative power spectral density

 Abbass Nasser , Ali Mansour , K. C Yao , H. Abdallah , H. Charara et al.
EURASIP Journal on Advances in Signal Processing, 2017, 2017 (38), ⟨10.1186/s13634-017-0475-y⟩
Article dans une revue hal-01699322v1

Blind Source Separation-based Full-Duplex Cognitive Radio

 Abbass Nasser , Ali Mansour , Koffi Clément Yao , Hassan Assaf , Hussein Abdallah et al.
EEETEM2017, Apr 2017, Beyrouth, Lebanon
Communication dans un congrès hal-01551460v1

Relay Selection for Full-Duplex FSO Relays Over Turbulent Channels

 Mohamed Abaza , Raed Mesleh , Ali Mansour , El-Hadi M. Aggoune
ISSP 2016, Dec 2016, Limassol, Cyprus
Communication dans un congrès hal-01466001v1
Image document

Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project

 Vincent Ribaud , Vincent Leilde
International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
Communication dans un congrès hal-01698582v1
Image document

Overlay Architectures for Heterogeneous FPGA Cluster Management.

 Théotime Bollengier , Mohamad Najem , Jean-Christophe Le Lann , Loïc Lagadec
DASIP 2016, Oct 2016, Rennes, France
Communication dans un congrès hal-01405890v1

Design and Evaluation of a Wireless Electrocardiogram Monitor in an Operating Room: A Pilot Study

 Philippe Ariès , Kahina Bensafia , Ali Mansour , Benoit Clement , Jean-Louis Vincent et al.
Anesthesia & Analgesia, 2019, 129 (4), pp.991-996. ⟨10.1213/ANE.0000000000003972⟩
Article dans une revue hal-01971701v1

Model-Based Analysis

 Frederic Boniol , Philippe Dhaussy , Luka Le Roux , Jean-Charles Roger
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
Chapitre d'ouvrage hal-00843139v1

Venous Blood Clot Structure Characterization Using Scattering Operator

 Thibaud Berthomier , Ali Mansour , Luc Bressollette , Frédéric Le Roy , Dominique Mottier et al.
ICFSP 2016, Oct 2016, Warsaw, Poland
Communication dans un congrès hal-01405620v1
Image document

TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA

 Youenn Corre , Jean-Philippe Diguet , Dominique Heller , Dominique Blouin , Loïc Lagadec et al.
ACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (1), pp.9
Article dans une revue hal-01172103v1
Page :