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

hal-01062373v1  Article dans une revue
Muntadher A. ShareefAbdelmalek ToumiAli 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 AaronJulien 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 AbazaRaed MeslehEl-Hadi AggouneAli 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-01147588v1  Article dans une revue
Mohamed AbazaRaed MeslehAli MansourEl-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 TurkiGilles DucBenoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
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-02418325v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumChristophe 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 AlmasriAli MansourChristophe MoyAmmar AssoumChristophe 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 AlmasriAli MansourChristophe MoyA. AssoumChristophe 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 AlmasriAli MansourChristophe MoyAmmar AssoumChristophe 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. AlmasriAli MansourChristophe MoyA. AssoumDenis 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 AounIyas AlloushYvon KermarrecJoël ChampeauOussama 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 AshrafNader KhammassiKoen BertelsJean-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 AubryRozenn DesmareLuc 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 AubryRozenn DesmareLuc 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 BabauPhilippe DhaussyPierre-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 AhmedSébastien PillementLoï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 AhmedSébastien PillementLoïc LagadecArnaud 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 BaussardArnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
hal-00926818v1  Article dans une revue
B. BelkhaouiAbdelmalek ToumiA. 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 HammoudaPhilippe CoussyLoï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 HammoudaPhilippe CoussyLoï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 HammoudaPhilippe CoussyLoï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 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-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-00807450v1  Article dans une revue
Aymeric BethencourtLuc 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 BethencourtLuc 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 BoniolPhilippe DhaussyLuka Le RouxJean-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 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-00746034v1  Communication dans un congrès
Julien BonnelRoss ChapmanStan Dosso. Single receiver bayesian inversion in a dispersive waveguide
ECUA 2012, Jul 2012, United Kingdom
hal-00875381v1  Article dans une revue
Julien BonnelGrégoire Le TouzéBarbara NicolasJerome 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 BonnelStan E. DossoN. 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 BoudraaJean-Christophe CexusM. GoussatP. Brunagel. An energy-based similarity measure for time series
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2008, pp.1-9
hal-00860130v1  Communication dans un congrès
Abdel BoudraaThierry ChonavelJean-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 BourguignonJordan NininHervé CarfantanMarcel 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-01196433v1  Article dans une revue
Quentin BrefortLuc JaulinMartine CeberioVladik 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 BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
hal-00914367v1  Communication dans un congrès
Joël ChampeauVincent LeildePapa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
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 ClementJan SliwkaIrvin 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
hal-01194766v1  Communication dans un congrès
Benoit ClementDominique MonnetJordan 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 CoatanhayYves-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 CorreJean-Philippe DiguetDominique HellerLoï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 CorreJean-Philippe DiguetLoïc LagadecDominique HellerDominique 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 CourtoisJulien 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 CreffJoë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-00773497v1  Communication dans un congrès
Stephen CreffJoël ChampeauArnaud MonégierJean-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 CreffJoël ChampeauJean-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-01090058v1  Article dans une revue
Nicolas DelanoueLuc JaulinBertrand 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 DelatourJoë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 DelatourJoë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 DesrochersSimon LacroixLuc 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 DhaussyJean-Charles RogerFré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 DhaussyCiprian 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 DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves 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⟩