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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations