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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

196

Open access

39 %

Collaborations