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