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