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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations