Please note that ISTA 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.
56 Publications
1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_48
View
| DOI
1997 | Journal Article | IST-REx-ID: 4493
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050008
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 331–345). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014736
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems. In 8th International Conference on Concurrency Theory (Vol. 1243, pp. 74–88). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View
| DOI
1997 | Journal Article | IST-REx-ID: 4584
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050007
View
| DOI