index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

107

Références bibliographiques

196

Open access

39 %

Collaborations