| |
| 2008 | ||
|---|---|---|
| 3 | EE | Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton: Merging nodes under sequential observability. DAC 2008: 540-545 |
| 2 | EE | Alan Mishchenko, Michael L. Case, Robert K. Brayton, Stephen Jang: Scalable and scalably-verifiable sequential synthesis. ICCAD 2008: 234-241 |
| 2007 | ||
| 1 | EE | Michael L. Case, Alan Mishchenko, Robert K. Brayton: Automated Extraction of Inductive Invariants to Aid Model Checking. FMCAD 2007: 165-172 |
| 1 | Robert K. Brayton | [1] [2] [3] |
| 2 | Stephen Jang | [2] |
| 3 | Victor N. Kravets | [3] |
| 4 | Alan Mishchenko | [1] [2] [3] |