|
||
---|---|---|
hal-02924107v1
Article dans une revue
Robust-Extended Kalman Filter and Long Short-Term Memory Combination to Enhance the Quality of Single Point Positioning Applied Sciences, MDPI, 2020, 10 (12), pp.4335-1 - 4335-25. ⟨10.3390/app10124335⟩ ![]() |
||
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-02303242v1
Article dans une revue
Finding the polygon hull of a network without conditions on the starting vertex Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩ |
||
hal-02122926v1
Article dans une revue
Wind Speed Estimation Using Acoustic Underwater Glider in a Near-Shore Marine Environment IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2019, 57 (4), pp.2097-2106. ⟨10.1109/TGRS.2018.2871422⟩ |
||
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-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-00771748v1
Communication dans un congrès
Relationships in Variability Modeling Approaches: A Survey and Classification 5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France |
||
hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
hal-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-01171207v1
Communication dans un congrès
Evaluating GNSS Signals for Passive Local Sea State Monitoring Space Reflecto, Nov 2013, Brest, France |
||
hal-01551453v1
Communication dans un congrès
Blind Source Subspace Separation and Classification of ECG Signals ATS 2017, Mar 2017, Sousse, Tunisia |
||
hal-00773658v1
Communication dans un congrès
LLMS Adaptive Beamforming Algorithm Implemented with Finite Precision TELFOR 2012, Nov 2012, Belgrade, Serbia |
||
hal-00777127v1
Communication dans un congrès
Subpixel image registration for coherent change detection between two high resolution sonar passes ICoURS'12, Oct 2012, Brest, France |
||
hal-01203491v1
Communication dans un congrès
Hybrid Coordination Strategy of a Group of Cooperating Autonomous Underwater Vehicles IFAC Workshop on Multivehicle Systems MVS 2015, IFAC - International Federation of Automatic Control, May 2015, Genova, Italy. pp.47-52 |
||
hal-00771758v1
Communication dans un congrès
From system-level models to heterogeneous embedded systems RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX |
||
hal-01708026v1
Communication dans un congrès
Analytical performance analysis for blind quantum source separation with time-varying coupling 23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia |
||
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-01864825v1
Communication dans un congrès
An Automated Transformation Approach for Requirement Specification Conf ITQM’16, Aug 2016, Séoul, South Korea |
||
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⟩ |
||
tel-02013947v1
Thèse
Cooperative MIMO techniques for outdoor optical wireless communication systems Other. Université de Bretagne occidentale - Brest, 2015. English. ⟨NNT : 2015BRES0073⟩ |
||
tel-01807651v1
Thèse
Spectrum sensing for half and full-duplex interweave cognitive radio systems Physics [physics]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0006⟩ |
||
hal-03104246v1
Communication dans un congrès
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-00840663v1
Communication dans un congrès
Multi-Objective Controller Design for a Space Launcher European Control Conference, Jul 2007, Kos, Greece |
||
hal-00940091v1
Communication dans un congrès
Tunable low-pass active filter using active capacitor for multimode standards IEEE 18th conference on electronices, circuits and systems (ICECS), Dec 2011, Beirut, Lebanon. pp.619-622 |
||
hal-02303250v1
Communication dans un congrès
Temperature-based models of batteries for the simulation of Wireless Sensor Networks 3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩ |
||
hal-02439264v1
Communication dans un congrès
Hardware Architecture for a Bit-Serial Odd-Even Transposition Sort Network with On-The-Fly Compare and Swap 7th International Workshop Applications in Electronics Pervading Industry, Environment & Society (ApplePies 2019), Sep 2019, Pisa, Italy |
||
hal-02434616v1
Communication dans un congrès
Rough paths theory applied to analyze the electromagnetic field scattered by a time varying sea surface 21st International Conference on Electromagnetics in Advanced Applications, ICEAA 2019, Sep 2019, Granada, Spain. pp.8879330, ⟨10.1109/ICEAA.2019.8879330⟩ |
||
hal-02434617v1
Communication dans un congrès
On-in: An on-node and in-node based mechanism for big data collection in large-scale sensor networks 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902628⟩ |
||
hal-02434619v1
Communication dans un congrès
Estimating Ambiguity and Using Model Weight To Improve the Positioning Accuracy of a Stand-alone Receiver 13th European Conference on Antennas and Propagation, EuCAP 2019, Mar 2019, Krakow, Poland. pp.8739397 |
||
hal-02434622v1
Communication dans un congrès
An efficient non-blind steering vector estimation technique for robust adaptive beamforming with multistage error feedback 11th KES International Conference on Intelligent Decision Technologies, KES-IDT 2019, Jun 2019, St. Julians, Malta. pp.13-23, ⟨10.1007/978-981-13-8303-8_2⟩ |
||
hal-02434624v1
Communication dans un congrès
Evaluating Process and Measurement Noise in Extended Kalman Filter for GNSS Position Accuracy 13th European Conference on Antennas and Propagation, EuCAP 2019, Mar 2019, Krakow, Poland. pp.8739375 |
||
hal-02434631v1
Communication dans un congrès
Solving the Problem of Coordination and Control of Multiple UAVs by Using the Column Generation Method 6th World Congress on Global Optimization, WCGO 2019, Jul 2019, Metz, France. pp.1097-1108, ⟨10.1007/978-3-030-21803-4_108⟩ |
||
hal-00944548v1
Communication dans un congrès
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-02433746v1
Communication dans un congrès
Adaptive Strategy and Decision Making Model for Sensing-Based Network Applications 19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.96-101, ⟨10.1109/ISCIT.2019.8905211⟩ |
||
hal-02433750v1
Communication dans un congrès
A closed-form expression of the BER of reconfigurable antenna aided Space Shift Keying (SSK) 19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.350-355, ⟨10.1109/ISCIT.2019.8905126⟩ |
||
hal-02457676v1
Communication dans un congrès
Particle Filter Track-Before-Detect for Target Detection and Tracking from Marine Radar Data 2019 IEEE Conference on Antenna Measurements Applications (CAMA), Oct 2019, Kuta, Bali, Indonesia. pp.1-4, ⟨10.1109/CAMA47423.2019.8959750⟩ |
||
hal-02457679v1
Communication dans un congrès
Microwave and Terahertz Em Wave Scattering From Oil-Water Complex Sea Surface at Small Incident Angles IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium, Jul 2019, Yokohama, Japan. pp.2852-2855, ⟨10.1109/IGARSS.2019.8898696⟩ |
||
hal-02441878v1
Communication dans un congrès
Automatic Verification of BPMN Models 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
||
hal-01702322v1
Communication dans un congrès
Study of RCS of complex target: Experimental measurements and Gaussian beam summation method IEEE Conference on Antenna Measurements & Applications 2017, (CAMA 2017), Dec 2017, Tsukuba, Japan. pp.196-199, ⟨10.1109/CAMA.2017.8273399⟩ |
||
hal-00998533v1
Article dans une revue
Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging Science of Computer Programming, Elsevier, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩ ![]() |
||
hal-01170576v1
Communication dans un congrès
RECTILINEAR PATH DETECTION OF A TARGET IN THE WATER COLUMN BY USING A THREE-DIMENSIONAL HOUGH TRANSFORM OF FORWARD LOOKING SONAR DATA UA 2015, Jun 2015, Crète, Greece |
||
hal-01170759v1
Communication dans un congrès
Numerical Simulation of Bistatic Electromagnetic Scattering by Contaminated Sea Surface International Radar Conference 2014, SEE, Oct 2014, Lille, France |
||
hal-01170884v1
Communication dans un congrès
Simulation Numérique de la Signature Electromagnétique Bistatique d’une Surface Maritime en Présence de Polluants Journées nationales Micro-Ondes, INP Bordeaux, Jun 2015, Bordeaux, France |
||
hal-01170953v1
Communication dans un congrès
Why Synchronization is a Key Issue in Modern Electronic Support Measures IRS 2015, Jun 2015, Dresden, Germany |
||
hal-01171474v1
Communication dans un congrès
SEAFLOOR CLASSIFICATION USING STATISTICAL MODELING OF WAVELET SUBBANDS UA 2014, Jun 2014, Rhodes, Greece |
||
hal-01170766v1
Communication dans un congrès
Bistatic scattering from a contaminated sea surface observed in C, X and Ku bands SPIE Remote Sensing, Sep 2014, Amsterdam, Netherlands |
||
hal-01171084v1
Communication dans un congrès
Modélisation de la diffusion électromagnétique en haute fréquence d’une surface de mer en présence d’une cible complexe ENVIREM 2015, Onera; Centrale Supelec; SEE, Jun 2015, Gif sur Yvette, France |
||
hal-01164505v1
Communication dans un congrès
Déphaseur 360° compact large-bande JNM 2015, INP Bordeaux, Jun 2015, Bordeaux, France |
||
hal-00746831v1
Communication dans un congrès
MULTIPATH HEIGHT FINDING OF A POINT SCATTERER IN A 3-D MARINE SCENE Radar 2012, Oct 2012, United Kingdom |
||
hal-00746850v1
Communication dans un congrès
USE OF SHORT-TERM POLYNOMIAL PHASE ESTIMATION FOR NEW ELECTRONIC WARFARE SYSTEMS Radar 2012, Oct 2012, United Kingdom |
||
hal-00746854v1
Communication dans un congrès
THE CONRIBUTION OF FUSION TECHNIQUES IN THE RECOGNITION SYSTEMS OF RADAR TARGETS Radar 2012, Oct 2012, United Kingdom |
||
hal-00746842v1
Communication dans un congrès
The Sea-Spike From Breaking Waves In Bistatic Configuration (Forward Propagation) Radar 2012, Oct 2012, France |
||
hal-00746034v1
Communication dans un congrès
Single receiver bayesian inversion in a dispersive waveguide ECUA 2012, Jul 2012, United Kingdom |
||
hal-01170748v1
Communication dans un congrès
Modeling of Bistatic EM Scattering by Polluted Sea Surface Using Asymptotic and Rigorous Methods IRS 2015, Jun 2015, Dresden, Germany |
||
hal-01174435v1
Communication dans un congrès
Communication-aware Parallelization Strategies for High Performance Applications. ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France |
||
hal-00749178v1
Communication dans un congrès
SHORT-TERM POLYNOMIAL PHASE ESTIMATION : APPLICATION TO RADAR SIGNAL IN AN ELECTRONIC WARFARE CONTEXT EUSIPCO 2012, Aug 2012, Bucarest, Romania |
||
hal-01156518v1
Communication dans un congrès
A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada |
||
hal-01156537v1
Communication dans un congrès
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany |
||
hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
hal-00728972v1
Communication dans un congrès
Incoherent change detection using amplitude sidescan sonar images ECUA 2012, Jul 2012, Edimburgh, United Kingdom |
||
hal-00728978v1
Communication dans un congrès
Range-independent segmentation of sidescan sonar images with unsupervised SOFM algorithm (self-organizing feature maps). ECUA 2012, Jul 2012, Edimburgh, United Kingdom |
||
hal-00729000v1
Communication dans un congrès
Seabed geoacoustic characterization and classification by multisonar fusion ECUA 2012, Jul 2012, Edimburgh, United Kingdom |
||
hal-00729026v1
Communication dans un congrès
Studying and modeling of submerged aquatic vegetation environments seen by a single beam echosounder ECUA 2012, Jul 2012, Edinburgh, United Kingdom |
||
hal-00729160v1
Communication dans un congrès
A STATISTICAL MODEL OF SEA CLUTTER IN PANCHROMATIC HIGH RESOLUTION IMAGES IGARSS 2012, Jul 2012, Munich, Germany |
||
hal-01131976v1
Communication dans un congrès
A Column Generation Approach for Coordination and Control of Multiple UAVs 6th International Conference on Modeling, Simulation and Optimization of Complex Processes - HPSCH 2015, Mar 2015, Hanoi, Vietnam |
||
hal-00728395v1
Communication dans un congrès
Model based classification of mine-like objects in sidescan sonar using the highlight information ECUA 2012, Jul 2012, Edinburgh, United Kingdom |
||
hal-00728364v1
Communication dans un congrès
MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology HPCC 2012, Jun 2012, Liverpool, United Kingdom |
||
hal-02431973v1
Communication dans un congrès
Validated Enclosure of Uncertain Nonlinear Equations Using SIVIA Monte Carlo 8th National Conference on Wave Mechanics and Vibrations, WMVC 2018, Jul 2018, Rourkela, India. pp.455-468, ⟨10.1007/978-981-15-0287-3_32⟩ |
||
hal-01158161v1
Chapitre d'ouvrage
Optimal Path Planning for Information based Localization Advanced Computational Methods for Knowledge Engineering, 282, Springer, pp.377-388, 2014, Advanced Computational Methods for Knowledge Engineering, 978-3-319-06568-7. ⟨10.1007/978-3-319-06569-4_28⟩ |
||
hal-01466097v1
Article dans une revue
Influence of Synchronization Impairments on an Experimental TDOA/FDOA Localization System Journal of Electrical Engineering, 2017, 5, pp.1-9. ⟨10.17265/2328-2223/2017.01.001⟩ ![]() |
||
hal-00635969v1
Chapitre d'ouvrage
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-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-00926818v1
Article dans une revue
Fusion Fourier descriptors from the EM, International Journal of Computer and Information Technology, 2013, 2 (4) |
||
hal-02304760v1
Chapitre d'ouvrage
V2V Influence on M2M and H2H Traffics During Emergency Scenarios Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities, IGI Global, pp.93-134, 2019, 9781522590194. ⟨10.4018/978-1-5225-9019-4.ch003⟩ |
||
hal-00925170v1
Article dans une revue
Segmentation des images sonar latéral assurant l'invariance en rasance Traitement du Signal, Lavoisier, 2013, 30 (3-4-5/2013), pp.119-148. ⟨10.3166/TS.30.119-148⟩ |
||
hal-01089392v1
Direction d'ouvrage, Proceedings, Dossier
Preface to the special issue on advances in Smalltalk based systems France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩ ![]() |
||
hal-00862485v1
Chapitre d'ouvrage
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-01373317v1
Article dans une revue
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-01236736v1
Brevet
FILTRE RECONFIGURABLE, COMMUTABLE ET DESACTIVABLE France, Patent n° : FR3018969. 2015 |
||
hal-00738735v1
Article dans une revue
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ ![]() |
||
|
||
hal-00676423v1
Chapitre d'ouvrage
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-00989940v1
Article dans une revue
A Survey of Frameworks & Open Environments Applied To Cognitive Radio Design IJETAE, 2014, 4 (3) |
||
hal-00782810v1
Direction d'ouvrage, Proceedings, Dossier
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience) Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩ ![]() |
||
hal-00518830v1
Article dans une revue
Nouveaux résultats sur la détection des cibles navales à faible angle rasant au moyen d'un radar à haute résolution RSTD Revue Scientifique et Technique de la Défense, 2003, pp.Non renseigne |
||
hal-00518616v1
Article dans une revue
Intégration des modèles électroniques et hydrodynamiques pour la caractérisation des cibles radar en environnement marin Traitement du Signal, Lavoisier, 2007, pp.Non renseigne |
||
hal-01006647v1
Article dans une revue
Modélisation UML d'un régulateur de vitesse automobile Génie logiciel, C & S, 2014, 109 |
||
hal-00914339v1
Article dans une revue
Ecosystem Monitoring and Port Surveillance Systems AIAAS - Advances in Applied Acoustics, 2013, 2 (4), pp.91-111 |
||
hal-00828334v1
Chapitre d'ouvrage
A Column Generation Based Label Correcting Approach for the Sensor Management in an Information Collection Process Nguyen, Ngoc Thanh and Do, Tien and Thi, Hoai An. Advanced Computational Methods for Knowledge Engineering, Springer International Publishing, pp.77-89, 2013, Studies in Computational Intelligence, ⟨10.1007/978-3-319-00293-4_7⟩ |
||
hal-01298623v1
Article dans une revue
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⟩ ![]() |
||
|