|
||
---|---|---|
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-01206527v1
Communication dans un congrès
Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie |
||
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-01505280v2
Thèse
Conception d'un algorithme de coordination hybride de groupes de robots sous-marins communicants. Application : acquisition optique systématique et détaillée des fonds marins Système multi-agents [cs.MA]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0052⟩ |
||
tel-00968199v1
Thèse
Segmentation invariante en rasance des images sonar latéral par une approche neuronale compétitive Autre. Université de Bretagne occidentale - Brest, 2013. Français. ⟨NNT : 2013BRES0034⟩ |
||
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-02008418v1
Article dans une revue
Mesure de surface équivalente radar (SER) - Aspect expérimental Techniques de l'Ingenieur, Techniques de l'ingénieur, 2018 |
||
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-03126858v1
Article dans une revue
IWV retrieval from ground GNSS receivers during NAWDEX Advances in Geosciences, European Geosciences Union, 2021, 55, pp.13-22. ⟨10.5194/adgeo-55-13-2021⟩ |
||
hal-01391389v1
Poster
Apprendre le positionnement par GNSS avec le logiciel RTKlib Géomatice 2016, May 2016, Marne-La-Vallée, France. 2016 |
||
hal-01398565v1
Poster
Évaluation d'une solution de positionnement ponctuel précis temps-réel Colloque CNFG2 2016, Nov 2016, Brest, France. 2016 |
||
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-00733844v1
Article dans une revue
Interval analysis and convex optimization to solve a robust constraint feasibility problem Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2012, 46 (4-5), pp.381-395. ⟨10.3166/jesa.46.381-395⟩ |
||
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-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-00632337v1
Direction d'ouvrage, Proceedings, Dossier
Actes de l'école d'été MDA for Embedded System developpement Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002 |
||
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-00504807v1
Article dans une revue
Classification de mines sous-marines à partir de l'image sonar brute : caractérisation du contour de l'ombre portée par algorithme génétique Traitement du Signal, Lavoisier, 2003, 20 (1) |
||
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-00935845v1
Brevet
reseau de filtrage en technologie silicium SI-HR N° de brevet: WO2010/092308 (A1. 2010 |
||
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-02149475v1
Ouvrage (y compris édition critique et traduction)
Signaux et systèmes : signaux, filtrage et décision Lavoisier, 362 p., 2019, 978-2-7462-4859-5 |
||
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⟩ ![]() |
||
hal-00773524v1
Article dans une revue
Ship detection based on morphological component analysis of high-frequency surface wave radar images IET Radar Sonar and Navigation, Institution of Engineering and Technology, 2012, 6 (9), pp.813-821. ⟨10.1049/iet-rsn.2012.0062⟩ |
||
tel-01778386v1
HDR
Traitement du signal et acoustique passive pour l'observation des océeans : de la lutte sous-marine à l'écologie Acoustique [physics.class-ph]. Université de Bretagne Occidentale (UBO), Brest, 2017 |
||
hal-00862488v1
Chapitre d'ouvrage
Analyse à partir du modèle Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5 |
||
hal-01373327v1
Article dans une revue
Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩ ![]() |
||
hal-00935858v1
Brevet
FILTRE STOP BANDE ACTIF AVEC CAPACITE VARIABLE N° de brevet: WO2012/079776 (A1) PCT/FR2011/053674. 2012 |
||
hal-00517478v1
Direction d'ouvrage, Proceedings, Dossier
Editeurs des actes de l'école d'été MDA for Embedded System developpement France. Non renseigne, pp.Non renseigne, 2002 |
||
hal-00704383v1
Article dans une revue
RCS of Complex Targets: Original Representation Validated by Measurements-Application to ISAR Imagery IEEE Geoscience and Remote Sensing, 2012, 50 (10), pp.3882 - 3891. ⟨10.1109/TGRS.2012.2186972⟩ |
||
hal-00935852v1
Brevet
FILTRE STOP BANDE ACTIF N° de brevet: WO2012/079777 (A1) PCT/FR2011/053684. 2012 |
||
hal-01326351v1
Article dans une revue
TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031 |
||
hal-00449708v1
Article dans une revue
Recent Developments in Detection, Imaging and Classification for Airborne Maritime Surveillance IET Signal Processing, Institution of Engineering and Technology, 2008, 2 (3), pp.192-203 |
||
hal-00821955v1
Chapitre d'ouvrage
Case Study Modeling Using MARTE Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013 |
||
hal-00935863v1
Brevet
filtre actif a réponse double N° de brevet: WO2013/087512 (A1) PCT/FR2011/0061524. 2013 |
||
hal-01006676v1
Article dans une revue
Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS Génie logiciel, C & S, 2014, 109 |
||
hal-01298895v1
Communication dans un congrès
Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩ |
||
hal-01298704v1
Communication dans un congrès
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain |
||
hal-00854812v1
Communication dans un congrès
Système d'assistance à la navigation handivoile Handicap 2012, Jun 2012, Paris, France. pp.180 |
||
|