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