Howard Wong-Toi

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