Follow
Alan J. Hu
Alan J. Hu
Professor of Computer Science, University of British Columbia
Verified email at cs.ubc.ca - Homepage
Title
Cited by
Cited by
Year
Protocol verification as a hardware design aid.
DL Dill, AJ Drexler, AJ Hu, CH Yang
ICCD 92, 522-525, 1992
6521992
SPUDD: Stochastic planning using decision diagrams
J Hoey, R St-Aubin, A Hu, C Boutilier
arXiv preprint arXiv:1301.6704, 2013
6202013
System-on-chip: Reuse and integration
R Saleh, S Wilton, S Mirabbasi, A Hu, M Greenstreet, G Lemieux, ...
Proceedings of the IEEE 94 (6), 1050-1069, 2006
3852006
Calysto: scalable and precise extended static checking
D Babic, AJ Hu
Proceedings of the 30th international conference on Software engineering …, 2008
1932008
Boosting verification by automatic tuning of decision procedures
F Hutter, D Babic, HH Hoos, AJ Hu
Formal Methods in Computer Aided Design (FMCAD'07), 27-34, 2007
1842007
Checking for language inclusion using simulation preorders
DL Dill, AJ Hu, H Wong-Toi
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
1431992
Improving multiple-cmp systems using token coherence
MR Marty, JD Bingham, MD Hill, AJ Hu, MMK Martin, DA Wood
11th International Symposium on High-Performance Computer Architecture, 328-339, 2005
1242005
Monitor-based formal specification of PCI
K Shimizu, DL Dill, AJ Hu
Formal Methods in Computer-Aided Design: Third International Conference …, 2000
1242000
Backspace: Formal analysis for post-silicon debug
FM De Paula, M Gort, AJ Hu, SJE Wilton, J Yang
2008 Formal Methods in Computer-Aided Design, 1-10, 2008
1052008
Reducing BDD size by exploiting functional dependencies
AJ Hu, DL Dill
Proceedings of the 30th international Design Automation Conference, 266-271, 1993
991993
Structural abstraction of software verification conditions
D Babić, AJ Hu
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
942007
Formal hardware verification with BDDs: An introduction
AJ Hu
1997 IEEE Pacific Rim Conference on Communications, Computers and Signal …, 1997
861997
BDDNOW: a parallel BDD package
K Milvang-Jensen, AJ Hu
International Conference on Formal Methods in Computer-Aided Design, 501-507, 1998
781998
Automatic formal verification of DSP software
DW Currie, AJ Hu, S Rajan
Proceedings of the 37th Annual Design Automation Conference, 130-135, 2000
772000
Techniques for efficient formal verification using binary decision diagrams
AJ Hu
stanford university, 1996
771996
Fixing races for fun and profit: how to use access (2).
D Dean, AJ Hu
USENIX security symposium, 195-206, 2004
742004
High-level specification and automatic generation of IP interface monitors
MT Oliveira, AJ Hu
Proceedings of the 39th annual Design Automation Conference, 129-134, 2002
742002
New techniques for efficient verification with implicitly conjoined BDDs
AJ Hu, G York, DL Dill
Proceedings of the 31st Annual Design Automation Conference, 276-282, 1994
721994
Higher-level specification and verification with BDDs
AJ Hu, DL Dill, AJ Drexler, CH Yang
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
721993
Approximate reachability with BDDs using overlapping projections
SG Govindaraju, DL Dill, AJ Hu, MA Horowitz
Proceedings of the 35th annual Design Automation Conference, 451-456, 1998
711998
The system can't perform the operation now. Try again later.
Articles 1–20