index - Equipe System on Chip Accéder directement au contenu

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

197

Open access

39 %

Collaborations