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

hal-01147588v1  Article dans une revue
Mohamed AbazaRaed MeslehAli MansourEl-Hadi Aggoune. Performance analysis of space-shift keying over negative-exponential and log-normal FSO channels
Chinese Optics Letters, Optical Society of America (imprimé) / OSA publishing (en ligne), 2015, 13 (5), pp.5. ⟨10.3788/COL201513.051001⟩
hal-01147593v1  Communication dans un congrès
Mohamed AbazaRaed MeslehEl-Hadi AggouneAli Mansour. The performance of space shift keying for free-space optical communications over turbulent channels
Proceedings of SPIE 9387, Feb 2015, San Francisco, United States
hal-00840663v1  Communication dans un congrès
Mohamed Abbas TurkiGilles DucBenoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
hal-03002104v1  Article dans une revue
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumDenis Le Jeune et al.  Dynamic decision-making process in the opportunistic spectrum access
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩
hal-02418297v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumChristophe Osswald et al.  Distributed Algorithm to Learn OSA Channels Availability and Enhance the Transmission Rate of Secondary Users
19th International Symposium on Communications and Information Technologies, ISCIT 2019, Sep 2019, Ho Chi Minh City, Vietnam. pp.356-360, ⟨10.1109/ISCIT.2019.8905171⟩
hal-02924010v1  Article dans une revue
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumChristophe Osswald et al.  Distributed algorithm under cooperative or competitive priority users in cognitive networks
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
hal-02418325v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyA. AssoumChristophe Osswald et al.  All-Powerful Learning Algorithm for the Priority Access in Cognitive Network
27th European Signal Processing Conference (EUSIPCO), Sep 2019, A Coruna, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8903016⟩
hal-01899591v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumChristophe Osswald et al.  Opportunistic Spectrum Access in Cognitive Radio for Tactical Network
2nd European Conference on Electrical Engineering & Computer Scienc (EECS 2018), Dec 2018, Bern, Switzerland. ⟨10.1109/eecs.2018.00116⟩
hal-01174435v1  Communication dans un congrès
Imran AshrafNader KhammassiKoen BertelsJean-Christophe Le Lann. Communication-aware Parallelization Strategies for High Performance Applications.
ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France
hal-00773530v1  Article dans une revue
Clément AubryRozenn DesmareLuc Jaulin. Loop detection of mobile robots using interval analysis
Automatica, Elsevier, 2013, 49 (2), pp.463-470
hal-01062340v1  Article dans une revue
Clément AubryRozenn DesmareLuc Jaulin. Kernel characterization of an interval function
Mathematics in Computer Science, Springer, 2014, 8 (3-4), pp.379-390. ⟨10.1007/s11786-014-0206-9⟩
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-Yves Pillain. 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-00926818v1  Article dans une revue
B. BelkhaouiAbdelmalek ToumiA. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
hal-00678285v1  Article dans une revue
Othmane BenhmammouchAli KhenchafNatacha Caouren. Modelling roughness effects on propagation of electromagnetic waves in a maritime environment: a hybrid approach
IET Radar Sonar and Navigation, Institution of Engineering and Technology, 2011, 5 (9), pp.1018-1025. ⟨10.1049/iet-rsn.2009.0078⟩
hal-00704383v1  Article dans une revue
Yacine BennaniFabrice CombletAli Khenchaf. RCS of Complex Targets: Original Representation Validated by Measurements-Application to ISAR Imagery
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2012, 50 (10), pp.3882 - 3891. ⟨10.1109/TGRS.2012.2186972⟩
hal-01651643v1  Communication dans un congrès
Kahina BensafiaAli MansourGilles Le MaillotBenoit ClementOlivier Reynet et al.  Wireless Based System for Continuous Electrocardiography Monitoring during Surgery
ICBSAT 2017 : 19th International Conference on Biomedical Signal Analysis Technology, Oct 2017, Paris, France
hal-00807450v1  Article dans une revue
Aymeric BethencourtLuc Jaulin. 3D Reconstruction Using Interval Methods on The Kinect Device Coupled With an IMU
International Journal of Advanced Robotic Systems, InTech, 2012, ⟨10.5772/54656⟩
hal-00989590v1  Article dans une revue
Aymeric BethencourtLuc Jaulin. Cooperative localization of underwater robots with unsynchronized clocks
Paladyn: Journal of Behavioral Robotics, De Gruyter, 2013, 4 (4), pp.233-244. ⟨10.2478/pjbr-2013-0023⟩
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-00862488v1  Chapitre d'ouvrage
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. 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-01196433v1  Article dans une revue
Quentin BrefortLuc JaulinMartine CeberioVladik Kreinovich. Towards Fast and Reliable Localization of an Underwater Object: An Interval Approach
Journal of Uncertain Systems, World Academic Press, 2015, Journal of Uncertain Systems, 9 (2), pp.95-102
hal-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
hal-00914367v1  Communication dans un congrès
Joël ChampeauVincent LeildePapa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
hal-01194766v1  Communication dans un congrès
Benoit ClementDominique MonnetJordan Ninin. $H_\infty$ control synthesis under structural constraints based on Global Optimization
13thEUROPT Workshop on Advances in Continuous Optimization, Jul 2015, Edinburgh, United Kingdom
hal-00914238v1  Communication dans un congrès
Benoit Clement. A Marine Robotics point of view for Coastal Oceanography
Innovation & Blue Growth symposium, Oct 2013, Qingdao, China
hal-00870579v1  Communication dans un congrès
Benoit Clement. Control Algorithms for a Sailboat Robot with a Sea Experiment
Conference on Control Applications in Marine Systems, Sep 2013, Osaka, Japan
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-01164633v1  Article dans une revue
Arnaud CoatanhayYves-Marie Scolan. Adaptive multiscale moment method applied to the electromagnetic scattering by coastal breaking sea waves
Mathematical Methods in the Applied Sciences, Wiley, 2015, Wave Phenomena, 38 (10), pp.2041-2052. ⟨10.1002/mma.3405⟩
hal-00726481v1  Communication dans un congrès
Youenn CorreJean-Philippe DiguetDominique HellerLoïc Lagadec. A framework for high-level synthesis of heterogeneous MP-SoC
GLSVLSI, May 2012, Salt Lake City, United States. pp.283-286, ⟨10.1145/2206781.2206850⟩
hal-01192710v1  Article dans une revue
Florent Le CourtoisJulien Bonnel. Compressed sensing for wideband wavenumber tracking in dispersive shallow water
Journal of the Acoustical Society of America, Acoustical Society of America, 2015, Journal of the Acoustical Society of America, 138 (2), ⟨10.1121/1.4926381⟩
hal-01090058v1  Article dans une revue
Nicolas DelanoueLuc JaulinBertrand Cottenceau. An algorithm for computing a neighborhood includedin the attraction domain of an asymptotically stable point
Communications in Nonlinear Science and Numerical Simulation, Elsevier, 2015, 21 (1-3), pp.181-189. ⟨10.1016/j.cnsns.2014.08.034⟩
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-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFrédéric Boniol. 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-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-00690412v1  Article dans une revue
Cedric GervaiseBazile G. KindaJulien BonnelYann StephanSimon Vallez. Passive geoacoustic inversion with a single hydrophone using broadband ship noise
Journal of the Acoustical Society of America, Acoustical Society of America, 2012, 131 (3), pp.1999-2010. ⟨10.1121/1.3672688⟩
hal-02433746v1  Communication dans un congrès
Marwa IbrahimH. HarbAbdelkader NasserAli MansourChristophe Osswald. 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-00635594v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauVincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
hal-01171479v1  Ouvrage (y compris édition critique et traduction)
Luc Jaulin. Automation for Robotics
John Wiley and sons, 2015, Automation for Robotics, 9781848217980. ⟨10.1002/9781119081326⟩
hal-00989626v1  Article dans une revue
Luc Jaulin. Outer Approximation of Attractors Using an Interval Quantization∗
Reliable Computing, Springer Verlag, 2014, 19, pp.261-273
hal-01171480v1  Ouvrage (y compris édition critique et traduction)
Luc Jaulin. La robotique mobile
ISTE, 2015, La robotique mobile, 978-1-78405-087-0
hal-01236489v1  Ouvrage (y compris édition critique et traduction)
Luc Jaulin. Mobile Robotics
ISTE. 2015, Mobile Robotics, 9781785480485
hal-00746058v1  Communication dans un congrès
Luc Jaulin. Interval analysis and robotics
SCAN 2012, Sep 2012, France. pp.66
hal-01006867v1  Article dans une revue
Luc JaulinBenoît Desrochers. Introduction to the Algebra of Separators with Application to Path Planning
Engineering Applications of Artificial Intelligence, Elsevier, 2014, 33, pp.141-147
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
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-00777095v1  Article dans une revue
Imen JdeyAbdelmalek ToumiAli KhenchafMounir DhibiM.S Bouhlel. Fuzzy Fusion System for Radar Target Recognition
International Journal of Computer Applications & Information Technology, 2012, 1 (3), pp.136-142
hal-00840647v1  Communication dans un congrès
Bruget KevinBenoit ClementOlivier ReynetBernt Weber. An Arduino compatible CAN Bus architecture for sailing applications
International Robotic Sailing Conference, Sep 2013, France. pp.37, ⟨10.1007/978-3-319-02276-5⟩
hal-01090466v1  Chapitre d'ouvrage
Nader KhammassiJean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
tel-00940393v1  Thèse
Bazile Kinda. Acoustic remote sensing of Arctic Sea Ice from long term soundscape measurements
Signal and Image processing. Université de Grenoble, 2013. English
hal-00678272v1  Communication dans un congrès
Ali KoudriTeodora PetrisorJoël ChampeauVincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom
hal-01090452v1  Communication dans un congrès
Mohamad-Raafat LababidiFrédéric Le RoyAli MansourB. JarryAli Louzir. Highly Flexible Active Notch Filter For Cognitive Radio
ISCAS 2014, Jun 2014, Melbourne, Australia
hal-00822656v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Proceedings of the 2012 International Workshop on Smalltalk Technologies
ACM digital library, pp.68, 2012, 978-1-4503-1897-6
hal-00843208v1  Communication dans un congrès
Olivier Le BotJulien BonnelJerome MarsCedric Gervaise. Odontocete click train deinterleaving using a single hydrophone and rhythm analysis
ICA 2013 - Acoustics 2013 - 21st International Congress on Acoustics - 165th Meeting of the Acoustical Society of America, Jun 2013, Montreal, Canada. ⟨10.1121/1.4800655⟩
hal-01399126v1  Communication dans un congrès
Thomas Le MézoLuc JaulinBenoit Zerr. An interval approach to solve an initial value problem
NUMERICAL COMPUTATIONS: THEORY AND ALGORITHMS (NUMTA–2016), Jun 2016, Pizzo Calabro, Italy. ⟨10.1063/1.4965365⟩
hal-00746053v1  Communication dans un congrès
Mehdi LhommeauLuc JaulinLaurent Hardouin. A non-linear set-membership approach for the control of Discrete Event Systems
Workshop on Discrete Event Systems - WODES, Oct 2012, Mexico
hal-00670420v1  Communication dans un congrès
Marie LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Organizational Configurations in Executable Enterprise Architecture Models
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
hal-00670414v1  Communication dans un congrès
M. LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Integrating Design and Runtime Variability Support into a System ADL
7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
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-00914339v1  Article dans une revue
Ali MansourIsabelle Leblond. Ecosystem Monitoring and Port Surveillance Systems
AIAAS - Advances in Applied Acoustics, 2013, 2 (4), pp.91-111
hal-00914017v1  Communication dans un congrès
Olivier MenageAymeric BethencourtPatrick RousseauxSèbastien Prigent.. VAIMOS : Realization of an autonomous robotic sailboat
IRSC 2013 - International Robotic Sailing Conference, Sep 2013, Brest, France. pp.25-36, ⟨10.1007/978-3-319-02276-5⟩
hal-01371498v1  Communication dans un congrès
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
hal-01371484v1  Communication dans un congrès
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic