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