index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

198

Open access

39 %

Collaborations