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

hal-03104158v1  Article dans une revue
Ghattas AkkadAli MansourBachar ElhassanElie InatyRafic Ayoubi et al.  A Pipelined Reduced Complexity Two-Stages Parallel LMS Structure for Adaptive Beamforming
IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2020, 67 (12), pp.5079-5091. ⟨10.1109/TCSI.2020.2994812⟩
hal-03002104v1  Article dans une revue
Mahmoud 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-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-02564594v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonMarcel MongeauJordan NininHervé Carfantan. Sparse Branch and Bound for Exact Optimization of L0-Norm Penalized Least Squares
ICASSP 2020, IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.ISBN: 978-1-5090-6632-2, ⟨10.1109/ICASSP40776.2020.9053870⟩
hal-03104246v1  Communication dans un congrès
Clémentin BoittiauxPaul Nguyen Hong DucNicolas LongépéSara PensieriRoberto Bozzano et al.  Multi-modal deep learning models for ocean wind speed estimation
2020 MACLEAN: MAChine Learning for EArth ObservatioN Workshop, MACLEAN 2020, Sep 2020, Virtual online, France
hal-02924170v1  Communication dans un congrès
Clet BoudehennJean-Christophe CexusAbdel Boudraa. A Data Extraction Method for Anomaly Detection in Naval Systems
2020 International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA), Jun 2020, Dublin, Ireland. pp.1-4, ⟨10.1109/CyberSA49311.2020.9139656⟩
hal-03173802v1  Communication dans un congrès
Auguste BourgoisLuc Jaulin. Interval centred form for proving stability of non-linear discrete-time system
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-03125773v1  Communication dans un congrès
Fabio CassianoAngélique DrémeauFlore SamaranIsabelle Quidu. Deteclic: a multi-method detector of sperm whale's click
179th Meeting of the Acoustical Society of America - Acoustics Virtually Everywhere, Acoustical Society of America, Dec 2020, Virtuel, United States
hal-02958155v1  Communication dans un congrès
Thomas ChaffreJulien MorasAdrien Chan-Hon-TongJulien Marzat. Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation
17th International Conference on Informatics, Automation and Robotics, ICINCO 2020, Jul 2020, Virtual, Online, France. pp.314-323
hal-02508985v1  Communication dans un congrès
Nathalie DebeseJean Jacq. Underwater objects extraction and analysis
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
hal-02508980v1  Communication dans un congrès
Nathalie DebeseJean-José JacqMarc RocheRodéric MoitiéKoen Degrendele. Systematic errors estimation in repeat MBES surveys
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
hal-02924428v1  Chapitre d'ouvrage
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2020, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
hal-02502398v1  Communication dans un congrès
Sabrine EddedSihem SassiRaúl MazoCamille SalinesiHenda Hajjami Ben Ghézala. Preference-based Conflict Resolution for Collaborative Configuration of Product Lines
International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
hal-02960569v2  Article dans une revue
Cyrielle FeronLoïc LagadecVianney Lapotre. Automated Exploration of Homomorphic Encryption Scheme Input Parameters
Journal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
hal-03104198v1  Communication dans un congrès
Antoine FoucaultCedric CornuAli KhenchafFabrice Comblet. Detection of Linear Frequency Modulation, Phase-Coded and Multicarrier Radar Waveforms in Electronic Warfare Context
2020 Sensor Signal Processing for Defence Conference (SSPD), Sep 2020, Edinburgh, United Kingdom. pp.1-5, ⟨10.1109/SSPD47486.2020.9272129⟩
hal-03028409v1  Communication dans un congrès
Émilien FournierCiprian TeodorovLoïc Lagadec. Menhir: Generic High-Speed FPGA Model-Checker
2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
hal-02552069v1  Article dans une revue
Hassan HarbHussein MroueAli MansourAbbass NasserEduardo Motta Cruz. A Hadoop-Based Platform for Patient Classification and Disease Diagnosis in Healthcare Applications
Sensors (basel, Switzerland), 2020, Special Issue Sensor and Systems Evaluation for Telemedicine and eHealth, 20 (7), pp.1931-1 - 1931-20. ⟨10.3390/s20071931⟩
hal-02497561v1  Communication dans un congrès
Hadi HijaziMarc Le RoyRaafat LababidiDenis Le JeuneAndré Pérennec. 4-40 GHz In-Phase/180° Out-of-Phase Power Dividers with Enhanced Isolation
14th European Conference on Antennas and Propagation – EuCAP 2020, European Association on Antennas and Propagation (EurAAP), Mar 2020, Copenhagen, Denmark. pp.1-4
hal-02639342v1  Article dans une revue
Luc JaulinFabrice Le Bars. Characterizing Sliding Surfaces of Cyber-Physical Systems
Acta Cybernetica, 2020, Special Issue of the 11th Summer Workshop on Interval Methods, 24 (3), pp.431-448. ⟨10.14232/actacyb.24.3.2020.9⟩
hal-03188788v1  Communication dans un congrès
Luc JaulinBenoît Desrochers. Enclosing the Sliding Surfaces of a Controlled Swing
6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2020, Aug 2020, Online, Austria. pp.43-55, ⟨10.4204/EPTCS.331.4⟩
hal-02924180v1  Chapitre d'ouvrage
Luc JaulinBenoît Desrochers. Thick Separators
Martine Ceberio; Vladik Kreinovich. Decision Making under Constraints, 276, Springer, pp.125-131, 2020, Studies in Systems, Decision and Control, 978-3-030-40813-8. ⟨10.1007/978-3-030-40814-5_15⟩
hal-02931876v1  Communication dans un congrès
Frédéric JouaultValentin BesnardThéo Le CalvarCiprian TeodorovMatthias Brun et al.  Designing, Animating, and Verifying Partial UML Models
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
hal-03179132v1  Article dans une revue
Tran Vu LaChristophe MessagerMarc HonnoratRémi SahlAli Khenchaf et al.  Use of Sentinel-1 C-Band SAR Images for Convective System Surface Wind Pattern Detection
Journal of Applied Meteorology and Climatology, American Meteorological Society, 2020, 59 (8), pp.1321-1332. ⟨10.1175/JAMC-D-20-0008.1⟩
hal-02960557v1  Article dans une revue
Loïc LagadecAnne EtienJannik Laval. Advances in Smalltalk technologies
Science of Computer Programming, Elsevier, 2020, 199, pp.102518. ⟨10.1016/j.scico.2020.102518⟩
hal-02513256v1  Communication dans un congrès
Jean-Christophe Le LannHannah BadierFlorent Kermarrec. Towards a Hardware DSL Ecosystem: RubyRTL and Friends
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
hal-02190303v1  Article dans une revue
Thomas Le MézoLuc JaulinBenoit Zerr. Bracketing backward reach sets of a dynamical system
International Journal of Control, Taylor & Francis, 2020, 93 (11), pp.2528-2540. ⟨10.1080/00207179.2019.1643910⟩
hal-02508802v1  Article dans une revue
Aliah MajedHassan HarbAbbass NasserOlivier ReynetBenoit Clement. Sensing-based Self-Reconfigurable Decision-Making Mechanism for Autonomous Modular Robotic System
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2020, 20 (13), pp.7057-7106. ⟨10.1109/JSEN.2020.2979280⟩
hal-02502411v1  Article dans une revue
Raúl MazoCarlos Andrés JaramilloPaola VallejoJhon Medina. Towards a new template for the specification of requirements in semi-structured natural language
Journal of Software Engineering Research and Development, Brazilian Computer Society, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
hal-03240288v1  Communication dans un congrès
Irène MopinJacques MarchalMichel LegrisPhilippe BlondelBenoît Zerr et al.  Marine observations with a harmonic single-beam echo-sounder
Forum Acusticum, Dec 2020, Lyon, France. pp.1979-1979, ⟨10.48465/fa.2020.0624⟩
hal-02149555v1  Article dans une revue
Vincent MyersIsabelle QuiduBenoit ZerrTorstein Olsmo SaboRoy Edgar Hansen. Synthetic Aperture Sonar Track Registration With Motion Compensation for Coherent Change Detection
IEEE Journal of Oceanic Engineering, Institute of Electrical and Electronics Engineers, 2020, 45 (3), pp.1045-1062. ⟨10.1109/JOE.2019.2909960⟩
hal-02924177v1  Communication dans un congrès
Viet Dung NguyenHuy PhanAli MansourArnaud Coatanhay. VoglerNet: multiple knife-edge diffraction using deep neural network
2020 14th European Conference on Antennas and Propagation (EuCAP), Mar 2020, Copenhagen, France. pp.1-5, ⟨10.23919/EuCAP48036.2020.9135548⟩
hal-02520046v1  Chapitre d'ouvrage
Jérémy NicolaLuc Jaulin. Guaranteed Nonlinear Parameter Estimation with Additive Gaussian Noise
Olga Kosheleva; Sergey P. Shary; Gang Xiang; Roman Zapatrin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.341-357, 2020, Studies in Computational Intelligence, 978-3-030-31041-7 (Ebook); 978-3-030-31040-0 (Hardcover). ⟨10.1007/978-3-030-31041-7_19⟩
hal-03125756v1  Communication dans un congrès
Fabien NovellaYan PailhasGilles Le ChenadecIsabelle Quidu. Low Frequency Synthetic Aperture Sonar: Spatial Coherence Analyse
179th Meeting of the Acoustical Society of America - Acoustics Virtually Everywhere, Acoustical Society of America, Dec 2020, Virtuel, France. ⟨10.1121/1.5147076⟩
hal-03105969v1  Communication dans un congrès
Fabien NovellaYan PailhasIsabelle QuiduGilles Le Chenadec. Low Frequency SAS: Spatial Coherence Study
International Conference on Underwater Acoustics, ICUA 2020, Sep 2020, Virtual Meeting, France. pp.070016-1 - 070016-9, ⟨10.1121/2.0001320⟩
hal-02902490v1  Communication dans un congrès
Thomas Paviet-SalomonClément DorfferJulien BonnelBarbara NicolasThierry Chonavel et al.  Dispersive Grid-free Orthogonal Matching Pursuit for Modal Estimation in Ocean Acoustics
ICASSP 2020 : IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.4602-4606, ⟨10.1109/ICASSP40776.2020.9054365⟩
hal-02780479v1  Communication dans un congrès
Allan PenMarc Le RoyRaafat LababidiDenis Le JeuneAndré Pérennec et al.  Broadside FD Antenna Topologies for Nanosat Intersatellite Link
NEWCAS 2020 (18th IEEE International NEWCAS Conference), Jun 2020, Montréal, Canada. pp.1-4
hal-02147241v1  Article dans une revue
Gaëtan RichardJulien BonnelPaul TixierJohn ArnouldAnaïs Janc et al.  Evidence of deep-sea interactions between toothed whales and longlines
AMBIO: A Journal of the Human Environment, Springer Verlag, 2020, 49 (1), pp.173-186. ⟨10.1007/s13280-019-01182-1⟩
hal-03104184v1  Communication dans un congrès
Luisa RincónOunsa RoudiesCamille Salinesi. A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering
SPLC '20: 24th ACM International Systems and Software Product Line Conference, Oct 2020, Montreal (QC), Canada. pp.13-20, ⟨10.1145/3382026.3425774⟩
hal-02904517v1  Communication dans un congrès
Simon RohouBenoît DesrochersLuc Jaulin. Set-membership state estimation by solving data association
IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France
hal-02956402v1  Communication dans un congrès
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc Jaulin et al.  Towards a Generic Interval Solver for Differential-Algebraic CSP
International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
hal-02995566v1  Article dans une revue
M.A. ShareefN.D. HassanAli KhenchafS.F. Hasan. Integration of Sentinel-1A and Sentinel-2B Data for Land Use and Land Cover Mapping of the Kirkuk Governorate, Iraq
International Journal of Geoinformatics, Association of Geoinformation Technology, 2020, 16 (3), pp.87-96
hal-02958111v1  Communication dans un congrès
Caine SilvaSylvain GuérinRaúl MazoJoël Champeau. Contract-based design patterns: a design by contract approach to specify security patterns
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
hal-02502387v1  Communication dans un congrès
Tithnara SunBastien DrouotFahad Rafique GolraJoël ChampeauSylvain Guérin et al.  A Domain-specific Modeling Framework for Attack Surface Modeling
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
hal-03173788v1  Communication dans un congrès
Joris TilletLuc JaulinFabrice Le Bars. Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer
IROS 2020- International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas ( Online ), United States. pp.7729-7736, ⟨10.1109/IROS45743.2020.9341712⟩
hal-03109596v1  Communication dans un congrès
Abdelmalek ToumiJean-Christophe CexusAli KhenchafAntoine Tartivel. Transfer learning on CNN architectures for ship classification on SAR images
Sea Tech Week - Session Remote Sensing, Oct 2020, Brest, France
hal-03151912v1  Communication dans un congrès
Ngoc Tan TruongAli KhenchafFabrice CombletFranck PierreJean-Marc Champeyroux et al.  Filter de-noising method using long short-term memory
2020 European Navigation Conference, ENC 2020, Nov 2020, Dresden, Germany. pp.9317471
hal-02125051v1  Article dans une revue
Christophe VielUlysse VautierJian WanLuc Jaulin. Platooning Control for Heterogeneous Sailboats Based on Constant Time Headway
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020, 21 (5), pp.2078-2089. ⟨10.1109/TITS.2019.2912389⟩