Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6702 Publications


1995 | Book Chapter | IST-REx-ID: 4447
T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in Hybrid Systems II, vol. 999, A. Panos, W. Kohn, A. Nerode, and S. Sastry, Eds. Springer, 1995, pp. 265–293.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in Hybrid Systems II, vol. 999, A. Panos, W. Kohn, A. Nerode, and S. Sastry, Eds. Springer, 1995, pp. 252–264.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” presented at the CAV: Computer Aided Verification, 1995, vol. 939, pp. 225–238.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 1995, vol. 1019, pp. 41–71.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
M. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on finite and infinite graphs,” presented at the FOCS: Foundations of Computer Science, 1995, pp. 453–462.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” presented at the RTSS: Real-Time Systems Symposium, 1995, pp. 56–65.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” presented at the ICALP: Automata, Languages and Programming, 1995, vol. 944, pp. 417–428.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” presented at the STOC: Symposium on the Theory of Computing, 1995, pp. 373–382.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
T. A. Henzinger, “Hybrid automata with finite bisimulations,” presented at the ICALP: Automata, Languages and Programming, 1995, vol. 944, pp. 324–335.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” presented at the CAV: Computer Aided Verification, 1995, vol. 939, pp. 166–179.
View | DOI
 

Search

Filter Publications