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