index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

198

Open access

39 %

Collaborations