index - Equipe System on Chip Accéder directement au contenu

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations