Systèmes embarqués GNSS Constraint propagation Security Context-aware verification Use cases Modélisation Target recognition Small Perturbation Model SPM Belief functions theory Uncertainty Diffraction Automatic target recognition Modal propagation Global optimization CDL Detection Analyse par intervalles Scattering K-means Context Combination rules Electromagnetic scattering H2H Guaranteed integration Formal verification SLAM SIFT Sonar image Interval analysis Inverse problems Contractors Cognitive Radio Constraint programming Deep learning Errors Embedded systems Estimation Belief functions Energy efficiency Simulation DSL Electronic warfare Sea surface Bounded uncertainty MBES Wireless sensor network Full-duplex Mathematical model Optimization Wavelet Model checking Interval Analysis FPGA Spectrum sensing Feature extraction MIMO Time-frequency analysis Smalltalk Fusion Binary classification RISC-V Classification Signal processing FAD AUV Internet of Things Détection Passive acoustic monitoring Sonar images Cognitive radio IoT Model-checking Localisation Array processing Field programmable gate arrays FPGA Underwater acoustics Compressed sensing Machine learning DSmT Framework Dynamical systems Localization Robotique Robotics Full-Duplex Interval methods Radar Obstacle avoidance Breast Tumor GPS Modeling Diagnosis Self-interference cancellation Target tracking Cloud Spectrum Sensing CMOD5 Belief function Sonar