|
||
---|---|---|
hal-01716143v1
Article dans une revue
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-01834188v1
Article dans une revue
Seafloor Description in Sonar Images Using the Monogenic Signal and the Intrinsic Dimensionality IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2018, 56 (9), pp. 5572 - 5587. ⟨10.1109/TGRS.2018.2821189⟩ |
||
hal-01833431v1
Communication dans un congrès
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
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
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
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
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
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
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
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
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
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-01867181v1
Communication dans un congrès
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
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-02515020v1
Chapitre d'ouvrage
Using Parallel and Distributed Reachability in Model Checking Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩ |
||
hal-01707366v1
Chapitre d'ouvrage
Fast Fourier-Based Block-Matching Algorithm for Sonar Tracks Registration in a Multiresolution Framework Luc Jaulin. Marine Robotics and Applications, Springer, pp.1-14, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_1⟩ |
||
hal-01809236v1
Communication dans un congrès
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
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
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
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
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
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
Toward Reliable Volumetric Monitoring of Sandbanks Geomorphometry 2018, Aug 2018, Boulder (CO), United States |
||
hal-01933792v1
Communication dans un congrès
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 |
||
hal-01829227v1
Communication dans un congrès
Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩ |
||
hal-01804280v1
Communication dans un congrès
A new dominating tree routing algorithm for efficient leader election in IoT networks 15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩ |
||
hal-02556785v1
Communication dans un congrès
Unsupervised clustering of DVT Ultrasound Images using High Order Statistics 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Dec 2018, Madrid, Spain. pp.2495-2501, ⟨10.1109/BIBM.2018.8621187⟩ |
||
hal-01833448v1
Article dans une revue
Assessment of Wind Speed Estimation From C-Band Sentinel-1 Images Using Empirical and Electromagnetic Models IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2018, 56 (7), pp.4075 - 4087. ⟨10.1109/TGRS.2018.2822876⟩ |
||
hal-01936730v1
Article dans une revue
Precise use cases in a context-aware model-checking approach International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩ |
||
hal-01707169v1
Article dans une revue
UAV-Assisted Dynamic Clustering of Wireless Sensor Networks for Crop Health Monitoring Sensors, MDPI, 2018, 18 (2), pp.555. ⟨10.3390/s18020555⟩ |
||
|