index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

197

Open access

40 %

Collaborations