Syed Suhaib
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2008–2024
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VTS | Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification. | Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren |
| 2008 | FDL | Formal Transformation of a KPN Specification to a GALS Implementation. | Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty |