| |
| 1996 | ||
|---|---|---|
| 5 | Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella: A Tutorial on Digital Design Derivation Using DRS. FMCAD 1996: 270-274 | |
| 1993 | ||
| 4 | Bhaskar Bose, Steven D. Johnson: DDD-FM9001: Derivation of a Verified Microprocessor. CHARME 1993: 191-202 | |
| 3 | Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela: Integrating Boolean Verification with Formal Derivation. CHDL 1993: 139-146 | |
| 2 | Kamlesh Rath, Bhaskar Bose, Steven D. Johnson: Derivation of a DRAM Memory Interface by Sequential Decomposition. ICCD 1993: 438-441 | |
| 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 | |
| 1 | Venkatesh Choppella | [5] |
| 2 | Steven D. Johnson | [1] [2] [3] [4] |
| 3 | Shyamsundar Pullela | [3] |
| 4 | Kamlesh Rath | [2] |
| 5 | M. Esen Tuna | [1] [5] |