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