| 2009 | ||
|---|---|---|
| 3 | Karin Avnit, Arcot Sowmya: A formal approach to design space exploration of protocol converters. DATE 2009: 129-134 | |
| 2 | 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 | 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] [3] |