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