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.

6032 Publications


1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems,” 863:431–54. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_177.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems,” 863:351–72. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_173.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation 112, no. 2 (1994): 273–337. https://doi.org/10.1006/inco.1994.1060.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” Information and Computation 111, no. 2 (1994): 193–244. https://doi.org/10.1006/inco.1994.1045.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness,” 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .
View | DOI
 

Search

Filter Publications