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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

197

Open access

39 %

Collaborations