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