| HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 1734 | 1997 |
| A user guide to HyTech TA Henzinger, PH Ho, H Wong-Toi International Workshop on Tools and Algorithms for the Construction and …, 1995 | 439 | 1995 |
| Supervisory control of a rapid thermal multiprocessor S Balemi, GJ Hoffmann, P Gyugyi, H Wong-Toi, GF Franklin IEEE Transactions on Automatic Control 38 (7), 1040-1059, 1993 | 386 | 1993 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE transactions on automatic control 43 (4), 540-554, 1998 | 369 | 1998 |
| HyTech: the next generation TA Henzinger, PH Ho, H Wong-Toi Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995 | 338 | 1995 |
| Minimization of timed transition systems R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 268 | 1992 |
| Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods TA Henzinger, B Horowitz, R Majumdar, H Wong-Toi International Workshop on Hybrid Systems: Computation and Control, 130-144, 2000 | 230 | 2000 |
| The synthesis of controllers for linear hybrid automata H Wong-Toi Proceedings of the 36th IEEE Conference on Decision and Control 5, 4607-4612, 1997 | 204 | 1997 |
| The control of dense real-time discrete event systems H Wong-Toi, G Hoffmann Department of Computer Science, Stanford University, 1992 | 167 | 1992 |
| An implementation of three algorithms for timing verification based on automata emptiness. R Alur, C Courcoubetis, DL Dill, N Halbwachs, H Wong-Toi RTSS 92, 592-601, 1992 | 159 | 1992 |
| Automated analysis of an audio control protocol PH Ho, H Wong-Toi Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 143 | 1995 |
| Checking for language inclusion using simulation preorders DL Dill, AJ Hu, H Wong-Toi Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992 | 143 | 1992 |
| Using HyTech to synthesize control parameters for a steam boiler TA Henzinger, H Wong-Toi Formal methods for industrial applications: specifying and programming the …, 2005 | 133 | 2005 |
| Verification of real-time systems by successive over and under approximation DL Dill, H Wong-Toi Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 108 | 1995 |
| Synthesizing processes and schedulers from temporal specifications H Wong-Toi, DL Dill Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 90 | 1991 |
| Linear phase-portrait approximations for nonlinear hybrid systems TA Henzinger, H Wong-Toi International Hybrid Systems Workshop, 377-388, 1995 | 83 | 1995 |
| Symbolic approximations for verifying real-time systems H Wong-Toi stanford university, 1995 | 79 | 1995 |
| The expressive power of clocks TA Henzinger, PW Kopke, H Wong-Toi International Colloquium on Automata, Languages, and Programming, 417-428, 1995 | 77 | 1995 |
| Symbolic synthesis of supervisory controllers G Hoffmann, H Wong-Toi 1992 American Control Conference, 2789-2793, 1992 | 76 | 1992 |
| Some lessons from the hytech experience TA Henzinger, J Preussig, H Wong-Toi Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001 | 70 | 2001 |
