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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations