index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

107

Références bibliographiques

196

Open access

39 %

Collaborations