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