Karin Avnit

	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

Coauthor Index

1	Vijay D'Silva	[1] [2]
2	Sri Parameswaran	[1] [2]
3	S. Ramesh (Sethu Ramesh)	[1] [2]
4	Arcot Sowmya	[1] [2] [3]