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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations