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