index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

198

Open access

39 %

Collaborations