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-01864825v1  Communication dans un congrès
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
...
tel-01807651v1  Thèse
Abbass Nasser. Spectrum sensing for half and full-duplex interweave cognitive radio systems
Physics [physics]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0006⟩
...
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-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-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
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-01707228v1  Article dans une revue
Thibaud BerthomierAli MansourLuc BressolletteFrédéric Le RoyDominique Mottier et al.  Scattering Operator and Spectral Clustering for Ultrasound Images: Application on Deep Venous Thrombi
International Journal of Biomedical and Biological Engineering, World Academy of Science, Engineering and Technology, 2017
...
hal-01373458v1  Poster
Julien OgorBenoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016
...
hal-02542690v1  Communication dans un congrès
Florian NicolasAndreas ArnoldIsabelle QuiduBenoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
...
tel-02185010v1  Thèse
Ammad Uddin Mohammad. UAV Routing Protocol (URP) for crop health management
Other. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0147⟩
...
hal-01312568v1  Communication dans un congrès
Nathalie DebeseJean José JacqKoen DegrendeleMarc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom
...
hal-01756186v1  Communication dans un congrès
Vincent LeildeVincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
...
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
...
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-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-01698681v1  Communication dans un congrès
Helmi GhanmiAli KhenchafPhilippe PouliguenPapa Ousmane Leye. Gaussian beam summation method vs. Gaussian beam launching in high-frequency RCS of complex radar targets
IEEE Conference on Antenna Measurments and Applications 2017, (CAMA 2017), Dec 2017, Tsukuba, Japan