Syed Suhaib

A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems

Peijie Li, Binoy Ravindran, Syed Suhaib et al. · IEEE Transactions on Software Engineering · 2004 · 68 citations

Computing, Computer Science, Computer Systems +15

XFM

Syed Suhaib, Deepak A. Mathaikutty, Sandeep K. Shukla et al. · ACM Transactions on Design Automation of Electronic Systems · 2005 · 25 citations

Computing, Computer Science, Systems Engineering +16

Validating Families of Latency Insensitive Protocols

Syed Suhaib, Deepak A. Mathaikutty, David Berner et al. · IEEE Transactions on Computers · 2006 · 24 citations

Engineering, Computer Engineering, Computer Science +17

Dataflow Architectures for GALS

Syed Suhaib, Deepak A. Mathaikutty, Sandeep K. Shukla · Electronic Notes in Theoretical Computer Science · 2008 · 20 citations · Full text

Engineering, Computer Engineering, Computer Science +10

Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification

Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad et al. · 2024 · 16 citations

Engineering, Computer Engineering, Computer Science +17