| |
| 2009 | ||
|---|---|---|
| 2 | EE | Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran: Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. ACM Trans. Design Autom. Electr. Syst. 14(2): (2009) |
| 2008 | ||
| 1 | EE | Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran: A Formal Approach To The Protocol Converter Problem. DATE 2008: 294-299 |
| 1 | Vijay D'Silva | [1] [2] |
| 2 | Sri Parameswaran | [1] [2] |
| 3 | S. Ramesh (Sethu Ramesh) | [1] [2] |
| 4 | Arcot Sowmya | [1] [2] |