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