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


hal-01551453v1  Communication dans un congrès
Kahina BensafiaAli MansourSalah Haddab. Blind Source Subspace Separation and Classification of ECG Signals
ATS 2017, Mar 2017, Sousse, Tunisia
hal-01708026v1  Communication dans un congrès
Yannick DevilleAlain DevilleSimon RebeyrolAli Mansour. Analytical performance analysis for blind quantum source separation with time-varying coupling
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
...
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-01326351v1  Article dans une revue
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
...
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-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-01707790v1  Communication dans un congrès
M. Ammad UddinAli MansourDenis Le JeuneEl. Hadi M. Aggoune. Agriculture internet of things: AG-IoT
2017 27th International Telecommunication Networks and Applications Conference (ITNAC), Nov 2017, Melbourne, Australia. ⟨10.1109/ATNAC.2017.8215399⟩
hal-01707922v1  Communication dans un congrès
Mohammad Ammad-UddinDenis Le JeuneAli MansourEl-Hadi M. Aggoune. Direction of Arrival of Narrowband Signals Based on Virtual Phased Antennas
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
...
hal-01699322v1  Article dans une revue
Abbass NasserAli MansourK. YaoH. AbdallahH. Charara. Spectrum sensing based on cumulative power spectral density
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2017, 2017 (38), ⟨10.1186/s13634-017-0475-y⟩
hal-01585318v1  Communication dans un congrès
Valentin BesnardMatthias BrunPhilippe DhaussyFrédéric JouaultDavid Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
hal-01595789v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes
SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
...
hal-01698582v1  Communication dans un congrès
Vincent RibaudVincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project
International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
hal-01651643v1  Communication dans un congrès
Kahina BensafiaAli MansourGilles Le MaillotBenoit ClementOlivier Reynet et al.  Wireless Based System for Continuous Electrocardiography Monitoring during Surgery
ICBSAT 2017 : 19th International Conference on Biomedical Signal Analysis Technology, Oct 2017, Paris, France
hal-01326537v1  Article dans une revue
Ali MansourRaed MeslehMohamed Abaza. New challenges in wireless and free space optical communications
Optics and Lasers in Engineering, Elsevier, 2017, 89, pp.95-108. ⟨10.1016/j.optlaseng.2016.03.027⟩
hal-01699280v1  Article dans une revue
Thibaud BerthomierAli MansourLuc BressolletteFrédéric Le RoyDominique Mottier. Deep venous thrombus characterization: ultrasonography, elastography and scattering operator
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2017, 2 (3), pp.48 - 59. ⟨10.25046/aj020308⟩
hal-01404508v1  Communication dans un congrès
Frédéric Le RoyThierry QuiniouAli MansourRafaat LababidiDenis Le Jeune. RFID Eavesdropping Using SDR Platforms
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⟩
...
hal-01368466v1  Communication dans un congrès
Benoit ClementYang RuiAli MansourLi Ming. A Modeling and Control approach for a cubic AUV
10th IFAC Conference on Control Applications in Marine Systems, Sep 2016, Tronheim, Norway. pp.279 - 284, ⟨10.1016/j.ifacol.2016.10.355⟩
hal-01623030v1  Communication dans un congrès
Erwan FabianiLoïc LagadecMohamed Ben HammoudaCiprian Teodorov. Asserting causal properties in High Level Synthesis
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
...
hal-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France