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