| 2008 |
|---|
| 8 | EE | Syed Suhaib,
Bijoy A. Jose,
Sandeep K. Shukla,
Deepak Mathaikutty:
Formal Transformation of a KPN Specification to a GALS Implementation.
FDL 2008: 84-89 |
| 7 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla:
Dataflow Architectures for GALS.
Electr. Notes Theor. Comput. Sci. 200(1): 33-50 (2008) |
| 6 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla:
A Trace-Based Framework for Verifiable GALS Composition of IPs.
IEEE Trans. VLSI Syst. 16(9): 1176-1186 (2008) |
| 2006 |
|---|
| 5 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla,
David Berner,
Jean-Pierre Talpin:
A Functional Programming Framework for Latency Insensitive Protocol Validation.
Electr. Notes Theor. Comput. Sci. 146(2): 169-188 (2006) |
| 4 | EE | Syed Suhaib,
Deepak Mathaikutty,
David Berner,
Sandeep K. Shukla:
Validating Families of Latency Insensitive Protocols.
IEEE Trans. Computers 55(11): 1391-1401 (2006) |
| 2005 |
|---|
| 3 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla,
David Berner:
XFM: An incremental methodology for developing formal models.
ACM Trans. Design Autom. Electr. Syst. 10(4): 589-609 (2005) |
| 2004 |
|---|
| 2 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla,
David Berner:
Extreme Formal Modeling (XFM) for Hardware Models.
MTV 2004: 30-35 |
| 1 | EE | Peng Li,
Binoy Ravindran,
Syed Suhaib,
Shahrooz Feizabadi:
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems.
IEEE Trans. Software Eng. 30(9): 613-629 (2004) |
