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

hal-00822693v1  Communication dans un congrès
Mohamed AbazaMesleh RaedAli MansourAyman Alfalou. MIMO Techniques for High Data Rate Free Space Optical Communication System in Log-Normal Channel
The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering, May 2013, Konya, Turkey
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-00847250v1  Article dans une revue
Charles AudetPierre HansenFrédéric MessineJordan Ninin. The Small Octagons of MaximalWidth
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
hal-00847259v1  Article dans une revue
Charles AudetJordan Ninin. Maximal perimeter, diameter and area of equilateral unit-width convex polygons
Journal of Global Optimization, Springer Verlag, 2013, 56 (3), pp.1007-1016. ⟨10.1007/s10898-011-9780-4⟩
hal-01171207v1  Communication dans un congrès
Alexandre BaussardArnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
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-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-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-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-00844467v1  Article dans une revue
Julien BonnelStan E. DossoN. Ross Chapman. Bayesian geoacoustic inversion of single hydrophone light bulb data using warping dispersion analysis
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 134 (1), pp.120-130. ⟨10.1121/1.4809678⟩
hal-00875381v1  Article dans une revue
Julien BonnelGrégoire Le TouzéBarbara NicolasJerome Mars. Physics-Based Time-Frequency Representations for Underwater Acoustics
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2013, 30 (6), pp.120-129. ⟨10.1109/MSP.2013.2267651⟩
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-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-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-00780378v1  Communication dans un congrès
Youenn CorreJean-Philippe DiguetLoïc LagadecDominique HellerDominique Blouin. Fast Template-based Heterogeneous MPSoC Synthesis on FPGA
9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. 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-00821955v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-00873841v1  Communication dans un congrès
Zoé DreyJosé MoralesManuel HermenegildoManuel Carro. Reversible languages and their application to debugging
Fifteenth International Symposium on Practical Aspects of Declarative Languages(PADL 2013), Jan 2013, Rome, Italy. pp.206-221, ⟨10.1007/978-3-642-45284-0⟩
hal-00912574v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauLoïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States