Synthesizing Processes and Schedulers from Temporal Specifications. - Howard Wong-Toi; David L. Dill (CAV, 1990)

Checking for Language Inclusion Using Simulation Preorders. - David L. Dill; Alan J. Hu; Howard Wong-Toi (CAV, 1991)

Minimization of Timed Transition Systems. - Rajeev Alur; Costas Courcoubetis; Nicolas Halbwachs; David L. Dill; Howard Wong-Toi (CONCUR, 1992)

An implementation of three algorithms for timing verification based on automata emptiness. - Rajeev Alur; Costas Courcoubetis; David L. Dill; Nicolas Halbwachs; Howard Wong-Toi (RTSS, 1992)

The input-output control of real-time discrete event systems. - G. Hoffmann; Howard Wong-Toi (RTSS, 1992)

Supervisory control of a rapid thermal multiprocessor. - S. Balemi; G. Hoffmann; P. Gyugyi; Howard Wong-Toi; Gene F. Franklin (IEEE Trans. Autom. Control., 1993)

Symbolic approximations for verifying real-time systems. - Howard Wong-Toi (1994)

Verification of Real-Time Systems by Successive Over and Under Approximation. - David L. Dill; Howard Wong-Toi (CAV, 1995)

Automated Analysis of an Audio Control Protocol. - Pei-Hsin Ho; Howard Wong-Toi (CAV, 1995)

Using HyTech to Synthesize Control Parameters for a Steam Boiler. - Thomas A. Henzinger; Howard Wong-Toi (Formal Methods for Industrial Applications, 1995)

Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. - Thomas A. Henzinger; Howard Wong-Toi (Hybrid Systems, 1995)

The Expressive Power of Clocks. - Thomas A. Henzinger; Peter W. Kopke; Howard Wong-Toi (ICALP, 1995)

HyTech: The Next Generation. - Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi (RTSS, 1995)

A User Guide to HyTech. - Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi (TACAS, 1995)

Analysis of Slope-Parametric Rectangular Automata. - Howard Wong-Toi (Hybrid Systems, 1997)

HYTECH: A Model Checker for Hybrid Systems. - Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi (Int. J. Softw. Tools Technol. Transf., 1997)

An Algorithm for the Approximative Analysis of Rectangular Automata. - Jörg Preußig; Stefan Kowalewski; Howard Wong-Toi; Thomas A. Henzinger (FTRTFT, 1998)

Schedulability Analysis of Acyclic Processes. - Michael J. Meyer; Howard Wong-Toi (RTSS, 1998)

Algorithmic analysis of nonlinear hybrid systems. - Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi (IEEE Trans. Autom. Control., 1998)

A case study of hybrid controller synthesis of a heating system. - A. Balluchif; Luca Benvenuti; T. Villas; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (ECC, 1999)

Hybrid controller synthesis for idle speed management of an automotive engine. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Tiziano Villa; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (ACC, 2000)

A procedure for reachability analysis of rectangular automata. - Howard Wong-Toi; Jörg Preußig (ACC, 2000)

Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Guido M. Miconi; Ugo Pozzi; Tiziano Villa; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (HSCC, 2000)

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. - Thomas A. Henzinger; Benjamin Horowitz; Rupak Majumdar; Howard Wong-Toi (HSCC, 2000)

Some lessons from the HYTECH experience. - Thomas A. Henzinger; Jörg Preußig; Howard Wong-Toi (CDC, 2001)

Multiple-signal duplicate detection for search evaluation. - Scott B. Huffman; April Rasala Lehman; Alexei P. Stolboushkin; Howard Wong-Toi; Fan Yang; Hein Röhrig (SIGIR, 2007)