Geert Janssen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1998–2009
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | MEMOCODE | Multicore power management: Ensuring robustness via early-stage formal verification. | Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen |
| 2008 | ASPDAC | Exploring power management in multi-core systems. | 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 |
| 2006 | ICCD | Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . | Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen |
| 1998 | FMCAD | A Performance Study of BDD-Based Model Checking. | Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi |