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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations