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