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