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