| |
| 1994 | ||
|---|---|---|
| 4 | EE | Anurag P. Gupta, Daniel P. Siewiorek: Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs. DAC 1994: 113-119 |
| 1993 | ||
| 3 | EE | Anurag P. Gupta, William P. Birmingham, Daniel P. Siewiorek: Automating the design of computer systems. IEEE Trans. on CAD of Integrated Circuits and Systems 12(4): 473-487 (1993) |
| 1990 | ||
| 2 | EE | Patrick Edmond, Anurag P. Gupta, Daniel P. Siewiorek, Audrey A. Brennan: ASSURE: Automated Design for Dependability. DAC 1990: 555-560 |
| 1989 | ||
| 1 | EE | William P. Birmingham, Anurag P. Gupta, Daniel P. Siewiorek: The MICON System for Computer Design. DAC 1989: 135-140 |
| 1 | William P. Birmingham | [1] [3] |
| 2 | Audrey A. Brennan | [2] |
| 3 | Patrick Edmond | [2] |
| 4 | Daniel P. Siewiorek | [1] [2] [3] [4] |