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