Theo dõi
Alan J. Hu
Alan J. Hu
Professor of Computer Science, University of British Columbia
Email được xác minh tại cs.ubc.ca - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Protocol verification as a hardware design aid.
DL Dill, AJ Drexler, AJ Hu, CH Yang
ICCD 92, 522-525, 1992
6741992
SPUDD: Stochastic planning using decision diagrams
J Hoey, R St-Aubin, A Hu, C Boutilier
arXiv preprint arXiv:1301.6704, 2013
6272013
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
4092006
Calysto: scalable and precise extended static checking
D Babic, AJ Hu
Proceedings of the 30th international conference on Software engineering …, 2008
2052008
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
1992007
Checking for language inclusion using simulation preorders
DL Dill, AJ Hu, H Wong-Toi
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
1451992
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
1252005
Monitor-based formal specification of PCI
K Shimizu, DL Dill, AJ Hu
Formal Methods in Computer-Aided Design: Third International Conference …, 2000
1252000
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
1122008
Structural abstraction of software verification conditions
D Babić, AJ Hu
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
952007
Reducing BDD size by exploiting functional dependencies
AJ Hu, DL Dill
Proceedings of the 30th international Design Automation Conference, 266-271, 1993
931993
Formal hardware verification with BDDs: An introduction
AJ Hu
1997 IEEE Pacific Rim Conference on Communications, Computers and Signal …, 1997
911997
Reachability analysis for AWS-based networks
J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
842019
Automatic formal verification of DSP software
DW Currie, AJ Hu, S Rajan
Proceedings of the 37th Annual Design Automation Conference, 130-135, 2000
802000
Fixing races for fun and profit: how to use access (2).
D Dean, AJ Hu
USENIX security symposium, 195-206, 2004
782004
BDDNOW: a parallel BDD package
K Milvang-Jensen, AJ Hu
International Conference on Formal Methods in Computer-Aided Design, 501-507, 1998
781998
Techniques for efficient formal verification using binary decision diagrams
AJ Hu
stanford university, 1996
761996
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
761994
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
752002
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
701998
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20