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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

197

Open access

39 %

Collaborations