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