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