index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

195

Open access

40 %

Collaborations