index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

107

Références bibliographiques

196

Open access

39 %

Collaborations