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