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.
58 Publications
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., editor. HSCC: Hybrid Systems—Computation and Control. Vol. 1386, Springer, 1998, doi:10.1007/3-540-64358-3.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. “The Regular Real-Time Languages.” Proceedings of the 25th International Colloqium on Automata, Languages and Programming, vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. “You Assume, We Guarantee: Methodology and Case Studies.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 440–51, doi:10.1007/BFb0028765.
View
| DOI