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