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