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