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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

196

Open access

39 %

Collaborations