Jae-Young Jang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1996–2000
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | DATE | Iterative Abstraction-Based CTL Model Checking. | Jae-Young Jang, In-Ho Moon, Gary D. Hachtel |
| 1998 | ICCAD | Approximate reachability don't cares for CTL model checking. | In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley |
| 1997 | DAC | Formal Verification of FIRE: A Case Study. | Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley |
| 1996 | ICCAD | Tearing based automatic abstraction for CTL model checking. | Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi |