index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

198

Open access

39 %

Collaborations