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