Geert Janssen

Martin Ohmacht, Amy Wang, Thomas Gooding, Ben J. Nathanson, Indira Nair, Geert Janssen, Marcel Schaal, Burkhard D. Steinmacher-Burow: IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory. IBM Journal of Research and Development 57(1): 7 (2013)

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

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

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

Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen: Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD 2006

Soha Hassoun, Geert Janssen: First CADathlon Programming Contest held at 2002 ICCAD. IEEE Design & Test of Computers 20(3): 104-107 (2003)

Geert Janssen: A Consumer Report on BDD Packages. SBCCI 2003: 217-

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

C. A. J. van Eijk, Geert Janssen: Exploiting Structural Similarities in a BDD-Based Verification Method. TPCD 1994: 110-125