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