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


...
hal-00926183v1  Communication dans un congrès
Ali MansourIsabelle LeblondDenis HamadLuis Felipe Artigas. Wireless Sensor Networks for Ecosystem Monitoring & Port Surveillance
2nd Symposium on Wireless Sensor and Cellular Networks 2013 (WSCN 2013), Dec 2013, Jeddah, Saudi Arabia
...
hal-01841830v1  Communication dans un congrès
Cécile PlaudVincent Ribaud. When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example
10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
...
hal-02330138v1  Communication dans un congrès
Guillaume BeaumontAngélique DrémeauRonan Fablet. VON MISES PRIOR FOR PHASE-NOISY DOA ESTIMATION: THE VITAMIN ALGORITHM
Underwater Acoustics Conference, Jun 2019, Heraklion, Greece
...
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
...
hal-03148619v1  Article dans une revue
Andreas RauhJulia Kersten. Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, 331, pp.18-32. ⟨10.4204/EPTCS.331.2⟩
...
tel-02319224v1  Thèse
Fadi Obeid. Validation formelle d'implantation de patrons de sécurité
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0002⟩
...
hal-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
...
hal-02508985v1  Communication dans un congrès
Nathalie DebeseJean Jacq. Underwater objects extraction and analysis
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
...
tel-02185010v1  Thèse
Ammad Uddin Mohammad. UAV Routing Protocol (URP) for crop health management
Other. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0147⟩
...
hal-01876724v1  Article dans une revue
Raafat LababidiMaryam Al ShamiMarc Le RoyDenis Le JeuneKhaled Khoder et al.  Tunable Channelized Bandstop Passive Filter Using Reconfigurable Phase Shifter
IET Microwaves Antennas and Propagation, Institution of Engineering and Technology, 2019, 13 (5), pp.591-596. ⟨10.1049/iet-map.2018.5430⟩
...
hal-02052433v1  Communication dans un congrès
Hannah BadierJean-Christophe Le LannP CoussyGogniat Guy. Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment
2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
...
tel-01793150v1  Thèse
Ewen Conan. Traitements adaptés aux antennes linéaires horizontales pour la discrimination en immersion de sources Ultra Basse Fréquence
Traitement du signal et de l'image [eess.SP]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. Français. ⟨NNT : 2017IMTA0016⟩
...
tel-02096884v2  Thèse
Ayoub Karine. Traitement et classification parcimonieuse des images radar pour l’aide à la reconnaissance de cibles
Traitement du signal et de l'image [eess.SP]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne; Université Mohammed V (Rabat). Faculté des sciences, 2018. Français. ⟨NNT : 2018ENTA0013⟩
...
tel-01778386v1  HDR
Julien Bonnel. 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-01373458v1  Poster
Julien OgorBenoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
...
hal-02502411v1  Article dans une revue
Raúl MazoCarlos Andrés JaramilloPaola VallejoJhon Medina. Towards a new template for the specification of requirements in semi-structured natural language
Journal of Software Engineering Research and Development, Brazilian Computer Society, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
...
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
...
hal-02513256v1  Communication dans un congrès
Jean-Christophe Le LannHannah BadierFlorent Kermarrec. Towards a Hardware DSL Ecosystem: RubyRTL and Friends
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
...
hal-02956402v1  Communication dans un congrès
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc Jaulin et al.  Towards a Generic Interval Solver for Differential-Algebraic CSP
International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
...
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-00738752v1  Communication dans un congrès
Frederic SturmJulien Bonnel. TIME-FREQUENCY ANALYSIS OF BROADBAND SOUND PULSE PROPAGATION IN 3-D OCEANIC WAVEGUIDES
ECUA 2012, Jul 2012, Edinburgh, United Kingdom
...
hal-01867575v1  Communication dans un congrès
Maël Le GallicJoris TilletLuc JaulinFabrice Le Bars. Tight slalom control for sailboat robots
International Robotic Sailing Conference (IRSC) , Aug 2018, Southampton, United Kingdom
...
hal-02924428v1  Chapitre d'ouvrage
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2020, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
...
hal-01698424v1  Article dans une revue
Benoît DesrochersLuc Jaulin. Thick set inversion
Artificial Intelligence, Elsevier, 2017, 249, pp.1 - 18. ⟨10.1016/j.artint.2017.04.004⟩
...
hal-02924180v1  Chapitre d'ouvrage
Luc JaulinBenoît Desrochers. Thick Separators
Martine Ceberio; Vladik Kreinovich. Decision Making under Constraints, 276, Springer, pp.125-131, 2020, Studies in Systems, Decision and Control, 978-3-030-40813-8. ⟨10.1007/978-3-030-40814-5_15⟩
...
hal-03128908v1  Article dans une revue
Reda BoukezzoulaLuc JaulinBenoît DesrochersDidier Coquin. Thick Fuzzy Sets (TFSs) and Their Potential Use in Uncertain Fuzzy Computations and Modeling
IEEE Transactions on Fuzzy Systems, Institute of Electrical and Electronics Engineers, In press, pp.1 - 14. ⟨10.1109/tfuzz.2020.3018550⟩
...
hal-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
...
hal-02303250v1  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariReinhardt EulerLoïc Lagadec et al.  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-01119571v1  Communication dans un congrès
Vincent RibaudCiprian TeodorovZoé DreyLuka LerouxPhilippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
...
hal-01759350v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiAli KhenchafMohammed Hassouni. Target Recognition in ISAR Images based on Relative Phases of Complex Wavelet Coefficients and Sparse Classification
4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP'2018), ATMS Advanced Technologies For Medicine and Signals, Mar 2018, Sousse, Tunisia
...
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, Tunisia. ⟨10.1109/ATSIP.2018.8364502⟩
...
hal-00854812v1  Communication dans un congrès
Nicolas BrochetonKevin BrugetAlban WibauxOlivier ReynetBenoit Clement et al.  Système d'assistance à la navigation handivoile
Handicap 2012, Jun 2012, Paris, France. pp.180
...
hal-02508980v1  Communication dans un congrès
Nathalie DebeseJean-José JacqMarc RocheRodéric MoitiéKoen Degrendele. Systematic errors estimation in repeat MBES surveys
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
...
hal-00485686v1  Article dans une revue
Emanuel RadoiAndré QuinquisFelix Totir. Supervised Self-Organizing Classification of Superresolution ISAR Images: An Anechoic Chamber Experiment
Eurasip Journal on Applied Signal Processing, Hindawi Publishing Corporation, 2006, pp.Volume 2006, Article ID 35043, Pages 1-14. ⟨10.1155/ASP/2006/35043⟩
...
hal-00728390v1  Communication dans un congrès
Luc JaulinFabrice Le BarsBenoit ClementYvon GallouOlivier Menage et al.  Suivi de route pour un robot voilier
Conférence Internationale Francophone d'Automatique (CIFA2012), Jul 2012, Grenoble, France. pp.695-702
...
hal-01702322v1  Communication dans un congrès
Helmi GhanmiAli KhenchafPapa Ousmane LeyePhilippe Pouliguen. 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⟩
...
insu-01570838v1  Article dans une revue
Leslie DavidOlivier BockChristian ThomPierre BosserJacques Pelon. Study and mitigation of calibration factor instabilities in a water vapor Raman lidar
Atmospheric Measurement Techniques, European Geosciences Union, 2017, 10 (7), pp.2745-2758. ⟨10.5194/amt-10-2745-2017⟩
...
tel-02569767v1  Thèse
Thibaut Nico. Study and development of relocation solutions of underwater objects by underwater heterogeneous vehicles
Automatic. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0005⟩
...
tel-02569917v1  Thèse
Clément J. Roussel. Stochastic differential equations for the electromagnetic field scattered by the sea surface : applications to remote sensing
Signal and Image Processing. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0007⟩
...
tel-01807651v1  Thèse
Abbass Nasser. Spectrum sensing for half and full-duplex interweave cognitive radio systems
Physics [physics]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0006⟩
...
hal-02090199v1  Article dans une revue
A MoawadK YaoAli MansourRoland Gautier. Spectrum Sensing by Scattering Operators in Cognitive Radio
Journal of Advanced Research in Applied Mechanics, Akademia Baru 2018, 45, pp.13 - 19
...
hal-01699322v1  Article dans une revue
Abbass NasserAli MansourK. YaoH. AbdallahH. Charara. Spectrum sensing based on cumulative power spectral density
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2017, 2017 (38), ⟨10.1186/s13634-017-0475-y⟩
...
hal-01699303v1  Article dans une revue
Abbass NasserAli MansourK. YaoH. AbdallahA. Abdul Ghani. Spectrum Sensing and Throughput Analysis for Full-Duplex Cognitive Radio with Hardware Impairments
EAI Endorsed Transactions on Cognitive Communications, EAI Publications, 2017, 3 (11), pp.e4. ⟨10.4108/eai.31-5-2017.152556⟩
...
hal-01707087v1  Communication dans un congrès
Azza MoawadKoffi Clément YaoAli MansourRoland Gautier. Spectrum Sensing and Channel Estimation in Cognitive Radio
2nd International conference on advanced technology and applied science (ICaTAS), Arab Academy for Science, and Technology and Maritime Transport, Sep 2017, Alexandria, Egypt
...
hal-01611021v1  Article dans une revue
Ewen ConanJulien BonnelThierry ChonavelBarbara Nicolas. Source depth discrimination with a vertical line array
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 140 (5), pp.EL434 - EL440. ⟨10.1121/1.4967506⟩
...
hal-02535015v1  Communication dans un congrès
Jacques MarchalIrène MopinMichel LegrisY. Le GallXavier Lurton. Sondeur et Sonar Multi-Fréquentiels
13e Congrès Français d'Acoustique, Apr 2016, Le Mans, France
...
hal-00686856v1  Article dans une revue
Luc Jaulin. Solving set-valued constraint satisfaction problems
Computing, Springer Verlag, 2012, 94 (2), pp.297-311. ⟨10.1007/s00607-011-0169-5⟩
...
tel-01661569v1  Thèse
Xuan Sang Le. software/FPGA co-design for Edge-computing : Promoting object-oriented design
Other [cs.OH]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0041⟩
...
hal-01475251v1  Communication dans un congrès
Théotime BollengierLoïc LagadecMohamad NajemJean-Christophe Le LannPierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
...
inria-00468650v1  Chapitre d'ouvrage
Denis AulagnierAli KoudriStéphane LecomtePhilippe SoulardJoël Champeau et al.  SoC/SoPC development using MDD and MARTE profile
Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
...
hal-01368470v1  Communication dans un congrès
Juan Luis RosendoBenoit ClementFabricio Garelli. Sliding mode reference conditioning for path following applied to an AUV
10th IFAC Conference on Control Applications in Marine Systems (CAMS 2016), Sep 2016, Trondheim, Norway
...
tel-02365087v1  Thèse
Benoît Desrochers. Simultaneous localization and mapping in unstructured environments : a set-membership approach
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0006⟩
...
hal-02958155v1  Communication dans un congrès
Thomas ChaffreJulien MorasAdrien Chan-Hon-TongJulien Marzat. Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation
17th International Conference on Informatics, Automation and Robotics, ICINCO 2020, Jul 2020, Virtual, Online, France. pp.314-323
...
hal-02904517v1  Communication dans un congrès
Simon RohouBenoît DesrochersLuc Jaulin. Set-membership state estimation by solving data association
IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France
...
hal-01182607v1  Communication dans un congrès
Benoît DesrochersSimon LacroixLuc Jaulin. Set-Membership Approach to the Kidnapped Robot Problem
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hamburg, Germany. 9p
...
hal-03070390v1  Communication dans un congrès
Milan Courcoux-CaroCharles VanwynsbergheCédric HerzetAlexandre Baussard. Sequential Sensor Placement using Bayesian Compressed Sensing for Source Localization
EUSIPCO 2020 - 28th European Signal Processing Conference, Jan 2021, Amsterdam, Netherlands. pp.241-245, ⟨10.23919/Eusipco47968.2020.9287709⟩
...
hal-01236498v1  Communication dans un congrès
Luc Jaulin. Separator Algebra for State Estimation
SMART 2015, Université de Manchester, Sep 2015, Manchester, United Kingdom
...
hal-00839586v1  Communication dans un congrès
Mbark IgganeDriss MammassAli KhenchafJean-Christophe Cexus. Segmentation d'images sonar par matrice de co-occurrence
5th International Conference : Sciences of Electronics, Technologies of Information and Telecommunication, Mar 2009, Hammamet, Tunisie. 5 p
...
hal-03188864v1  Communication dans un congrès
Hiba HnainiLuka Le RouxJoël ChampeauCiprian Teodorov. Security property modeling
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
...
hal-00729000v1  Communication dans un congrès
Ridha FezzaniBenoit ZerrMichel LegrisYann Stephan. Seabed geoacoustic characterization and classification by multisonar fusion
ECUA 2012, Jul 2012, Edimburgh, United Kingdom
...
hal-00840509v1  Communication dans un congrès
Benoit ClementJan SliwkaIrvin Probst. Sea glider guidance around a circle using distance measurements to a drifting acoustic source
IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2012, Portugal. pp.94-99, ⟨10.1109/IROS.2012.6385659⟩
...
hal-01657530v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiAli KhenchafMohammed El Hassouni. Saliency Attention and SIFT Keypoints Combination for Automatic Target Recognition on MSTAR dataset
3rd International Conference on Advanced Technologies for Signal and Image Processing - ATSIP’2017, Mar 2017, fez Morocco. ⟨10.1109/ATSIP.2017.8075558⟩
...
hal-00914040v1  Communication dans un congrès
Luc JaulinFabrice Le Bars. Sailboat as a windmill
IRSC 2013 - 6th International Robotic Sailing Conference, Sep 2013, Brest, France. pp.81-91
...
tel-03151588v2  Thèse
Auguste Bourgois. Safe & collaborative autonomous underwater docking
Robotics [cs.RO]. École Nationale Supérieure de Techniques Avancées Bretagne, 2021. English
...
tel-02538387v1  Thèse
Juan Luis Rosendo. Robust techniques of automatic control for mobile robotic systems
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne; Universidad nacional de La Plata, 2019. English. ⟨NNT : 2019ENTA0004⟩
...
hal-00911254v1  Communication dans un congrès
Olivier ReynetLuc JaulinGilles Chabert. Robust TDOA passive location using interval analysis and contractor programming
Radar Conference - Surveillance for a Safer World, 2009. RADAR. International, Oct 2009, France. pp.1 - 6
...
hal-02283926v2  Communication dans un congrès
Frédéric Le RoyChristian RolandDenis Le JeuneJean-Philippe Diguet. Risk assessment of SDR-based attacks with UAVs
16th International Symposium on Wireless Communication Systems (ISWCS), Aug 2019, OULU, Finland
...
hal-01312568v1  Communication dans un congrès
Nathalie DebeseJean José JacqKoen DegrendeleMarc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom
...
hal-02542690v1  Communication dans un congrès
Florian NicolasAndreas ArnoldIsabelle QuiduBenoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
...
hal-02428581v1  Communication dans un congrès
Andrey SadovykhTewfik ZiadiAlessandra BagnatoThorsten BergerJan-Philipp Steghöfer et al.  REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia
...
tel-03010085v1  Thèse
Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English
...
hal-01698582v1  Communication dans un congrès
Vincent RibaudVincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project
International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
...
hal-02059649v1  Communication dans un congrès
Clément DorfferCédric HerzetAngélique Drémeau. Region-based relaxations to accelerate greedy approaches
27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, La Corogne, Spain
...
hal-02304729v1  Communication dans un congrès
Isabelle LeblondLuc JaulinRomain SchwabIsabelle Delumeau. Recherche d'objets archéologiques sous-marins à partir de données multicapteur
XXVIIème Colloque francophonede traitement du signal et des images (GRETSI 2019), Aug 2019, Lille, France
...
hal-00941496v1  Communication dans un congrès
Delphine MathiasAaron ThodeJan StraleyRuss AndrewsOlivier Le Bot et al.  Range-depths tracking of multiple sperm whales over large distances using a two-element vertical array and rhythmic properties of clicks-trains
Workshop: Neural Information Processing Scaled for Bioacoustics : NIPS4B, Dec 2013, Lake Tahoe, NE, United States
...
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