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