| 1996 |
|---|
| 5 | | Bhaskar Bose,
M. Esen Tuna,
Venkatesh Choppella:
A Tutorial on Digital Design Derivation Using DRS.
FMCAD 1996: 270-274 |
| 1995 |
|---|
| 4 | EE | M. Esen Tuna,
Kamlesh Rath,
Steven D. Johnson:
Specification and synthesis of bounded indirection.
Great Lakes Symposium on VLSI 1995: 86-89 |
| 1994 |
|---|
| 3 | | M. Esen Tuna,
Steven D. Johnson,
Robert G. Burger:
Continuations in Hardware-Software Codesign.
ICCD 1994: 264-269 |
| 1993 |
|---|
| 2 | EE | Kamlesh Rath,
M. Esen Tuna,
Steven D. Johnson:
Behavior tables: a basis for system representation and transformational system synthesis.
ICCAD 1993: 736-740 |
| 1 | | Bhaskar Bose,
M. Esen Tuna,
Steven D. Johnson:
System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition.
ICCD 1993: 458-461 |
