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

hal-01961429v1  Communication dans un congrès
Tobias van BaarselPhilippe RouxBarbara NicolasJerome MarsJulien Bonnel et al.  Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves
Acoustics '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589
hal-00626512v1  Communication dans un congrès
Sarab TayFrederic MaussangArnaud CoatanhayRené Garello. Kalman filtering of GPS signals for target tracking application
Passive 2010 conference, Jun 2010, Brest, France
hal-00540877v1  Communication dans un congrès
Sarab TayArnaud CoatanhayFrederic MaussangRené Garello. A tracking algorithm for GNSS reflected signals on sea surface
IGARSS 2010 : IEEE International Geoscience and Remote Sensing Symposium, Jul 2010, Honolulu, Hawaii, United States. pp.3821 - 3824
hal-00697027v1  Article dans une revue
François-Xavier SocheleauMilica StojanovicChristophe LaotJean-Michel Passerieux. Information-Theoretic Analysis of Underwater Acoustic OFDM Systems in Highly Dispersive Channels
Journal of Electrical and Computer Engineering, Hindawi Publishing Corp., 2012, 2012 (ID 716720), pp.15. ⟨10.1155/2012/716720⟩
hal-01072079v1  Article dans une revue
M. Sanchez-SorianoYves QuéréVincent Le SauxC. QuendoS. Cadiou. Average power handling capability of microstrip passive circuits considering metal housing and environment conditions
IEEE Transactions on Components, Packaging and Manufacturing Technology, Institute of Electrical and Electronics Engineers, 2014, 4, pp.1624-1633. ⟨10.1109/TCPMT.2014.2345100⟩
hal-00485825v1  Communication dans un congrès
Emanuel RadoiFelix TotirAndré QuinquisLucian Anton. Superresolution Imagery Based SVM Classification of Radar Targets
EUSAR 2006, May 2006, Dresde, Germany. pp.1-4
hal-00504822v1  Communication dans un congrès
Isabelle QuiduJean-Philippe MalkasseGilles BurelPierre Vilbé. Mine classification using a hybrid set of descriptors
IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
hal-00684402v1  Article dans une revue
Dominique PastorFrançois-Xavier Socheleau. Robust Estimation of Noise Standard Deviation in Presence of Signals with Unknown Distributions and Occurrences
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2012, 60 (4), pp.1545-1555. ⟨10.1109/TSP.2012.2184534⟩
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-00645827v1  Communication dans un congrès
Øivind MidtgaardRoy HansenTorstein SæbøVincent MyersJohn Dubberley et al.  Change Detection Using Synthetic Aperture Sonar: Preliminary Results from the Larvik Trial
OCEANS 2011 MTS/IEEE conference, Sep 2011, Kona, United States
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-01406641v1  Communication dans un congrès
Xuan Sang LeJean-Christophe Le LannLoïc LagadecLuc FabresseNoury Bouraqadi et al.  CaRDIN: An Agile Environment for EdgeComputing on Reconfigurable Sensor Networks
3rd IEEE International Conference on Computational Science and Computational Intelligence (CSCI 2016), Dec 2016, Las Vegas, United States
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-02433746v1  Communication dans un congrès
Marwa IbrahimH. HarbA. 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-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-01405531v1  Article dans une revue
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
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⟩