Howard Wong-Toi

Publication Activity (10 Years)

Years Active: 1990-2007
Publications (10 Years): 0

Publications

Scott B. Huffman, April Rasala Lehman, Alexei P. Stolboushkin, Howard Wong-Toi, Fan Yang, Hein Röhrig
Multiple-signal duplicate detection for search evaluation. SIGIR (2007)
Thomas A. Henzinger, Jörg Preußig, Howard Wong-Toi
Some lessons from the HYTECH experience. CDC (2001)
Howard Wong-Toi, Jörg Preußig
A procedure for reachability analysis of rectangular automata. ACC (2000)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC (2000)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
Hybrid controller synthesis for idle speed management of an automotive engine. ACC (2000)
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC (2000)
A. Balluchif, Luca Benvenuti, T. Villas, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
A case study of hybrid controller synthesis of a heating system. ECC (1999)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control. 43 (4) (1998)
Michael J. Meyer, Howard Wong-Toi
Schedulability Analysis of Acyclic Processes. RTSS (1998)
Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger
An Algorithm for the Approximative Analysis of Rectangular Automata. FTRTFT (1998)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYTECH: A Model Checker for Hybrid Systems. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYTECH: A Model Checker for Hybrid Systems. CAV (1997)
Howard Wong-Toi
Analysis of Slope-Parametric Rectangular Automata. Hybrid Systems (1997)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HyTech: The Next Generation. RTSS (1995)
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
A User Guide to HyTech. TACAS (1995)
David L. Dill, Howard Wong-Toi
Verification of Real-Time Systems by Successive Over and Under Approximation. CAV (1995)
Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi
The Expressive Power of Clocks. ICALP (1995)
Thomas A. Henzinger, Howard Wong-Toi
Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. Hybrid Systems (1995)
Thomas A. Henzinger, Howard Wong-Toi
Using HyTech to Synthesize Control Parameters for a Steam Boiler. Formal Methods for Industrial Applications (1995)
Pei-Hsin Ho, Howard Wong-Toi
Automated Analysis of an Audio Control Protocol. CAV (1995)
S. Balemi, G. Hoffmann, P. Gyugyi, Howard Wong-Toi, Gene F. Franklin
Supervisory control of a rapid thermal multiprocessor. IEEE Trans. Autom. Control. 38 (7) (1993)
G. Hoffmann, Howard Wong-Toi
The input-output control of real-time discrete event systems. RTSS (1992)
Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi
An implementation of three algorithms for timing verification based on automata emptiness. RTSS (1992)
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi
Minimization of Timed Transition Systems. CONCUR (1992)
David L. Dill, Alan J. Hu, Howard Wong-Toi
Checking for Language Inclusion Using Simulation Preorders. CAV (1991)
Howard Wong-Toi, David L. Dill
Synthesizing Processes and Schedulers from Temporal Specifications. CAV (1990)
Howard Wong-Toi, David L. Dill
Synthesizing Processes and Schedulers from Temporal Specifications. CAV (DIMACS/AMS volume) (1990)