Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01551453v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, Salah Haddab. Blind Source Subspace Separation and Classification of ECG Signals
ATS 2017, Mar 2017, Sousse, Tunisia
hal-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe 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 Ghanmi, Ali Khenchaf, Papa Ousmane Leye, Philippe 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-01475251v1  Communication dans un congrès
Théotime Bollengier, Loïc Lagadec, Mohamad Najem, Jean-Christophe Le Lann, Pierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
hal-01373317v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian 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 Benabbou, Safia Nait Bahloul, Dhaussy 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 Menad, Philippe Dhaussy, Zoé Drey, Rachida 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 Berthomier, Ali Mansour, Luc Bressollette, Frédéric Le Roy, Dominique 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 Ogor, Benoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016
...
hal-01702377v1  Communication dans un congrès
Florian Nicolas, Andreas Arnold, Isabelle Quidu, Benoit Zerr. Markov-based approaches for ternary change detection between two high resolution synthetic aperture sonar tracks
OCEANS 2017, Jun 2017, Aberdeen, United Kingdom. ⟨10.1109/OCEANSE.2017.8084766⟩
...
hal-02542690v1  Communication dans un congrès
Florian Nicolas, Andreas Arnold, Isabelle Quidu, Benoî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 Debese, Jean José Jacq, Koen Degrendele, Marc 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-01643297v1  Article dans une revue
Mohamad Najem, Théotime Bollengier, Jean-Christophe Le Lann, Loïc Lagadec. Extended overlay architectures for heterogeneous FPGA cluster management
Journal of Systems Architecture, Elsevier, 2017, 78, pp.1-14. ⟨10.1016/j.sysarc.2017.06.001⟩
hal-01396694v1  Article dans une revue
Papa Ousmane Leye, Ali Khenchaf, Philippe Pouliguen. The Gaussian Beam Summation and the Gaussian Launching Methods in Scattering Problem
Journal of Electromagnetic Analysis and Applications, Scientific Research Publishing, 2016, Journal of Electromagnetic Analysis and Applications, 8 (10), pp.219-225. ⟨10.4236/jemaa.2016.810020⟩
hal-01326533v1  Chapitre d'ouvrage
Luc Jaulin, Lopez Daniel, Doze Vincent Le, Menec Stéphane Le, Jordan Ninin et al.  Computing capture tubes
Scientific Computing, Computer Arithmetic, and Validated Numerics, 9553, Springer, pp.209-224, 2016, 978-3-319-31768-7. ⟨10.1007/978-3-319-31769-4_17⟩
hal-01378727v1  Communication dans un congrès
Dominique Monnet, Benoit Clement, Jordan Ninin. Global Optimization of continuous MinMax problem
XIII Global Optimization Workshop, Sep 2016, Braga, Portugal
...
hal-01560817v1  Communication dans un congrès
Dominique Monnet, Jordan Ninin, Benoit Clement. A global optimization approach to H infinity synthesis with parametric uncertainties applied to AUV control
IFAC World Congress, IFAC, Jul 2017, Toulouse, France
...
hal-01756186v1  Communication dans un congrès
Vincent Leilde, Vincent 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 Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe 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 Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12