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