index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

198

Open access

39 %

Collaborations