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