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