|
||
---|---|---|
hal-01961429v1
Communication dans un congrès
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-01185476v1
Article dans une revue
A methodology to evaluate important dimensions of information quality in systems Journal of data and information quality, ACM, 2015, 6 (2-3), pp.art.n°11 -. ⟨10.1145/2744205⟩ |
||
hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
hal-00626512v1
Communication dans un congrès
Kalman filtering of GPS signals for target tracking application Passive 2010 conference, Jun 2010, Brest, France |
||
hal-00540877v1
Communication dans un congrès
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
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-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-01156518v1
Communication dans un congrès
A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada |
||
hal-01072079v1
Article dans une revue
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-00703831v1
Communication dans un congrès
Depolarization of Electromagnetic Waves from Bare Soil Surfaces SCEE'10, Oct 2010, Toulouse, France. pp.107, ⟨10.1007/978-3-642-22453-9_12⟩ ![]() |
||
hal-00485825v1
Communication dans un congrès
Superresolution Imagery Based SVM Classification of Radar Targets EUSAR 2006, May 2006, Dresde, Germany. pp.1-4 |
||
hal-00504817v1
Communication dans un congrès
Mine Classification based on raw sonar data: an approach combining Fourier Descriptors, Statistical Models and Genetic Algorithms IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States |
||
hal-00504822v1
Communication dans un congrès
Mine classification using a hybrid set of descriptors IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States |
||
hal-00684402v1
Article dans une revue
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
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
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
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
Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12 |
||
hal-00703785v1
Communication dans un congrès
Modélisation algorithmique et synthèse d'architectures assistées par model-checking CAL 2012-, May 2012, Montpellier, France |
||
hal-00670459v1
Article dans une revue
Set-membership state estimation with fleeting data Automatica, Elsevier, 2012, 48 (2), page 381-387. ⟨10.1016/j.automatica.2011.11.004⟩ ![]() |
||
hal-01406641v1
Communication dans un congrès
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
Using MARTE in a Co-Design Methodology MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p |
||
hal-00687507v1
Communication dans un congrès
MONOSTATIC AND BISTATIC ELECTROMAGNETIC SIGNATURE OF SEA AND GROUND CLUTTER IN HF BAND ESTIMATED BY USING SPM, TSM AND SSA MODELS PIERS 2012, Mar 2012, Kuala Lumpur, Malaysia. pp.81 |
||
hal-01406141v1
Communication dans un congrès
Modélisation et réalisation d’un système de reconnaissance de cibles radar Journée URAC 2016 , Nov 2015, Rabat, Morocco |
||
hal-00678358v1
Article dans une revue
Modelling of High-Frequency Roughness Scattering from Various Rough Surfaces through the Small Slope Approximation of First Order Open Journal of Acoustics, Scientific Research Publishing, 2012, 2 (1), pp.1-11. ⟨10.4236/oja.2012.21001⟩ ![]() |
||
hal-02434617v1
Communication dans un congrès
On-in: An on-node and in-node based mechanism for big data collection in large-scale sensor networks 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902628⟩ |
||
hal-02433746v1
Communication dans un congrès
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
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
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
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⟩ ![]() |
||
|