index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

107

Références bibliographiques

196

Open access

39 %

Collaborations