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