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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

197

Open access

39 %

Collaborations