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