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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations