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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations