BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
A.L.Sangiovanni-Vincentelli S.Devadas K.Cheng R.F.Damiano A.R.Newton D.Anastasakis T.Stanion R.Wei D.Wang P.Ho J.Long J.H.Kukula Y.Zhu D.Braun J.L.Burns K.Mayaram F.Romeo
Talks about:
verif (3) algorithm (2) sequenti (2) abstract (2) formal (2) level (2) implement (1) chameleon (1) properti (1) parallel (1)

Person: Hi-Keung Tony Ma

DBLP DBLP: Ma:Hi=Keung_Tony

Contributed to:

DAC 20022002
DAC 20012001
DAC 19921992
DAC 19871987
DAC 19861986

Wrote 7 papers:

DAC-2002-AnastasakisDMS #performance
A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.
DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
DAC-1992-ChengM #algorithm #on the #problem
On the Over-Specification Problem in Sequential ATPG Algorithms (KTC, HKTM), pp. 16–21.
DAC-1987-DevadasMN #abstraction #on the #verification
On the Verification of Sequential Machines at Differing Levels of Abstraction (SD, HKTM, ARN), pp. 271–276.
DAC-1987-MaDSW #algorithm #implementation #logic #parallel #verification
Logic Verification Algorithms and Their Parallel Implementation (HKTM, SD, ALSV, RW), pp. 283–290.
DAC-1986-BraunBDMMRS #multi #named
Chameleon: a new multi-layer channel router (DB, JLB, SD, HKTM, KM, FR, ALSV), pp. 495–502.
DAC-1986-MaS #estimation #fault
Mixed-level fault coverage estimation (HKTM, ALSV), pp. 553–559.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.