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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

197

Open access

39 %

Collaborations