Travelled to:
1 × Belgium
1 × Hungary
1 × Israel
1 × The Netherlands
1 × USA
2 × Denmark
Collaborated with:
D.L.Dill P.Ho T.A.Henzinger P.W.Kopke A.J.Hu S.B.Huffman A.R.Lehman A.P.Stolboushkin F.Yang H.Röhrig
Talks about:
system (2) protocol (1) preorder (1) approxim (1) synthes (1) success (1) schedul (1) process (1) multipl (1) languag (1)
Person: Howard Wong-Toi
DBLP: Wong-Toi:Howard
Contributed to:
Wrote 8 papers:
- SIGIR-2007-HuffmanLSWYR #detection #evaluation #multi
- Multiple-signal duplicate detection for search evaluation (SBH, ARL, APS, HWT, FY, HR), pp. 223–230.
- CAV-1997-HenzingerHW #hybrid #model checking #named
- HYTECH: A Model Checker for Hybrid Systems (TAH, PHH, HWT), pp. 460–463.
- CAV-1995-DillW #approximate #realtime #verification
- Verification of Real-Time Systems by Successive Over and Under Approximation (DLD, HWT), pp. 409–422.
- CAV-1995-HoW #analysis #automation #protocol
- Automated Analysis of an Audio Control Protocol (PHH, HWT), pp. 381–394.
- ICALP-1995-HenzingerKW #power of
- The Expressive Power of Clocks (TAH, PWK, HWT), pp. 417–428.
- TACAS-1995-HenzingerHW
- A User Guide to HyTech (TAH, PHH, HWT), pp. 41–71.
- CAV-1991-DillHW #simulation #using
- Checking for Language Inclusion Using Simulation Preorders (DLD, AJH, HWT), pp. 255–265.
- CAV-1990-Wong-ToiD #process #specification
- Synthesizing Processes and Schedulers from Temporal Specifications (HWT, DLD), pp. 272–281.