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

 

Dernières publications

Chargement de la page

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

Chargement de la page

Open access

Chargement de la page

Collaborations