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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations