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