Search the dblp DataBase

Publications of Author

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