Samira Ait Bensaid
According to our database1,
Samira Ait Bensaid
authored at least 3 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
0
1
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Formal Semantics of Hardware Compilation Framework. (Sémantique formelle d'une infrastructure de compilation matériel).
PhD thesis, 2023
2022
Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022