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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations