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