 | 2009 |
|---|
| 8 |       | Anita Lungu,
Pradip Bose,
Daniel J. Sorin,
Steven German,
Geert Janssen:
Multicore power management: Ensuring robustness via early-stage formal verification.
MEMOCODE 2009: 78-87 |
| 2008 |
|---|
| 7 | | Reinaldo A. Bergamaschi,
Guoling Han,
Alper Buyuktosunoglu,
Hiren D. Patel,
Indira Nair,
Gero Dittmann,
Geert Janssen,
Nagu R. Dhanwada,
Zhigang Hu,
Pradip Bose,
John A. Darringer:
Exploring power management in multi-core systems.
ASP-DAC 2008: 708-713 |
| 2007 |
|---|
| 6 | | Reinaldo A. Bergamaschi,
Indira Nair,
Gero Dittmann,
Hiren D. Patel,
Geert Janssen,
Nagu R. Dhanwada,
Alper Buyuktosunoglu,
Emrah Acar,
Gi-Joon Nam,
Dorothy Kucar,
Pradip Bose,
John A. Darringer,
Guoling Han:
Performance modeling for early analysis of multi-core systems.
CODES+ISSS 2007: 209-214 |
| 2006 |
|---|
| 5 | | Jason Baumgartner,
Hari Mony,
Viresh Paruthi,
Robert Kanzelman,
Geert Janssen:
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .
ICCD 2006 |
| 2003 |
|---|
| 4 | | Geert Janssen:
A Consumer Report on BDD Packages.
SBCCI 2003: 217- |
| 3 |  | Soha Hassoun,
Geert Janssen:
First CADathlon Programming Contest held at 2002 ICCAD.
IEEE Design & Test of Computers 20(3): 104-107 (2003) |
| 1998 |
|---|
| 2 | | Bwolen Yang,
Randal E. Bryant,
David R. O'Hallaron,
Armin Biere,
Olivier Coudert,
Geert Janssen,
Rajeev K. Ranjan,
Fabio Somenzi:
A Performance Study of BDD-Based Model Checking.
FMCAD 1998: 255-289 |
| 1994 |
|---|
| 1 | | C. A. J. van Eijk,
Geert Janssen:
Exploiting Structural Similarities in a BDD-Based Verification Method.
TPCD 1994: 110-125 |
Data released under the ODC-BY 1.0 license — See also our legal information page