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


hal-01369735v1  Article dans une revue
Aries PhilippeOlivier ReynetBenoit ClementBa-Vinh Nguyen. Another Stone to the Edifice of Wireless Anesthesia
Anesthesia and Analgesia, Lippincott, Williams & Wilkins, 2016, 123 (4), ⟨10.1213/ANE.0000000000001458⟩
hal-01326351v1  Article dans une revue
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. 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-01396694v1  Article dans une revue
Papa Ousmane LeyeAli KhenchafPhilippe Pouliguen. The Gaussian Beam Summation and the Gaussian Launching Methods in Scattering Problem
Journal of Electromagnetic Analysis and Applications, Scientific Research Publishing, 2016, Journal of Electromagnetic Analysis and Applications, 8 (10), pp.219-225. ⟨10.4236/jemaa.2016.810020⟩
hal-01288584v1  Article dans une revue
Yann Le GallFrançois-Xavier SocheleauJulien Bonnel. Matched-Field Performance Prediction with Model Mismatch
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2016, 23 (4), pp.409 - 413. ⟨10.1109/LSP.2016.2524645⟩
hal-01396746v1  Article dans une revue
Matheus LaranjeiraLuc JaulinSébastien Tauvry. Building Underwater Mosaics Using Navigation Data and Feature Extraction
Reliable Computing, Springer Verlag, 2016, 22, pp.116-137
hal-01277580v1  Article dans une revue
Pau HerreroBenoît DelaunayLuc JaulinPantelis GeorgiouNick Oliver et al.  Robust set-membership parameter estimation of the glucose minimal model
International Journal of Adaptative Control and Signal Processing, 2016, 30 (2), pp.173-185. ⟨10.1002/acs.2538⟩
hal-01297948v1  Article dans une revue
Yann Le GallStan E. DossoFrançois-Xavier SocheleauJulien Bonnel. Bayesian source localization with uncertain Green’s function in an uncertain shallow water oceana
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (3), pp.993. ⟨10.1121/1.4941997⟩
hal-01327910v1  Article dans une revue
Dorian CazauJulien BonnelYves Le BrasChristophe Guinet. Soundscape analysis in the Southern Ocean using elephant seals as acoustic glider of opportunity
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (4), pp.2226-2226. ⟨10.1121/1.4950686⟩
hal-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy Philippe. 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-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. 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⟩