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