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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations