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