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

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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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⟩