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