 | 2007 |
|---|
| 20 |       | 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: 223-230 |
| 2000 |
|---|
| 19 | | Thomas A. Henzinger,
Benjamin Horowitz,
Rupak Majumdar,
Howard Wong-Toi:
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.
HSCC 2000: 130-144 |
| 18 | | 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: 32-44 |
| 1998 |
|---|
| 17 | | Jörg Preußig,
Stefan Kowalewski,
Howard Wong-Toi,
Thomas A. Henzinger:
An Algorithm for the Approximative Analysis of Rectangular Automata.
FTRTFT 1998: 228-240 |
| 16 | | Michael J. Meyer,
Howard Wong-Toi:
Schedulability Analysis of Acyclic Processes.
IEEE Real-Time Systems Symposium 1998: 274- |
| 1997 |
|---|
| 15 | | Thomas A. Henzinger,
Pei-Hsin Ho,
Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems.
CAV 1997: 460-463 |
| 14 | | Howard Wong-Toi:
Analysis of Slope-Parametric Rectangular Automata.
Hybrid Systems 1997: 390-413 |
| 13 | | Thomas A. Henzinger,
Pei-Hsin Ho,
Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems.
STTT 1(1-2): 110-122 (1997) |
| 1995 |
|---|
| 12 | | Pei-Hsin Ho,
Howard Wong-Toi:
Automated Analysis of an Audio Control Protocol.
CAV 1995: 381-394 |
| 11 | | David L. Dill,
Howard Wong-Toi:
Verification of Real-Time Systems by Successive Over and Under Approximation.
CAV 1995: 409-422 |
| 10 |  | Thomas A. Henzinger,
Howard Wong-Toi:
Using HyTech to Synthesize Control Parameters for a Steam Boiler.
Formal Methods for Industrial Applications 1995: 265-282 |
| 9 | | Thomas A. Henzinger,
Howard Wong-Toi:
Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.
Hybrid Systems 1995: 377-388 |
| 8 | | Thomas A. Henzinger,
Peter W. Kopke,
Howard Wong-Toi:
The Expressive Power of Clocks.
ICALP 1995: 417-428 |
| 7 | | Thomas A. Henzinger,
Pei-Hsin Ho,
Howard Wong-Toi:
HyTech: The Next Generation.
IEEE Real-Time Systems Symposium 1995: 56-65 |
| 6 | | Thomas A. Henzinger,
Pei-Hsin Ho,
Howard Wong-Toi:
A User Guide to HyTech.
TACAS 1995: 41-71 |
| 1992 |
|---|
| 5 | | Rajeev Alur,
Costas Courcoubetis,
Nicolas Halbwachs,
David L. Dill,
Howard Wong-Toi:
Minimization of Timed Transition Systems.
CONCUR 1992: 340-354 |
| 4 | | Rajeev Alur,
Costas Courcoubetis,
David L. Dill,
Nicolas Halbwachs,
Howard Wong-Toi:
An implementation of three algorithms for timing verification based on automata emptiness.
IEEE Real-Time Systems Symposium 1992: 157-166 |
| 3 | | G. Hoffmann,
Howard Wong-Toi:
The input-output control of real-time discrete event systems.
IEEE Real-Time Systems Symposium 1992: 256-265 |
| 1991 |
|---|
| 2 | | David L. Dill,
Alan J. Hu,
Howard Wong-Toi:
Checking for Language Inclusion Using Simulation Preorders.
CAV 1991: 255-265 |
| 1990 |
|---|
| 1 | | Howard Wong-Toi,
David L. Dill:
Synthesizing Processes and Schedulers from Temporal Specifications.
CAV 1990: 272-281 |
