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