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