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


hal-01062373v1  Article dans une revue
Muntadher A. Shareef, Abdelmalek Toumi, Ali Khenchaf. Estimation of Water Quality Parameters Using the Regression Model with Fuzzy K-Means Clustering
International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2014, 5,6, ⟨10.14569/IJACSA.2014.050624⟩
hal-01006108v1  Communication dans un congrès
Thode Aaron, Julien Bonnel. Using Nonlinear Time Sampling Of Bowhead Whale Calls To Extract Acoustic Mode Shape And Array Tilt
Alaska Marine Science Symposium, Jan 2014, Anchorage, United States
hal-01147593v1  Communication dans un congrès
Mohamed Abaza, Raed Mesleh, El-Hadi Aggoune, Ali Mansour. The performance of space shift keying for free-space optical communications over turbulent channels
Proceedings of SPIE 9387, Feb 2015, San Francisco, United States
...
hal-00923801v1  Article dans une revue
Mohamed Abaza, Raed Mesleh, Ali Mansour, El-Hadi Aggoune. Diversity techniques for a free-space optical communication system in correlated log-normal channels
Optical Engineering, SPIE, 2014, 53 (1), pp.1-6. ⟨10.1117/1.OE.53.1.016102⟩
hal-01147588v1  Article dans une revue
Mohamed Abaza, Raed Mesleh, Ali Mansour, El-Hadi Aggoune. Performance analysis of space-shift keying over negative-exponential and log-normal FSO channels
Chinese Optics Letters, Optical Society of America (imprimé) / OSA publishing (en ligne), 2015, 13 (5), pp.5. ⟨10.3788/COL201513.051001⟩
...
hal-00840663v1  Communication dans un congrès
Mohamed Abbas Turki, Gilles Duc, Benoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
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-02418325v1  Communication dans un congrès
Mahmoud Almasri, Ali Mansour, Christophe Moy, A. Assoum, Christophe Osswald et al.  All-Powerful Learning Algorithm for the Priority Access in Cognitive Network
27th European Signal Processing Conference (EUSIPCO), Sep 2019, A Coruna, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8903016⟩
...
hal-02924010v1  Article dans une revue
Mahmoud Almasri, Ali Mansour, Christophe Moy, Ammar Assoum, Christophe Osswald et al.  Distributed algorithm under cooperative or competitive priority users in cognitive networks
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
hal-02418297v1  Communication dans un congrès
Mahmoud Almasri, Ali Mansour, Christophe Moy, A. Assoum, Christophe 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-01899591v1  Communication dans un congrès
Mahmoud Almasri, Ali Mansour, Christophe Moy, Ammar Assoum, Christophe Osswald et al.  Opportunistic Spectrum Access in Cognitive Radio for Tactical Network
2nd European Conference on Electrical Engineering & Computer Scienc (EECS 2018), Dec 2018, Bern, Switzerland. ⟨10.1109/eecs.2018.00116⟩
...
hal-03002104v1  Article dans une revue
M. Almasri, Ali Mansour, Christophe Moy, A. Assoum, Denis Le Jeune et al.  Dynamic decision-making process in the opportunistic spectrum access
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩
hal-01121845v1  Article dans une revue
Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama Kassem Zein. A Modeling Approach for Marine Observatory
Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
hal-01174435v1  Communication dans un congrès
Imran Ashraf, Nader Khammassi, Koen Bertels, Jean-Christophe Le Lann. Communication-aware Parallelization Strategies for High Performance Applications.
ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France
hal-00773530v1  Article dans une revue
Clément Aubry, Rozenn Desmare, Luc Jaulin. Loop detection of mobile robots using interval analysis
Automatica, Elsevier, 2013, 49 (2), pp.463-470
hal-01062340v1  Article dans une revue
Clément Aubry, Rozenn Desmare, Luc Jaulin. Kernel characterization of an interval function
Mathematics in Computer Science, Springer, 2014, 8 (3-4), pp.379-390. ⟨10.1007/s11786-014-0206-9⟩
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe Babau, Philippe Dhaussy, Pierre-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-00921552v1  Communication dans un congrès
Chagun Basha Basheer Ahmed, Sébastien Pillement, Loïc Lagadec. New reconfigurable fault tolerant FPGA architecture: A design for mission critical applications
Workshop on Reconfigurable Computing (WRC), Jan 2014, Vienne, Austria. pp.WRC 2014
hal-01153568v1  Communication dans un congrès
Chagun Basha Basheer Ahmed, Sébastien Pillement, Loïc Lagadec, Arnaud Tisserand. Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10
hal-01171207v1  Communication dans un congrès
Alexandre Baussard, Arnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
...
hal-01241499v1  Communication dans un congrès
Ahmed Hadj Bay Ahmed, Jean-Christophe Cexus, Abdelmalek Toumi, Abdel-Ouahab Boudraa. Construction d'images ISAR par Décomposition Modale Empirique et Représentation Temps-Fréquence
GRETSI, Sep 2015, Lyon, France
hal-00926818v1  Article dans une revue
B. Belkhaoui, Abdelmalek Toumi, A. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
hal-00944548v1  Communication dans un congrès
Mohamed Ben Hammouda, Philippe Coussy, Loï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-01009572v1  Communication dans un congrès
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
hal-00989918v1  Communication dans un congrès
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. Une approche de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matériels
COMPAS 2014 - Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
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-01651643v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, Gilles Le Maillot, Benoit Clement, Olivier 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-00807450v1  Article dans une revue
Aymeric Bethencourt, Luc Jaulin. 3D Reconstruction Using Interval Methods on The Kinect Device Coupled With an IMU
International Journal of Advanced Robotic Systems, InTech, 2012, ⟨10.5772/54656⟩
hal-00989590v1  Article dans une revue
Aymeric Bethencourt, Luc Jaulin. Cooperative localization of underwater robots with unsynchronized clocks
Paladyn: Journal of Behavioral Robotics, De Gruyter, 2013, 4 (4), pp.233-244. ⟨10.2478/pjbr-2013-0023⟩
hal-00862488v1  Chapitre d'ouvrage
Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00843139v1  Chapitre d'ouvrage
Frederic Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-00746034v1  Communication dans un congrès
Julien Bonnel, Ross Chapman, Stan Dosso. Single receiver bayesian inversion in a dispersive waveguide
ECUA 2012, Jul 2012, United Kingdom
hal-00875381v1  Article dans une revue
Julien Bonnel, Grégoire Le Touzé, Barbara Nicolas, Jerome Mars. Physics-Based Time-Frequency Representations for Underwater Acoustics
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2013, 30 (6), pp.120-129. ⟨10.1109/MSP.2013.2267651⟩
hal-00844467v1  Article dans une revue
Julien Bonnel, Stan E. Dosso, N. Ross Chapman. Bayesian geoacoustic inversion of single hydrophone light bulb data using warping dispersion analysis
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 134 (1), pp.120-130. ⟨10.1121/1.4809678⟩
hal-00450025v1  Article dans une revue
Abdel Boudraa, Jean-Christophe Cexus, M. Goussat, P. Brunagel. An energy-based similarity measure for time series
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2008, pp.1-9
...
hal-01088196v1  Article dans une revue
Abdel-Ouahab Boudraa, Thierry Chonavel, Jean-Christophe Cexus. Psi_B-energy operator and cross-power spectral density
Signal Processing, Elsevier, 2014, 94, pp.236-240. ⟨10.1016/j.sigpro.2013.05.022⟩
...
hal-00860130v1  Communication dans un congrès
Abdel Boudraa, Thierry Chonavel, Jean-Christophe Cexus. Opérateur d'inter-énergie Ψ_H et densité inter-spectrale
24ème édition du colloque Gretsi, Sep 2013, Brest, France. 4 p
hal-01206286v1  Communication dans un congrès
Sébastien Bourguignon, Jordan Ninin, Hervé Carfantan, Marcel Mongeau. Programmation mixte en nombres entiers pour l’approximation parcimonieuse de signaux
ROADEF 2015, 16ème congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2015, Marseille, France
...
hal-01194776v1  Poster
Sébastien Bourguignon, Jordan Ninin, Hervé Carfantan, Marcel Mongeau. Optimisation globale pour la résolution de problèmes parcimonieux en norme $l_0$
Assemblée Générale du GDR ISIS, Mar 2015, Lyon, France
hal-01196433v1  Article dans une revue
Quentin Brefort, Luc Jaulin, Martine Ceberio, Vladik Kreinovich. Towards Fast and Reliable Localization of an Underwater Object: An Interval Approach
Journal of Uncertain Systems, World Academic Press, 2015, Journal of Uncertain Systems, 9 (2), pp.95-102
...
hal-01069935v1  Article dans une revue
Kevin Bruget, Benoit Clement, Olivier Reynet, Bernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
...
hal-00914367v1  Communication dans un congrès
Joël Champeau, Vincent Leilde, Papa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
...
hal-02295954v1  Communication dans un congrès
Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Hajjami Ben Ghézala. Product Line Configuration Meets Process Mining
CENTERIS, Oct 2019, Sousse, Tunisia. pp.199-210, ⟨10.1016/j.procs.2019.12.173⟩
...
hal-00870579v1  Communication dans un congrès
Benoit Clement. Control Algorithms for a Sailboat Robot with a Sea Experiment
Conference on Control Applications in Marine Systems, Sep 2013, Osaka, Japan
...
hal-00840509v1  Communication dans un congrès
Benoit Clement, Jan Sliwka, Irvin Probst. Sea glider guidance around a circle using distance measurements to a drifting acoustic source
IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2012, Portugal. pp.94-99, ⟨10.1109/IROS.2012.6385659⟩
hal-00914238v1  Communication dans un congrès
Benoit Clement. A Marine Robotics point of view for Coastal Oceanography
Innovation & Blue Growth symposium, Oct 2013, Qingdao, China
hal-01340686v1  Communication dans un congrès
Benoit Clement. Optimization based control for Robots, solutions for the implementation issue
Conference on Software and Hardware Architectures for Robots Control, Jun 2016, Brest, France
...
tel-01305932v1  HDR
Benoit Clement. Commande Robuste et Contraintes d'Optimisation
Automatique / Robotique. UBO, 2015
hal-01194766v1  Communication dans un congrès
Benoit Clement, Dominique Monnet, Jordan Ninin. $H_\infty$ control synthesis under structural constraints based on Global Optimization
13thEUROPT Workshop on Advances in Continuous Optimization, Jul 2015, Edinburgh, United Kingdom
hal-01170982v1  Communication dans un congrès
Arnaud Coatanhay. Modélisation numérique du champ diffracté par les vagues déferlantes côtières
ENVIREM 2015, Onera; Centrale Supelec; SEE, Jun 2015, Gif sur Yvette, France
hal-01164633v1  Article dans une revue
Arnaud Coatanhay, Yves-Marie Scolan. Adaptive multiscale moment method applied to the electromagnetic scattering by coastal breaking sea waves
Mathematical Methods in the Applied Sciences, Wiley, 2015, Wave Phenomena, 38 (10), pp.2041-2052. ⟨10.1002/mma.3405⟩
hal-00726481v1  Communication dans un congrès
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Loïc Lagadec. A framework for high-level synthesis of heterogeneous MP-SoC
GLSVLSI, May 2012, Salt Lake City, United States. pp.283-286, ⟨10.1145/2206781.2206850⟩
hal-00780378v1  Communication dans un congrès
Youenn Corre, Jean-Philippe Diguet, Loïc Lagadec, Dominique Heller, Dominique Blouin. Fast Template-based Heterogeneous MPSoC Synthesis on FPGA
9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
hal-01192710v1  Article dans une revue
Florent Le Courtois, Julien Bonnel. Compressed sensing for wideband wavenumber tracking in dispersive shallow water
Journal of the Acoustical Society of America, Acoustical Society of America, 2015, Journal of the Acoustical Society of America, 138 (2), ⟨10.1121/1.4926381⟩
hal-00771748v1  Communication dans un congrès
Stephen Creff, Joël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
...
hal-00914377v1  Communication dans un congrès
Stephen Creff, Joël Champeau. PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
MODELS 2013, Sep 2013, Miami, United States
hal-00773497v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
hal-00738772v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Jean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
...
hal-01060601v2  Rapport
Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language
[Research Report] RR-8584, INRIA. 2014, pp.23
...
hal-01330663v1  Article dans une revue
Nathalie Debese, Jean-José Jacq, Thierry Garlan. Extraction of sandy bedforms features through geodesic morphometry
Geomorphology, Elsevier, 2016, 268, pp.82-97
hal-01090058v1  Article dans une revue
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau. An algorithm for computing a neighborhood includedin the attraction domain of an asymptotically stable point
Communications in Nonlinear Science and Numerical Simulation, Elsevier, 2015, 21 (1-3), pp.181-189. ⟨10.1016/j.cnsns.2014.08.034⟩
hal-00862485v1  Chapitre d'ouvrage
Jérôme Delatour, Joë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-00821955v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
...
hal-01182607v1  Communication dans un congrès
Benoît Desrochers, Simon Lacroix, Luc Jaulin. Set-Membership Approach to the Kidnapped Robot Problem
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hamburg, Germany. 9p
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
hal-00676423v1  Chapitre d'ouvrage
Philippe Dhaussy, Jean-Charles Roger, Fré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
hal-01006697v1  Communication dans un congrès
Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
hal-00744434v1  Article dans une revue
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩