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

hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
hal-01832197v1  Article dans une revue
Abass NasserAli MansourK. YaoH. AbdallahH. Charara. Cancelation of LNA distortions in in-band full-duplex systems
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2018, 29 (9), pp.E3426. ⟨10.1002/ett.3426⟩
hal-01833431v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiAli KhenchafMohammed El Hassouni. Aircraft Target Recognition using Copula Joint Statistical Model and Sparse Representation Based Classification
IGARSS 2018, International Geoscience and Remote Sensing Symposium 2018, IEEE Geoscience and Remote Sensing Society, Jun 2018, Valencia, Spain. pp.3635-3638, ⟨10.1109/IGARSS.2018.8518668⟩
hal-01832187v1  Communication dans un congrès
Sarra ZaiedAbdelmalek ToumiAli Khenchaf. Target classification using convolutional deep learning and auto-encoder models
2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, France. ⟨10.1109/ATSIP.2018.8364502⟩
hal-01864787v1  Communication dans un congrès
Obeid FadiPhilippe Dhaussy. Model-checking for Secured Component Implementation.
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864790v1  Communication dans un congrès
Obeid FadiPhilippe Dhaussy. Secure Communication Protocol: Application to Large Number of Distributed Sensors
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
hal-01864805v1  Communication dans un congrès
Obeid FadiPhilippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
hal-01867343v1  Communication dans un congrès
Ghanmi HelmiAli KhenchafPhilippe Pouliguen. Radar Cross Section of Modified Target using Gaussian Beam Methods: Experimental Validation
International conference on Radar 2018, Aug 2018, Brisbane, Australia
hal-01867365v1  Communication dans un congrès
Honglei ZhengAli KhenchafYunhua WangHelmi GhanmiChaofang Zhao. Estimation of NRCS of Oil-free and Oil-covered Marine Surfaces in L-band. Assessment with UAVSAR data
International Conference on Radar 2018, Aug 2018, Brisbane, Australia
hal-01867385v1  Communication dans un congrès
Honglei ZhengAli KhenchafHelmi GhanmiYunhua WangChaofang Zhao. Normalized radar cross sections of sea surface estimated using asymptotic and semi-empirical methods in C band
International Geoscience and Remote Sensing Symposium 2018 (IGARSS 2018), Jul 2018, Valencia, Spain
hal-01867638v1  Communication dans un congrès
Jean-Christophe Le LannThéotime BollengierMohamad NajemLoïc Lagadec. An Integrated Toolchain for Overlay-centric System-on-chip
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
hal-01867767v1  Communication dans un congrès
Ahmad Hani El FawalAli MansourM. NajemFrederic Le RoyDenis Le Jeune. CTMC modeling for M2M/H2H coexistence in a NB-IoT Adaptive eNodeB
11th IEEE International Conference on Internet of Things (iThings-2018), Jul 2018, Halifax, Canada
hal-01867840v1  Communication dans un congrès
Azza MahdyKoffi Clement YaoAli MansourRoland Gautier. Autospectrum Approach for Spectrum Sensing in Cognitive Radio
15th International symposium on wireless communication systems 2018 (ISWCS 2018), Aug 2018, Lisbonne, Portugal
hal-01867181v1  Communication dans un congrès
Alexandre LefortBenoit ClementX. Dal Santo. Autopilot for a marine vessel : a formal proff of robustness and optimal control based on an uncertain model
13th national conference on Software and Hardware Architectures for Robots Control (SHARC 2018), Naval Group, Jun 2018, Saint-Tropez, France
hal-01867225v1  Communication dans un congrès
Helmi GhanmiAli KhenchafP. PouliguenP.O. Leye. RCS of Radar Targets using Gaussian Beam Summation Method. Experimental Evaluation
19th International Radar Symposium (IRS), Jun 2018, Bonn, Germany. ⟨10.23919/IRS.2018.8448088⟩
hal-02053162v1  Article dans une revue
Emmanuelle LeroyJean-Yves RoyerJulien BonnelFlore Samaran. Long-Term and Seasonal Changes of Large Whale Call Frequency in the Southern Indian Ocean
Journal of Geophysical Research. Oceans, Wiley-Blackwell, 2018, 123 (11), pp.8568-8580. ⟨10.1029/2018JC014352⟩
hal-01757093v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
hal-01809236v1  Communication dans un congrès
Clément J. RousselArnaud CoatanhayAlexandre Baussard. Stochastic differential equations for the electromagnetic field scattered by the sea surface for remote sensing applications
40th Conference on stochastic processes and their applications (SPA), University of Gothenburg; Chalmers University of Technology, Jun 2018, Gothenburg, Sweden
hal-01809365v1  Communication dans un congrès
Jean-Christophe CexusAbdelmalek Toumi. Radar Target Recognition using Time-Frequency Analysis and Polar Transformation
4th International Conference on Advanced Technologies For Signal and Image Processing (ATSIP'2018), Mar 2018, Sousse, Tunisia. ⟨10.1109/ATSIP.2018.8364500⟩
hal-01804797v1  Communication dans un congrès
Guilherme Schvarcz FrancoFabrice Le Bars. Robust polygon-based localization
2018 IEEE International Conference on Industrial Technology (ICIT), Feb 2018, Lyon, France. pp.304-309, ⟨10.1109/ICIT.2018.8352194⟩
hal-01802247v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
hal-01801705v1  Communication dans un congrès
Helmi GhanmiAli KhenchafComblet Fabrice. Electromagnetic characterization of a polluted maritime surface
2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, Tunisia. ⟨10.1109/ATSIP.2018.8364495⟩
hal-01904112v1  Article dans une revue
Simon RohouPeter FranekClément AubryLuc Jaulin. Proving the existence of loops in robot trajectories
The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
hal-01858712v1  Communication dans un congrès
Nathalie DebeseJean-José JacqKoen DegrendeleMarc Roche. Toward Reliable Volumetric Monitoring of Sandbanks
Geomorphometry 2018, Aug 2018, Boulder (CO), United States
hal-01394059v1  Article dans une revue
Cédric HerzetAngélique DrémeauPatrick Héas. Model Reduction from Partial Observations
International Journal for Numerical Methods in Engineering, Wiley, 2018, 113 (3), pp.479-511. ⟨10.1002/nme.5623⟩
hal-01937501v1  Communication dans un congrès
Clément DorfferAngélique DrémeauCédric Herzet. Efficient atom selection strategy for iterative sparse approximations
iTWIST 2018 - International Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques, Nov 2018, Marseille, France. pp.1-3
hal-01933792v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco