index - Equipe System on Chip

 

Dernières publications

Chargement de la page

Mots clés

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

 

 

Publications avec texte intégral

107

Références bibliographiques

196

Open access

39 %

Collaborations