T. A. Henzinger, P. H. Ho, and H. Wong-Toi. HYTECH: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer, 1(1--2):110--122, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Discrete-Time Control for Rectangular Hybrid Automata - Henzinger, Kopke (1997) (14 citations) Self-citation (Henzinger) (Correct)
No context found.
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1:110--122, 1997.
Systems Biology and Automata - Mishra And Policriti (Correct)
No context found.
T. A. Henzinger, P. H. Ho, and H. Wong-Toi. HYTECH: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer, 1(1--2):110--122, 1997.
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
No context found.
T. A. Henzinger, P. H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer, 1(1--2):110--122, 1997.
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer, 1(1--2):110-- 122, 1997. Available at http://citeseer.ist.psu.edu/henzinger97hytech.html.
Model Checking Of Robotic Control Systems - Scherer Lerda And (2005) (Correct)
No context found.
Henzinger, T., Ho, P., and Wong-Toi, H. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1:110--122, 1997.
Design and Implementation of Priority Queuing - Mechanism On Fpga (Correct)
No context found.
T. A. Henzinger, P-H. Ho and H. Wong-Toi : "HYTECH: A Model Checker for Hybrid Systems", International Journal on Software Tools for Technology Transfer, vol. 1, no. 1-1, pp.110--122 (1997).
Design and Implementation of Priority Queuing.. - Kitani, Takamoto, .. (2003) (Correct)
No context found.
T. A. Henzinger, P-H. Ho and H. Wong-Toi : "HYTECH: A Model Checker for Hybrid Systems", International Journal on Software Tools for Technology Transfer, vol. 1, no. 1-1, pp.110--122 (1997).
Automatic Verification of Component-Based Real-Time.. - Madl, Abdelwahed, Karsai (2004) (Correct)
No context found.
T. A. Henzinger, P.-H. Ho, andH.Wong-Toi. HYTECH: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer, 1(1-- 2):110--122, 1997.
A Flexible and High-Reliable HW/SW Co-Design Method .. - Kitani, Takamoto.. (2004) (Correct)
No context found.
T. A. Henzinger, P-H. Ho and H. Wong-Toi : "HYTECH: A Model Checker for Hybrid Systems", Int'l. Journal on Software Tools for Technology Transfer, Vol.1, No.1-1, pp.110--122 (1997).
Hybrid System Verification Is Not a Sinecure - The Electronic .. - Fehnker, Krogh (2004) (Correct)
No context found.
T.A. Henzinger, P. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer, 1(1-2):110--122, 1997.
Improving System Reliability Via Model Checking: The.. - Bozzano (2003) (Correct)
No context found.
T. A. Henzinger. HyTech: A Model Checker for Hybrid Systems. Software Tools for Technology Transfer, 1:110-122, 1997.
Optorsim - A Grid Simulator For Studying Dynamic Data Replication.. - Bell (2003) (5 citations) (Correct)
No context found.
Henzinger, T.A. & Ho, P.-H. & Wong-Toi, H. Hytech: : A Model Checker for Hybrid Systems. Software Tools for Technology Transfer, 1:110-122, 1997.
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
No context found.
T. Henzinger, Pei-Hsin Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. J. on Software Tools for Techn. Transfer, 1(1-2), 1997.
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
No context found.
T.A. Henzinger, P.-H.Ho, and H.Wong-toi. Hytech: A model checker for hybrid systems. Software Tools for Technology Transfer,1( 1997.
Fun with FireWire: a comparative study of formal verification.. - Stoelinga (Correct)
No context found.
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. Hytech: A model checker for hybrid systems. In Software Tools for Technology Transfer, volume 1, 1997. Also available via http://www-cad.eecs.berkeley.edu/ ~tah/HyTech/.
Efficient Algorithms for pre* and post* on Interprocedural.. - Esparza, Podelski (2000) (Correct)
No context found.
T. Henzinger, P.-H. Ho, and H. Wong-Toi. Hytech: a model checker for hybrid systems. In Proceedings of CAV'97, volume 1254 of LNCS, pages 460-463. Springer-Verlag, 1999.
Linear Parametric Model Checking of Timed Automata - Hune, Romijn, Stoelinga.. (2002) (15 citations) (Correct)
No context found.
T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A Model Checker for Hybrid Systems. In O. Grumberg, editor, Proceedings of the 9th International Conference on Computer Aided Veri cation, volume 1254 of Lecture Notes in Computer Science, pages 460-463. Springer-Verlag, 1997.
Hierarchical Modeling and Verification of Timed Systems in .. - Pagetti, Cassez, Roux (2003) (Correct)
No context found.
T. A. Henzinger, P. H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. Lecture Notes in Computer Science, 1254:460-473, 1997.
Synthesis of Optimal Strategies Using HYTECH - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) (Correct)
No context found.
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A model-checker for hybrid systems. Journal on Software Tools for Technology Transfer (STTT), 1(1--2):110--122, 1997.
Automata-Based Representations for Arithmetic Constraints in.. - Bartzis, Bultan (2002) (1 citation) (Correct)
No context found.
T. A. Henzinger, P. Ho, and H. Wong-Toi. Hytech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1:110--122, 1997.
Efficient Symbolic Representations for Arithmetic Constraints .. - Bartzis, Bultan (2003) (1 citation) (Correct)
No context found.
T. A. Henzinger, P. Ho, and H. Wong-Toi. Hytech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1:110-122, 1997.
Automatic Verification of the IEEE-1394 Root Contention.. - Daws, Kwiatkowska.. (2002) (2 citations) (Correct)
No context found.
T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1(1+2):110-122, 1997.
Model-Based Formal Analysis of Temporal Aspects in.. - Loer, Harrison (2003) (Correct)
No context found.
Henzinger, T. A., Ho, P.-H., and WongToi, H. (1997). HyTech: A Model Checker for Hybrid Systems. Software Tools for Technology Transfer, 1:110--122.
Covering Sharing Trees: A Compact Data Structure for.. - Delzanno, Raskin, Van.. (Correct)
No context found.
T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: a Model Checker for Hybrid Systems. In Proceedings of the 9th Conference on Computer Aided Veri - cation (CAV'97), volume 1254 of LNCS, pages 460-463. Springer, 1997.
MOBY/DC - A Tool for Model-Checking Parametric Real-Time.. - Dierks, Tapken (2003) (Correct)
No context found.
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: a model checker for hybrid systems. STTT, 1(1+2):110--122, December 1997.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC