| |
| 1995 | ||
|---|---|---|
| 8 | EE | Lawrence Yang, David Gao, Jamshid Mostoufi, Raju Joshi, Paul Loewenstein: System Design Methodology of UltraSPARC-I. DAC 1995: 7-12 |
| 7 | Paul Loewenstein: Formal Verification of Counterflow Pipeline Architecture. TPHOLs 1995: 261-276 | |
| 1993 | ||
| 6 | Paul Loewenstein: A Formal Theory of Simulations between Infinite Automata. Formal Methods in System Design 3(1/2): 117-149 (1993) | |
| 1992 | ||
| 5 | Paul Loewenstein: A Formal Theory of Simulations Between Infinite Automata. TPHOLs 1992: 227-246 | |
| 4 | Paul Loewenstein: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. Formal Methods in System Design 1(4): 355-383 (1992) | |
| 1991 | ||
| 3 | Paul Loewenstein: Learning to use HOL. TPHOLs 1991: 67-74 | |
| 1990 | ||
| 2 | Paul Loewenstein, David L. Dill: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. CAV 1990: 302-311 | |
| 1989 | ||
| 1 | Paul Loewenstein: Reasoning about State Machines in Higher-Order Logic. Hardware Specification, Verification and Synthesis 1989: 67-89 | |
| 1 | David L. Dill | [2] |
| 2 | David Gao | [8] |
| 3 | Raju Joshi | [8] |
| 4 | Jamshid Mostoufi | [8] |
| 5 | Lawrence Yang | [8] |