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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations