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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations