Malware Signal processing Risk management Modelling 3D perception Iterative decoding HW/SW partitioning Verification Formal Methods Requirements Analog/Mixed Signal Design Modeling Exploration d'architecture Classification Autonomous systems Model-driven engineering CPS Model driven engineering Differential power analysis DPA Coprocessors Automata FPGA Immersion Cognitive Radio Performance Formal methods Model-checking GPR Simulation Hardware Architecture Propagation ProVerif Model checking Formal Verification Baseband Processing Embedded Systems HW Accelerators Dependency Graph SysML-Sec SysML Cryptography Code generation Integration UML/SysML Heterogeneous models Image processing Virtual Prototyping System-level design Open Platforms for Multistandard Support Hardware/software co-design Model-based engineering Remote sensing Analysis Model Checking Application specific integrated circuits DIPLODOCUS URSI Risk assessment Requirements analysis SDR LDPC codes Costs Computer architecture Formal verification Ingénierie des modèles Hardware/software partitioning Safety Interactive Autonomous navigation Communications UML Design Space Exploration Disaster management Embedded systems Execution Trace Analysis Drones Modélisation Virtual prototyping MDE Timing analysis Android Reliable systems System-on-Chip Attacks Drone Model Driven Engineering Behavior Autonomy Autonomous vehicles Hardware Design Models UAV MBSE Multi-View Design Design space exploration Security Architecture TTool Field programmable gate arrays