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