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