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