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